A Skeptical Semantics for Truth Maintenance.
Cees WitteveenPublished in: Truth Maintenance Systems (ECAI Workshop) (1990)
Keyphrases
- truth maintenance
- truth maintenance systems
- default logic
- default reasoning
- autoepistemic logic
- nonmonotonic reasoning
- nonmonotonic logics
- logic programming
- formal semantics
- argumentation frameworks
- default theories
- algebraic structure
- constraint propagation
- search algorithm
- computational complexity
- operational semantics
- knowledge base
- model theoretic
- expert systems
- temporal constraints
- sufficient conditions
- search space