A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases.
Christoph SchweringMaurice PagnuccoPublished in: AAMAS (2019)
Keyphrases
- knowledge base
- multi agent
- reasoning process
- formal representation
- knowledge representation systems
- knowledge representation
- higher order
- reinforcement learning
- cooperative
- reasoning mechanisms
- inference engine
- logical formulas
- representing knowledge
- qualitative reasoning
- first order logic
- knowledge based systems
- knowledge acquisition
- multi agent systems
- multi valued
- knowledge sources
- knowledge representation and reasoning
- theory revision
- description logics
- open world
- multi agent decision making