Open AccessProceedings Article
A non-monotonic deduction system based on (A)TMS
Hartmut Freitag,Michael Reinfrank +1 more
- pp 601-606
Reads0
Chats0
About:
This article is published in European Conference on Artificial Intelligence.The article was published on 1988-08-01 and is currently open access. It has received 11 citations till now. The article focuses on the topics: Monotonic function.read more
Citations
More filters
Journal ArticleDOI
The Truth, the Whole Truth, and Nothing But the Truth
TL;DR: In this article, the authors present an annotated bibliography to the literature of truth maintenance systems, grouping the works referenced according to several classifications, including the following: truth maintenance is a collection of techniques for doing belief revision.
Journal Article
The truth, the whole truth, and nothing but the truth: An indexed bibliography to the literature of truth maintenance systems
TL;DR: An annotated bibliography to the literature of truth maintenance systems is presented, grouping the works referenced according to several classifications.
Journal ArticleDOI
Nonmonotonic logics—a brief overview
TL;DR: The most important approaches to formalize nonmonotonic reasoning, in particular default reasoning, are described: autoepistemic logic, default logic, circumscription, Delgrandes's conditional approach, and an approach based on preferred subtheories of the premises.
Book ChapterDOI
Logical Foundations of Nonmonotonic Truth Maintencance
TL;DR: This work surveys some recent results on the relationships between nonmonotonic truth maintenance systems and non monotonic logics and suggests some problems that demand further investigation.
Book ChapterDOI
A Tutorial on Nonmonotonic Reasoning
TL;DR: Nonmonotonic reasoning, in its broadest sense, is reasoning to conclusions on the basis of incomplete information because the set of plausible conclusions does not grow monotonically with increasing information.