Logics in Artificial Intelligence, Craig MacNish; David Pearce; Luis M. Pereira

Автор: Loizos Michael; Antonis Kakas
Название: Logics in Artificial Intelligence
ISBN: 3319487574 ISBN-13(EAN): 9783319487571
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

Автор: T. Atanassov
Название: Intuitionistic Fuzzy Logics
ISBN: 3319489526 ISBN-13(EAN): 9783319489520
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar
Название: Theorem Proving in Higher Order Logics
ISBN: 3540710655 ISBN-13(EAN): 9783540710653
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

Автор: Eduardo Ferm?; Joao Leite
Название: Logics in Artificial Intelligence
ISBN: 331911557X ISBN-13(EAN): 9783319115573
Издательство: Springer
Рейтинг:
Цена: 12298.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. logics for uncertain reasoning;

Автор: Steffen H?lldobler; Carsten Lutz; Heinrich Wansing
Название: Logics in Artificial Intelligence
ISBN: 3540878025 ISBN-13(EAN): 9783540878025
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. This title includes papers that cover topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, and probabilistic logic.

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

Автор: Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna In
Название: Models, Algorithms, Logics and Tools
ISBN: 3319631209 ISBN-13(EAN): 9783319631202
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.

Автор: Richard J. Boulton; Paul B. Jackson
Название: Theorem Proving in Higher Order Logics
ISBN: 354042525X ISBN-13(EAN): 9783540425250
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001).

Автор: David Pearce; Heinrich Wansing
Название: Nonclassical Logics and Information Processing
ISBN: 3540557458 ISBN-13(EAN): 9783540557456
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of a workshop held at the Free University of Berlin in November 1990, which discussed various subfields of logic and its applications in artificial intelligence. Papers examine modal systems, logic programming, nonmonotonic logics and proof theory.

Автор: David Pearce; Gerd Wagner
Название: Logics in AI
ISBN: 354055887X ISBN-13(EAN): 9783540558873
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The volume contains 2 invited addresses and 21 selectedpapers covering such topics as:- Logical foundations of logic programming andknowledge-based systems,- Automated theorem proving,- Partial and dynamic logics,- Systems of nonmonotonic reasoning,- Temporal and epistemic logics,- Belief revision.

Автор: Ricardo Caferra; Gernot Salzer
Название: Automated Deduction in Classical and Non-Classical Logics
ISBN: 3540671900 ISBN-13(EAN): 9783540671909
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm.

Автор: Andrzej Indrzejczak
Название: Natural Deduction, Hybrid Systems and Modal Logics
ISBN: 9048187842 ISBN-13(EAN): 9789048187843
Издательство: Springer
Рейтинг:
Цена: 36197.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.