A rational reconstruction of nonmonotonic truth maintenance systems

Artificial Intelligence 43 (2):219-234 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(90)90086-f

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Formalizing nonmonotonic reasoning systems.David W. Etherington - 1987 - Artificial Intelligence 31 (1):41-85.
From systems to logic in the early development of nonmonotonic reasoning.Erik Sandewall - 2011 - Artificial Intelligence 175 (1):416-427.
General Patterns in Nonmonotonic Reasoning.David Makinson - 1994 - In Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii. Clarendon Press. pp. 35-110.
Real Logic is Nonmonotonic.Henry E. Kyburg - 2001 - Minds and Machines 11 (4):577-595.
A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
A perspective on assumption-based truth maintenance.Johan de Kleer - 1993 - Artificial Intelligence 59 (1-2):63-67.
Structure-driven algorithms for truth maintenance.Rina Dechter & Avi Dechter - 1996 - Artificial Intelligence 82 (1-2):1-20.
From Natural Language Processing to Logic for Expert Systems: A Logic Based Approach to Artificial Intelligence.André Thayse & Jean-Louis Binot - 1991
The complexity of achievement and maintenance problems in agent-based systems.Iain A. Stewart - 2003 - Artificial Intelligence 146 (2):175-191.
Artificial nonmonotonic neural networks.B. Boutsinas & M. N. Vrahatis - 2001 - Artificial Intelligence 132 (1):1-38.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,558,750)

6 months
1 (#1,720,529)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Is logicist cognitive science possible?Alan Garnham - 1993 - Mind and Language 8 (1):49-71.
Default reasoning using classical logic.Rachel Ben-Eliyahu & Rina Dechter - 1996 - Artificial Intelligence 84 (1-2):113-150.

View all 11 citations / Add more citations

References found in this work

Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
On the relation between default and autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.

Add more references