Graph Theoretical Structures in Logic Programs and Default Theories.
Yannis DimopoulosAlberto TorresPublished in: Theor. Comput. Sci. (1996)
Keyphrases
- logic programs
- default theories
- graph theoretical
- answer set programming
- logic programming
- default logic
- autoepistemic logic
- graph theory
- answer sets
- nonmonotonic reasoning
- fixpoint
- background knowledge
- stable models
- nonmonotonic logics
- default reasoning
- normal logic programs
- strong equivalence
- reasoning tasks
- computational properties
- function symbols
- programming language
- deductive databases
- modal logic
- classical logic
- horn clauses
- artificial intelligence