Автор: 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.
Описание: The tenth Portuguese Conference on Arti?cial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. The conference was organized, as usual, under the auspices of the Portuguese Association for Arti?cial Intelligence (APPIA, http://www.appia.pt).
Автор: Robert Nieuwenhuis; Andrei Voronkov Название: Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 3540429573 ISBN-13(EAN): 9783540429579 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Compiled from the proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in December 2001, this volume contains 40 revised full papers presented together with an invited paper, on a variety of topics.
Описание: The 20 revised full conference papers included in this book are organized into sections on hybrid and novel architectures, machine learning and data mining, image processing and computer vision, and theoretical developments.
Автор: Richmond H. Thomason Название: Philosophical Logic and Artificial Intelligence ISBN: 0792304152 ISBN-13(EAN): 9780792304159 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con- centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy.
Автор: Matthias Baaz; Andrei Voronkov Название: Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 3540000100 ISBN-13(EAN): 9783540000105 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.
Автор: Erich P. Klement; Wolfgang Slany Название: Fuzzy Logic in Artificial Intelligence ISBN: 3540569200 ISBN-13(EAN): 9783540569206 Издательство: Springer Рейтинг: Цена: 4890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 8th Austrian Artificial Intelligence Conference, held in Linz in June 1993. It includes invited papers on the role of fuzzy logic in the conception and design of intelligent systems and a contextual approach for AI systems development.
Автор: Svetlana N. Yanushkevich Название: Artificial Intelligence in Logic Design ISBN: 9048165830 ISBN-13(EAN): 9789048165834 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: There are three outstanding points of this book. Second, the book reveals new horizons of logic design tools on the technologies of the near future. Finally, the contributors of the book are twenty recognizable leaders in the field from the seven research centres.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
