Goals and Benchmarks for Automated Map Reasoning.
Andrea FormisanoEugenio G. OmodeoMarco TemperiniPublished in: J. Symb. Comput. (2000)
Keyphrases
- semi automated
- reasoning systems
- knowledge base
- semi automatic
- reasoning process
- knowledge representation
- fully automated
- reasoning tasks
- maximum a posteriori
- model based reasoning
- automated reasoning
- data driven
- data sets
- semantic web
- maximum likelihood
- data mining
- automated analysis
- consistency checking
- bdi agents
- database