Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective.
Peep KüngasMihhail MatskinPublished in: DALT (2004)
Keyphrases
- partial deduction
- linear logic
- logic programs
- logic programming
- sequent calculus
- fixed point
- logical framework
- answer set programming
- fixpoint
- nonmonotonic reasoning
- proof theoretic
- cut elimination
- answer sets
- proof search
- reasoning tasks
- high level
- desirable properties
- intuitionistic logic
- inference rules
- deductive databases
- higher order