Temporal linear logic as a basis for flexible agent interactions.
Duc Quang PhamJames HarlandPublished in: AAMAS (2007)
Keyphrases
- linear logic
- agent interactions
- intelligent agents
- fixed point
- multi agent systems
- proof theoretic
- temporal information
- software agents
- logic programming
- cut elimination
- multi agent
- sequent calculus
- artificial neural networks
- temporal reasoning
- logical framework
- learning algorithm
- pairwise
- cooperative
- inference rules
- training data
- proof search
- machine learning