Reasoning with Triggers.
Claire DrossSylvain ConchonJohannes KanigAndrei PaskevichPublished in: SMT@IJCAR (2012)
Keyphrases
- reasoning systems
- knowledge base
- knowledge processing
- data sets
- artificial intelligence
- knowledge representation
- spatial reasoning
- reasoning process
- scientific discovery
- qualitative reasoning
- automated reasoning
- reasoning engine
- model based reasoning
- approximate reasoning
- knowledge representation and reasoning
- reasoning tasks
- inference engine
- multiscale
- machine learning
- data mining
- databases