Keyphrases
- linear logic
- partial deduction
- logic programs
- logic programming
- fixed point
- intuitionistic logic
- proof theoretic
- answer sets
- cut elimination
- high level
- sequent calculus
- fixpoint
- desirable properties
- answer set programming
- logical framework
- proof search
- default logic
- deductive databases
- nonmonotonic reasoning
- database systems
- reasoning tasks
- inference rules
- software engineering