A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents.
Isaac PinyolPublished in: CLIMA (2012)
Keyphrases
- multi agent systems
- dynamic logic
- multi agent
- logical framework
- alternating time temporal logic
- multiagent systems
- dynamic environments
- epistemic logic
- real time
- artificial agents
- autonomous agents
- cooperative
- intelligent agents
- software agents
- normative systems
- logic programming
- data processing
- decision making
- coalition logic
- multiple agents
- agent architecture
- modal logic
- information processing
- coalition formation
- rational agents
- meta reasoning
- action selection
- learning agents
- agent model
- game theoretic
- decision theoretic
- meta level
- agent technology
- model checking
- mobile agents
- programming language