Keyphrases
- linear logic
- agent negotiation
- constraint directed
- conceptual framework
- fixed point
- autonomous agents
- desirable properties
- cut elimination
- adaptive learning
- logical framework
- temporal information
- temporal reasoning
- sequent calculus
- iterative process
- logic programming
- cooperative
- high level
- coalition formation
- negotiation process
- machine learning
- object oriented
- knowledge base