Keyphrases
- logic programs
- proof theoretic
- fixpoint
- model theoretic
- logic programming
- nonmonotonic reasoning
- answer sets
- constraint logic programming
- answer set programming
- linear logic
- inductive logic programming
- background knowledge
- computational properties
- deductive databases
- proof theory
- classical logic
- default reasoning
- default logic
- general purpose
- reasoning tasks
- horn clauses
- machine learning
- reasoning problems
- object oriented