Alternating-Time Stream Logic for Multi-agent Systems.
Sascha KlüppelholzChristel BaierPublished in: COORDINATION (2008)
Keyphrases
- multi agent systems
- computational logic
- normative systems
- coalition logic
- epistemic logic
- data streams
- multi agent
- cooperative
- logical framework
- modal logic
- real time
- game theory
- multi valued
- classical logic
- logic programming
- agent systems
- deontic logic
- autonomous agents
- intelligent agents
- agent technology
- agent architecture
- coalition formation
- software agents
- proof theory
- sliding window
- agent platform
- asynchronous circuits
- sound and complete axiomatization
- streaming data
- distributed problem solving
- computational properties
- agent oriented
- continuous queries
- expressive power
- complex systems
- knowledge base
- data sets