A Nonmonotonic Assumption-Based TMS Using Stable Bases.

William L. Rodi Stephen G. Pimentel

Published in: KR (1991)

Keyphrases

truth maintenance systems
nonmonotonic reasoning
modal logic
multiple inheritance
databases
machine learning
logic programming
autoepistemic logic