Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems.

Frances L. Johnson Stuart C. Shapiro

Published in: AAAI (2005)

Keyphrases

belief base
belief revision
belief change
truth maintenance systems
possibilistic logic
propositional logic
knowledge base
constraint propagation
default reasoning
preference relations
temporal information
default logic