Epistemic logics for sceptical agents.
Marta BílkováOndrej MajerMichal PelisPublished in: J. Log. Comput. (2016)
Keyphrases
- epistemic logic
- multi agent systems
- modal logic
- dynamic epistemic logic
- model checking
- intelligent agents
- multiagent systems
- multi agent
- logical framework
- inference rules
- cooperative
- default logic
- multiple agents
- autonomous agents
- mathematical theory
- software agents
- coalition logic
- artificial agents
- decision making
- agent architecture
- agent technology
- mobile agents
- modal operators
- nonmonotonic reasoning
- decision theoretic
- agent systems
- state space
- agent interactions
- learning agents
- programming language
- dynamic logic
- propositional variables
- propositional dynamic logic
- belief revision
- resource allocation