Using Truth Maintenance Systems: A Tutorial.

Mladen Stanojevic Sanja Vranes Dusan M. Velasevic

Published in: IEEE Expert (1994)

Keyphrases

truth maintenance systems
constraint propagation
nonmonotonic reasoning
default logic
inference mechanism
propositional logic
autoepistemic logic
consequence finding
reason maintenance
belief revision
knowledge base
temporal reasoning
knowledge representation
probabilistic model
default reasoning