Representing and reasoning with constrained PCP-nets.
Sleh El FidhaMalek MouhoubNahla Ben AmorEisa AlanaziPublished in: SMC (2017)
Keyphrases
- reasoning systems
- reasoning process
- automated reasoning
- data sets
- knowledge base
- graphical representation
- knowledge representation and reasoning
- computational properties
- real time
- spatial reasoning
- probabilistic reasoning
- knowledge representation
- machine learning
- search algorithm
- objective function
- neural network
- model based reasoning
- rule based reasoning
- proof theory
- conflicting information