Situation Event Logic for Early Validation of Multi-Agent Systems.
Sehl MellouliGuy W. MineauBernard MoulinPublished in: Canadian Conference on AI (2003)
Keyphrases
- multi agent systems
- computational logic
- coalition logic
- normative systems
- epistemic logic
- cooperative
- event detection
- autonomous agents
- intelligent agents
- modal logic
- logic programming
- logical framework
- coalition formation
- proof theory
- classical logic
- agent technology
- event recognition
- agent systems
- event driven
- agent architecture
- game theory
- multi agent
- automated reasoning
- data sets
- set theory
- complex events
- news articles
- agent platform
- neural network