A Credibilistic Approach to Assumption-Based Truth Maintenance.
Qiang ShenRuiqing ZhaoPublished in: IEEE Trans. Syst. Man Cybern. Part A (2011)
Keyphrases
- assumption based truth maintenance
- logic programming language
- truth maintenance systems
- logic programming
- constraint logic programming
- inference rules
- situation calculus
- nonmonotonic reasoning
- constraint propagation
- artificial intelligence
- knowledge representation
- lower bound
- deductive databases
- default logic
- model checking
- inference mechanism
- logic programs
- query language