0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Nonmonotonic Logic - Context-Dependent Reasoning (Hardcover, 1993 ed.) Loot Price: R4,649
Discovery Miles 46 490
Nonmonotonic Logic - Context-Dependent Reasoning (Hardcover, 1993 ed.): R. Reiter

Nonmonotonic Logic - Context-Dependent Reasoning (Hardcover, 1993 ed.)

R. Reiter; V. Wiktor Marek, Miroslaw Truszczynski

Series: Artificial Intelligence

 (sign in to rate)
Loot Price R4,649 Discovery Miles 46 490 | Repayment Terms: R436 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This monograph provides a thorough analysis of two important formalisms for nonmonotonic reasoning: default logic and modal nonmonotonic logics. It is also shown how they are related to each other and how they provide the formal foundations for logic programming. The discussion is rigorous, and all main results are formally proved. Many of the results are deep and surprising, some of them previously unpublished. The book has three parts, on default logic, modal nonmonotonic logics, and connections and complexity issues, respectively. The study of general default logic is followed by a discussion of normal default logic and its connections to the closed world assumption, and also a presentation of related aspects of logic programming. The general theory of the family of modal nonmonotonic logics introduced by McDermott and Doyle is followed by studies of autoepistemic logic, the logic of reflexive knowledge, and the logic of pure necessitation, and also a short discussion of algorithms for computing knowledge and belief sets. The third part explores connections between default logic and modal nonmonotonic logics and contains results on the complexity of nonmonotonic reasoning. The ideas are presented with an elegance and unity of perspective that set a new standard of scholarship for books in this area, and the work indicates that the field has reached a very high level of maturity and sophistication. The book is intended as a reference on default logic, nonmonotonic logics, and related computational issues, and is addressed to researchers, programmers, and graduate students in the Artificial Intelligence community.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Artificial Intelligence
Release date: November 1993
First published: 1993
Foreword by: R. Reiter
Authors: V. Wiktor Marek • Miroslaw Truszczynski
Dimensions: 235 x 155 x 25mm (L x W x T)
Format: Hardcover
Pages: 420
Edition: 1993 ed.
ISBN-13: 978-3-540-56448-5
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Science & Mathematics > Mathematics > Applied mathematics > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-540-56448-9
Barcode: 9783540564485

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

The Hitchhiker's Guide To AI - The…
Arthur Goldstuck Paperback R330 R270 Discovery Miles 2 700
African Artificial Intelligence…
Mark Nasila Paperback R350 R296 Discovery Miles 2 960
Digital Dharma - How AI Can Elevate…
Deepak Chopra Paperback R430 R388 Discovery Miles 3 880
AI For Life - 100+ Ways To Use…
Celia Quillian Paperback R438 R255 Discovery Miles 2 550
What The Future?! - 7 Updates To…
Justin Cohen Paperback R285 R257 Discovery Miles 2 570
Constructions at Work - The nature of…
Adele Goldberg Hardcover R2,175 Discovery Miles 21 750
Aircraft of the Special Forces
Edward Ward Hardcover R548 R492 Discovery Miles 4 920
Happimetrics - Leveraging AI to Untangle…
Peter A. Gloor Hardcover R3,043 Discovery Miles 30 430
Military Drones - Unmanned aerial…
Alexander Stilwell Hardcover R572 R516 Discovery Miles 5 160
Advanced Introduction to Law and…
Woodrow Barfield, Ugo Pagallo Paperback R729 Discovery Miles 7 290
Research Handbook on the Law of…
Woodrow Barfield, Ugo Pagallo Paperback R1,664 Discovery Miles 16 640
Advanced Introduction to Artificial…
Tom Davenport, John Glaser, … Paperback R663 Discovery Miles 6 630

See more

Partners