Semantically-Guided Goal-Sensitive Reasoning: Inference System and Completeness.

Maria Paola Bonacina David A. Plaisted

Published in: J. Autom. Reason. (2017)

Keyphrases

knowledge representation and reasoning
real time
data sets
genetic algorithm
domain knowledge
reasoning process
analogical reasoning
resource bounded
neural network
high level
knowledge representation
probabilistic reasoning
fuzzy reasoning
uncertain information