Keyphrases
- knowledge representation
- knowledge base
- reasoning mechanism
- spatial reasoning
- proof theory
- model based reasoning
- deductive reasoning
- databases
- logical reasoning
- scientific discovery
- causal reasoning
- reasoning systems
- uncertain information
- probabilistic logic
- reasoning tasks
- automated reasoning
- probabilistic reasoning
- logic programs
- natural language
- search algorithm