A Logical Framework for Imprecise and Conflicting Knowledge Representation for Multi-agent Systems.
Jair Minoro AbeNélio Fernando dos ReisCristina Corrêa de OliveiraAvelino Palma Pimenta Jr.Published in: APMS (1) (2015)
Keyphrases
- logical framework
- coalition logic
- knowledge representation
- multi agent systems
- normative systems
- reasoning tasks
- logic programming
- inference rules
- description logics
- belief revision
- automated reasoning
- knowledge base
- artificial intelligence
- semantic web
- natural language
- epistemic logic
- first order logic
- expert systems
- game theory
- answer set programming
- probabilistic reasoning
- computational complexity
- uncertain information
- possibilistic logic
- linear logic
- multi agent
- np hard
- relational databases
- machine learning