A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems.
Vania CostaMario R. F. BenevidesPublished in: IC-AI (2002)
Keyphrases
- modal logic
- knowledge representation
- multi agent systems
- coalition logic
- temporal logic
- inference rules
- epistemic logic
- three dimensional
- knowledge acquisition
- logic programming
- automated reasoning
- nonmonotonic logics
- default logic
- multi agent
- situation calculus
- agent architecture
- artificial intelligence
- knowledge based systems
- natural language
- semantic web
- expert systems
- cooperative
- conditional logic
- representing knowledge
- autonomous agents
- knowledge base
- description logics
- natural language processing
- agent technology
- agent systems
- natural language understanding
- knowledge representation and reasoning
- first order logic
- programming language
- machine learning
- model checking
- classical logic
- prime implicates
- description logic alc