On First-Order Model-Based Reasoning.

Maria Paola Bonacina Ulrich Furbach Viorica Sofronie-Stokkermans

Published in: CoRR (2015)

Keyphrases

model based reasoning
diagnostic knowledge
case based reasoning
first order logic
model based diagnosis
higher order
diagnostic systems
scientific visualization
horn clauses
neural network
knowledge compilation
data mining
information retrieval
knowledge representation
stochastic dominance