Logic Programming and Nonmonotonic Reasoning, Marcello Balduccini; Yuliya Lierler; Stefan Woltra

Автор: Dov M. Gabbay; Karl Schlechta
Название: A New Perspective on Nonmonotonic Logics
ISBN: 3319468154 ISBN-13(EAN): 9783319468150
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.It is suitable for researchers in the area of computer science and mathematical logic.

Автор: Francesco Calimeri; Giovambattista Ianni; Miroslaw
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3319232630 ISBN-13(EAN): 9783319232638
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.

Автор: 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.

Автор: V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3540594876 ISBN-13(EAN): 9783540594871
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the revised refereed papers accepted for the presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning. The 28 papers presented define the state of the art in this interdisciplinary area of research.

Автор: 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.

Автор: Brewka
Название: Nonmonotonic Reasoning
ISBN: 0521383943 ISBN-13(EAN): 9780521383943
Издательство: Cambridge Academ
Рейтинг:
Цена: 10771.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This 1991 book gives an overview of different areas of research in nonmonotonic reasoning. The guiding principles are: clarification of the different research activities in the area and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation.

Автор: Klaus P. Jantke; Peter H. Schmitt
Название: Nonmonotonic and Inductive Logic
ISBN: 3540545646 ISBN-13(EAN): 9783540545644
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This proceedings volume contains revised papers from the first International Workshop on Nonmonotonic and Inductive Logic. Topics covered include nonmonotonicity in logic programs, axiomatic approach to nonmonotonic reasoning, inductive inference, autoepistemic logic, and belief updates.

Автор: Karl Schlechta
Название: Formal Methods for Nonmonotonic and Related Logics
ISBN: 3319896520 ISBN-13(EAN): 9783319896526
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.

Автор: Alexander Bochman
Название: A Logical Theory of Nonmonotonic Inference and Belief Change
ISBN: 3642075169 ISBN-13(EAN): 9783642075162
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence logic point-of-view. The approach to both these subjects is based on a powerful notion of an epistemic state that subsumes both existing models for nonmonotonic inference and current models for belief change.

Автор: 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.

Автор: Iliano Cervesato; Helmut Veith; Andrei Voronkov
Название: Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 3540894381 ISBN-13(EAN): 9783540894384
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. This book contains the papers that address issues in automated reasoning, computational logic, and programming languages.

Автор: R. Reiter; V. Wiktor Marek; Miroslaw Truszczynski
Название: Nonmonotonic Logic
ISBN: 3662029081 ISBN-13(EAN): 9783662029084
Издательство: Springer
Рейтинг:
Цена: 22359.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It also relates them to various modal logics studied in the philosophical logic litera- ture, and provides a thorough treatment of their applications as foundations for logic programming semantics and for truth maintenance systems.