Embedding nonground logic programs into autoepistemic logic for knowledge-base combination.
Jos de BruijnThomas EiterAxel PolleresHans TompitsPublished in: ACM Trans. Comput. Log. (2011)
Keyphrases
- logic programs
- autoepistemic logic
- minimal models
- logic programming
- knowledge base
- general logic programs
- default logic
- nonmonotonic reasoning
- background knowledge
- answer set programming
- strong equivalence
- answer sets
- fixpoint
- stable models
- classical logic
- truth maintenance systems
- deductive databases
- normal logic programs
- propositional logic
- model theoretic
- inductive logic programming
- nonmonotonic logics
- fixpoint semantics
- programming language
- expert systems
- answer set semantics
- stable model semantics
- declarative semantics
- horn clauses
- modal logic
- knowledge representation
- natural language