Towards Parallel Nonmonotonic Reasoning with Billions of Facts.
Ilias TachmazidisGrigoris AntoniouGiorgos FlourisSpyros KotoulasPublished in: KR (2012)
Keyphrases
- nonmonotonic reasoning
- logic programming
- default reasoning
- commonsense reasoning
- belief revision
- default logic
- abductive reasoning
- conditional logic
- nonmonotonic inference
- knowledge base
- defeasible logic
- defeasible reasoning
- nonmonotonic logics
- autoepistemic logic
- causal inference
- proof theoretic
- default rules
- extended logic programs
- inheritance reasoning
- truth maintenance systems
- argumentation systems
- possibility theory
- logic programs
- graph cuts
- database systems