Linear Logic, Partial Deduction and Cooperative Problem Solving.
Peep KüngasMihhail MatskinPublished in: DALT (2003)
Keyphrases
- linear logic
- cooperative problem solving
- partial deduction
- logic programs
- logic programming
- autonomous agents
- multi agent systems
- proof theoretic
- fixpoint
- answer set programming
- sequent calculus
- nonmonotonic reasoning
- intuitionistic logic
- desirable properties
- answer sets
- logical framework
- fixed point
- proof search
- cut elimination
- reasoning tasks
- classical logic
- deductive databases
- default logic
- machine learning
- inference rules
- multiagent systems
- pairwise
- artificial intelligence