The Annual SUMO Reasoning Prizes at CASC.
Adam PeaseGeoff SutcliffeNick SiegelSteven TracPublished in: PAAR/ESHOL (2008)
Keyphrases
- general knowledge
- wordnet
- knowledge base
- reasoning process
- automated reasoning
- reasoning tasks
- meta level
- spatial reasoning
- reasoning systems
- reasoning mechanism
- proof theory
- neural network
- rule based reasoning
- model based reasoning
- analogical reasoning
- knowledge representation and reasoning
- uncertain information
- fuzzy reasoning
- qualitative reasoning
- probabilistic reasoning
- social networks
- search engine