Intensional Logic and Epistemic Independency of Intelligent Database Agents.
Zoran MajkicPublished in: Wissensmanagement (2005)
Keyphrases
- epistemic logic
- intelligent database
- modal logic
- dynamic epistemic logic
- multi agent systems
- logical framework
- model checking
- dynamic logic
- multi agent
- autonomous agents
- multiagent systems
- alternating time temporal logic
- coalition logic
- cooperative
- modal operators
- computation tree logic
- intelligent agents
- multiple agents
- inference rules
- higher order
- software agents
- propositional dynamic logic
- mathematical theory
- mobile agents
- agent systems
- agent architecture
- artificial agents
- agent programming
- incomplete information
- kripke models
- dynamic environments
- agent technology
- belief change
- coalition formation