Analytic Tableaux for Verifying Agent Beliefs.
Ji MaMehmet A. OrgunPublished in: Web Intelligence/IAT Workshops (2008)
Keyphrases
- decision making
- multi agent systems
- multi agent
- rational agents
- autonomous agents
- intelligent agents
- multiagent systems
- epistemic states
- multiple agents
- software agents
- belief revision
- mental states
- mobile agents
- functional dependencies
- modal logic
- agent oriented
- dynamic environments
- cognitive agents
- artificial agents
- artificial intelligence
- model checking
- partial information
- conversational agent