Agent based mathematical reasoning.
Christoph BenzmüllerMateja JamnikManfred KerberVolker SorgePublished in: Calculemus (1999)
Keyphrases
- mathematical proofs
- real time
- multi agent
- reasoning tasks
- multi agent systems
- automated reasoning
- qualitative reasoning
- data sets
- human reasoning
- resource bounded
- reasoning systems
- reasoning process
- spatial reasoning
- knowledge base
- agent oriented
- analogical reasoning
- default reasoning
- cooperative
- decision making
- consistency checking
- scientific discovery
- social networks
- search engine
- logical reasoning
- data mining
- computer algebra systems