Tiered Logic for Agents in Contexts.
Rosalito Perez CruzJohn Newsome CrossleyPublished in: ICAART (Revised Selected Papers) (2009)
Keyphrases
- multi agent systems
- dynamic logic
- multi agent
- intelligent agents
- epistemic logic
- alternating time temporal logic
- multiagent systems
- logical framework
- software agents
- agent systems
- autonomous agents
- normative systems
- multiple agents
- mobile agents
- agent architecture
- cooperative
- single agent
- agent model
- modal logic
- bounded rationality
- learning agents
- agent based simulation
- social welfare
- coalition formation
- artificial agents
- agent technology
- incomplete information
- distributed agents
- agent interactions
- predicate logic
- model checking
- agent communication
- agent programming
- multi agent planning
- trust model
- propositional variables
- coalition logic
- multi valued