Logic Programming with Focusing Proofs in Linear Logic.
Jean-Marc AndreoliPublished in: J. Log. Comput. (1992)
Keyphrases
- linear logic
- logic programming
- cut elimination
- sequent calculus
- proof search
- logic programs
- natural deduction
- deductive databases
- nonmonotonic reasoning
- answer set programming
- knowledge base
- programming language
- logic programming language
- knowledge representation
- classical logic
- answer sets
- constraint logic programming
- default logic
- probabilistic reasoning
- reasoning tasks
- theorem proving
- defeasible argumentation
- logical framework
- inductive logic programming
- database systems