Temporalised Epistemic Logic for Reasoning about Agent-Based Systems.
Ji MaMehmet A. OrgunAbdul SattarKamel AdiPublished in: Web Intelligence/IAT Workshops (2009)
Keyphrases
- agent based systems
- epistemic logic
- multi agent systems
- defeasible logic
- modal logic
- software agents
- agent systems
- dynamic epistemic logic
- model checking
- agent technology
- dynamic environments
- distributed systems
- multiagent systems
- inference rules
- multi agent
- multi faceted
- decision support system
- logical framework
- control system
- information technology
- decision making
- answer set programming
- mobile robot
- data model
- mathematical theory
- management system
- real time