A Truth Maintenance System for Epistemic Programming Environment.
Yuichi GotoJingde ChengPublished in: SKG (2012)
Keyphrases
- programming environment
- truth maintenance systems
- constraint propagation
- programming language
- inference mechanism
- nonmonotonic reasoning
- symbolic reasoning
- default logic
- propositional logic
- programming environments
- belief revision
- autoepistemic logic
- relational database systems
- novice programmers
- temporal reasoning
- knowledge base
- constraint satisfaction problems
- general purpose
- production rules
- object oriented
- database systems
- data mining
- database