A Unifying Logical Framework for Reason Maintenance.

Published in: ECSQARU (1993)

Keyphrases

logical framework
reason maintenance
belief revision
inference rules
truth maintenance systems
reasoning tasks
propositional logic
default reasoning
nonmonotonic reasoning
knowledge base
bayesian networks
constraint propagation