+612 9045 4394
Nonmonotonic Logic : Context-Dependent Reasoning - Wiktor Marek

Nonmonotonic Logic

Context-Dependent Reasoning

Hardcover Published: 3rd November 1993
ISBN: 9783540564485
Number Of Pages: 420

Share This Book:


RRP $571.99
or 4 easy payments of $99.06 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

  • Paperback View Product Published: 7th December 2012

This monograph provides a thorough analysis of two importantformalisms for nonmonotonic reasoning: default logic andmodal nonmonotonic logics. It is also shown how they arerelated to each other and how they provide the formalfoundations for logic programming. The discussion isrigorous, and all main results are formally proved. Many ofthe results are deep and surprising, some of them previouslyunpublished.The book has three parts, on default logic, modalnonmonotonic logics, and connections and complexity issues,respectively. The study of general default logic is followedby a discussion of normal default logic and its connectionsto the closed world assumption, and also a presentation ofrelated aspects of logic programming. The general theory ofthe family of modal nonmonotonic logics introduced byMcDermott and Doyle is followed by studies of autoepistemiclogic, the logic of reflexive knowledge, and the logic ofpure necessitation, and also a short discussion ofalgorithms for computing knowledge and belief sets. Thethird part explores connections between default logic andmodal nonmonotonic logics and contains results on thecomplexity of nonmonotonic reasoning.The ideas are presented with an elegance and unity ofperspective that set a new standard of scholarship for booksin this area, and the work indicates that the field hasreached a very high level of maturity and sophistication.The book is intended as a reference on default logic,nonmonotonic logics, and related computational issues, andis addressed to researchers, programmers, and graduatestudents in the Artificial Intelligence community.

Symmetry and Methods of Structural Crystallography
From the contents
Crystalline State
Fundamentals of the Theory of Symmetry
Geometry of the Crystalline Polyhedron and Lattice
Structure Analysis of Crystals
New Developments in Crystallography and its Methods
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540564485
ISBN-10: 3540564489
Series: Artificial Intelligence
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 420
Published: 3rd November 1993
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 2.5
Weight (kg): 0.82