Keyphrases
- automated reasoning
- reasoning systems
- knowledge base
- probabilistic reasoning
- real time
- machine learning
- information retrieval
- scientific discovery
- knowledge representation
- reasoning tasks
- reasoning process
- computational properties
- conflicting information
- proof theory
- model based reasoning
- logical framework
- evolutionary algorithm
- video sequences
- neural network
- data sets