Representing and reasoning with constrained PCP-nets.

Sleh El Fidha Malek Mouhoub Nahla Ben Amor Eisa Alanazi

Published 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