Decidable Fragments of Logic Programming with Value Invention.
Francesco CalimeriSusanna CozzaGiovambattista IanniPublished in: JELIA (2006)
Keyphrases
- logic programming
- function symbols
- logic programs
- knowledge base
- knowledge representation
- deductive databases
- nonmonotonic reasoning
- answer set programming
- programming language
- answer sets
- reasoning tasks
- constraint logic programming
- logic programming language
- polynomial hierarchy
- computational logic
- default logic
- reasoning about actions
- normal logic programs
- artificial intelligence
- stable models
- transitive closure
- first order logic
- fixpoint
- inductive logic programming
- machine learning
- procedural semantics