0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

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
R4,421 Discovery Miles 44 210 Ships in 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.

Nonmonotonic Logic - Context-Dependent Reasoning (Paperback, Softcover reprint of the original 1st ed. 1993): R. Reiter Nonmonotonic Logic - Context-Dependent Reasoning (Paperback, Softcover reprint of the original 1st ed. 1993)
R. Reiter; V. Wiktor Marek, Miroslaw Truszczynski
R4,637 Discovery Miles 46 370 Ships in 10 - 15 working days

When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps. This book by Wiktor Marek and Miroslaw Truszczynski is an elegant treatment of a large body of these results. It provides the first comprehensive treatment of two influen tial nonmonotonic logics - autoepistemic and default logic - and describes a number of surprising and deep unifying relationships between them. 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. It is particularly appropriate that Marek and Truszczynski should have authored this book, since so much of the research that went into these results is due to them. Both authors were trained in the Polish school of logic and they bring to their research and writing the logical insights and sophisticated mathematics that one would expect from such a background. I believe that this book is a splendid example of the intellectual maturity of the field of artificial intelligence, and that it will provide a model of scholarship for us all for many years to come. Ray Reiter Department of Computer Science University of Toronto Toronto, Canada M5S 1A4 and The Canadian Institute for Advanced Research Table of Contents 1 1 Introduction ........."

Logic Programming and Nonmonotonic Reasoning - Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 -... Logic Programming and Nonmonotonic Reasoning - Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings (Paperback, 1995 ed.)
V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski
R1,698 Discovery Miles 16 980 Ships in 10 - 15 working days

This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Nanobiomaterials in Soft Tissue…
Alexandru Grumezescu Hardcover R3,982 R3,712 Discovery Miles 37 120
Created 4 Worship
Mark Rowden Hardcover R522 Discovery Miles 5 220
Natural Polymers in Wound Healing and…
Mahesh K. Sah, Naresh Kasoju, … Paperback R4,998 Discovery Miles 49 980
Waterboy - Making Sense Of My Son's…
Glynis Horning Paperback R320 R295 Discovery Miles 2 950
Parrot Sign Frame (500 x 150mm)
R1,276 R990 Discovery Miles 9 900
Self-powered SoC Platform for Analysis…
Hani Saleh, Nourhan Bayasi, … Hardcover R2,873 Discovery Miles 28 730
Daler Rowney Studland A1 Mountboard…
R383 Discovery Miles 3 830
Pray First - The Transformative Power Of…
Chris Hodges Paperback R489 R456 Discovery Miles 4 560
Metals for Biomedical Devices
Mitsuo Niinomi Paperback R5,385 Discovery Miles 53 850
Daily Living God's Presence Devotional…
Michele M. Gayle Hardcover R648 Discovery Miles 6 480

 

Partners