Combined reasoning by automated cooperation.
Christoph BenzmüllerVolker SorgeMateja JamnikManfred KerberPublished in: J. Appl. Log. (2008)
Keyphrases
- cooperative
- knowledge representation
- resource bounded
- knowledge base
- reasoning process
- reasoning systems
- data mining
- multi agent
- fully automated
- consistency checking
- data driven
- semi automated
- logical reasoning
- formal models
- reasoning problems
- rule based reasoning
- real time
- spatial reasoning
- meta level
- combining multiple
- information exchange
- domain knowledge
- multi agent systems
- reinforcement learning
- machine learning
- real world
- neural network