On the Logos: A Na?ve View on Ordinary Reasoning and Fuzzy Logic, Enric Trillas

Автор: Ken McMillan; Aart Middeldorp; Andrei Voronkov
Название: Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 3642452205 ISBN-13(EAN): 9783642452208
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.- May-Happen-in-Parallel Analysis for Priority-Based Scheduling.- The Complexity of Clausal Fragments of LTL.- A Semantic Basis for Proof Queries and Transformations.- Expressive Path Queries on Graphs with Data.- Proving Infinite Satisfiability.- SAT-Based Preprocessing for MaxSAT.- Dynamic and Static Symmetry Breaking in Answer Set Programming.- HOL Based First-Order Modal Logic Provers.- Resourceful Reachability as HORN-LA.- A Seligman-Style Tableau System.- Comparison of LTL to Deterministic Rabin Automata Translators.- Tree Interpolation in Vampire.- Polarizing Double-Negation Translations.- Revisiting the Equivalence of Shininess and Politeness.- Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gцdel Logic.- Multi-objective Discounted Reward Verification in Graphs and MDPs.- Description Logics, Rules and Multi-context Systems.- Complexity Analysis in Presence of Control Operators and Higher-Order Functions.- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo.- Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving.- Verifying Temporal Properties in Real Models.- A Graphical Language for Proof Strategies.- A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus.- Relaxing Synchronization Constraints in Behavioral Programs.- Characterizing Subset Spaces as Bi-topological Structures.- Proof-Pattern Recognition and Lemma Discovery in ACL2.- Semantic A-translations and Super-Consistency Entail Classical Cut Elimination.- Blocked Clause Decomposition.- Maximal Falsifiability: Definitions, Algorithms, and Applications.- Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning.- On QBF Proofs and Preprocessing.- Partial Backtracking in CDCL Solvers.- Lemma Mining over HOL Light.- On Module-Based Abstraction and Repair of Behavioral Programs.- Prediction and Explanation over DL-Lite Data Streams.- Forgetting Concept and Role Symbols in ALCH-Ontologies.- Simulating Parity Reasoning.- Herbrand Theorems for Substructural Logics.- On Promptness in Parity Games.- Defining Privacy Is Supposed to Be Easy.- Reachability Modules for the Description Logic SRIQ.- An Event Structure Model for Probabilistic Concurrent Kleene Algebra.- Three SCC-Based Emptiness Checks for Generalized Bьchi Automata.- PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.- Incremental Tabling for Query-Driven Propagation of Logic Program Updates.- Tracking Data-Flow with Open Closure Types.- Putting Newton into Practice: A Solver for Polynomial Equations over Semirings.- System Description: E 1.8.- Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light.- On Minimality and Integrity Constraints in Probabilistic Abduction.- POLAR: A Framework for Proof Refactoring.

Автор: Wolfgang Faber; Adrian Paschke
Название: Reasoning Web. Web Logic Rules
ISBN: 3319217674 ISBN-13(EAN): 9783319217673
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in July/August 2015. In 2015, the theme of the school was Web Logic Rules. This Summer School is devoted to this perspective, and provides insight into the semantic Web, linked data, ontologies, rules, and logic.

Автор: Ermanno Bencivenga
Название: Theories of the Logos
ISBN: 3319633953 ISBN-13(EAN): 9783319633954
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Oceanic logic was never identified as such, but the author gives numerous examples of its use from the history of philosophy. The author first worked in analytic logic in the 1970s and 1980s, first researched dialectical logic in the 1990s, and discovered oceanic logic in the 2000s.

Автор: Anna-Teresa Tymieniecka
Название: Logos of Phenomenology and Phenomenology of The Logos. Book Four
ISBN: 9048169461 ISBN-13(EAN): 9789048169467
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Prompted and ever diversified by the specifically human interrogative logos, scientific inquiries seek a common system of links in order to mutually confirm and rectify their results.

Автор: Marcello Balduccini; Tomi Janhunen
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3319616595 ISBN-13(EAN): 9783319616599
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions.

Автор: Siler
Название: Fuzzy Expert Systems and Fuzzy Reasoning
ISBN: 0471388599 ISBN-13(EAN): 9780471388593
Издательство: Wiley
Рейтинг:
Цена: 23118.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Expert systems are computer programs, designed to make available some of the skills of an expert to non-experts. A fuzzy expert system uses a collection of fuzzy membership functions and rules, instead of Boolean logic, to reason about data. This book teaches the reader to construct fuzzy expert systems to solve real-world problems.

Автор: Esra Erdem; Fangzhen Lin; Torsten Schaub
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3642042376 ISBN-13(EAN): 9783642042379
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14-18, 2009 in Potsdam, Germany.

Автор: Hans J?rgen Ohlbach; U. Reyle
Название: Logic, Language and Reasoning
ISBN: 9401059365 ISBN-13(EAN): 9789401059367
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. This recorded conversation with him, which is included gives a deep insight into his motivations and into his view of the world, the Almighty and, of course, the role of logic.

Автор: Christer Carlsson; Robert Fuller
Название: Fuzzy Reasoning in Decision Making and Optimization
ISBN: 3790824976 ISBN-13(EAN): 9783790824971
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Unlike classical logic which requires a deep under- standing of a system, exact equations, and precise numeric values, fuzzy logic incorporates an alternative way of thinking, which allows modeling complex systems using a higher level of abstraction originating from our knowledge and experience.

Автор: Andrei Voronkov
Название: Logic Programming and Automated Reasoning
ISBN: 354055727X ISBN-13(EAN): 9783540557272
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains the proceedings of the conference on Logic Programming and Automated Reasoning, held in St Petersburg, July, 1992. The aim of the conference was to bring together researchers from the Russian and the international logic and theorem proving communities.

Автор: Matthias Armgardt; Patrice Canivez; Sandrine Chass
Название: Past and Present Interactions in Legal Reasoning and Logic
ISBN: 3319359258 ISBN-13(EAN): 9783319359250
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This volume explores the relation between legal reasoning and logic from both a historical and a systematic perspective. The topics addressed include, among others, conditional legal acts, disjunctions in legal acts, presumptions and conjectures, conflicts of values, J rgensen s Dilemma, the Rhetor s Dilemma, the theory of legal fictions and the categorization of contracts. The unifying problematic of these contributions concerns the conditional structures and, more particularly, the relationship between legal theory and legal reasoning in the context of conditions.

The contributions in this work constitute the first results of the ANR-DFG joint research project "JuriLog" (Jurisprudence and Logic), which aims at fostering the cooperation between legal scholars and philosophers. On the one hand, lawyers and legal scholars have an interest in emphasizing the logical character of legal reasoning. In this respect, the present enquiry examines the question of how logic, especially newer forms of dialogical logic, can be made fruitful as a significant area of philosophy for jurisprudence and legal practice. On the other hand, logicians find in legal reasoning a striving towards clear definitions and inference-procedures that is relevant to their discipline. In order to fully understand such reciprocal relationships, it is necessary to bridge the gap between law, logic and philosophy in contemporary academic research. The essays collected in this volume all work towards this common goal.

The book is divided in three sections. In the first part, the strong relation between Roman Law and logic is explored with respect to the analysis of disjunctive statements in legal acts. The second part focuses on Leibniz s legal theory. The third part, finally, is dedicated to current interactions between law and logic.

Название: Logic, reasoning, and rationality
ISBN: 9401790108 ISBN-13(EAN): 9789401790109
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning.