A Logic for Truth Maintenance Reasoning.
Ivan PopchevNeli ZlatarevaMarion MirchevaPublished in: AIMSA (1990)
Keyphrases
- truth maintenance
- truth maintenance systems
- constraint propagation
- proof theory
- default logic
- autoepistemic logic
- nonmonotonic reasoning
- automated reasoning
- inference mechanism
- classical logic
- logic programming
- modal logic
- deductive reasoning
- belief revision
- algebraic structure
- logical framework
- probability theory
- probabilistic logic
- knowledge representation
- knowledge base
- artificial intelligence
- default reasoning
- temporal reasoning
- software engineering