J de Kleer. An assumpiton-based TMS. Artificial Intelligence, 28(2):127--162, 1985. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Causality as a Key to the Frame Problem - Hideyuki Nakashima (1997) (1 citation) (Correct)
....in how causal relations are used for reasoning. 3 Partial Ordering and Local Consistency Maintenance Causal relations are non monotonic in accumulation. Consistency maintenance is an important issue in non monotonic reasoning in general. In conventional approaches like TMS [Doy78] and ATMS[dK85], the task requires global computation: When a contradiction is derived, the culprit may not be the very rule which directly derived the contradiction. A (potentially large) set of assumptions must be inspected. In default logic [Rei80] the situation is worse in that consistency check must be ....
J de Kleer. An assumpiton-based TMS. Artificial Intelligence, 28(2):127--162, 1985.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC