An embedding of calculi for negation as failure into linear logic.
Giorgio DelzannoMaurizio MartelliPublished in: APPIA-GULP-PRODE (2001)
Keyphrases
- linear logic
- logic programming
- logic programs
- fixed point
- proof theoretic
- intuitionistic logic
- deductive databases
- desirable properties
- sequent calculus
- answer set programming
- logical framework
- vector space
- proof search
- data model
- nonmonotonic reasoning
- fixpoint
- decision problems
- classical logic
- graphical models
- higher order
- general purpose