Constraint-based specification of reactive multi-agent systems.
Amol Dattatraya MaliPublished in: AAAI Workshop: Constraints & Agents (1997)
Keyphrases
- multi agent systems
- agent architecture
- reactive systems
- multi agent
- intelligent agents
- autonomous agents
- software agents
- game theory
- cooperative
- coalition formation
- high level
- agent systems
- conceptual model
- agent technology
- complex systems
- agent platform
- normative systems
- computational logic
- provably correct
- constraint satisfaction
- specification language
- asynchronous circuits
- single agent
- trust model
- user defined
- model checking
- reactive planning