A Dynamic-Epistemic Logic for Mobile Structured Agents
Anya YermakovaAlexandru BaltagPublished in: CoRR (2012)
Keyphrases
- epistemic logic
- dynamic epistemic logic
- multi agent systems
- multi agent
- multiagent systems
- autonomous agents
- intelligent agents
- cooperative
- mobile devices
- multiple agents
- model checking
- modal logic
- mobile phone
- software agents
- agent technology
- decision theoretic
- mobile agents
- inference rules
- computational model
- incomplete information
- artificial intelligence
- temporal reasoning
- logical framework
- bayesian networks