Keyphrases
- linear logic
- fixed point
- logic programming
- cooperative
- proof theoretic
- multi agent systems
- sequent calculus
- logical framework
- software agents
- intuitionistic logic
- multi agent
- cut elimination
- desirable properties
- high level
- proof search
- electronic commerce
- negotiation process
- dynamical systems
- machine learning
- higher order
- knowledge representation
- bayesian networks
- decision making