Alternating-time stream logic for multi-agent systems.
Sascha KlüppelholzChristel BaierPublished in: Sci. Comput. Program. (2010)
Keyphrases
- multi agent systems
- computational logic
- coalition logic
- normative systems
- data streams
- logic programming
- epistemic logic
- game theory
- modal logic
- logical framework
- multi agent
- intelligent agents
- autonomous agents
- cooperative
- real time
- agent systems
- agent technology
- agent architecture
- asynchronous circuits
- digital circuits
- multi agent reinforcement learning
- computational properties
- data sets
- agent oriented
- multi valued
- streaming data
- multiagent systems
- sliding window
- stream data
- stream processing
- classical logic
- operational semantics
- management science
- continuous queries
- proof theory
- logic programs
- artificial intelligence