On First-Order Model-Based Reasoning.

Maria Paola Bonacina Ulrich Furbach Viorica Sofronie-Stokkermans

Published in: Logic, Rewriting, and Concurrency (2015)

Keyphrases

model based reasoning
diagnostic knowledge
first order logic
model based diagnosis
higher order
case based reasoning
diagnostic systems
scientific visualization
neural network
horn clauses
information retrieval
objective function
data analysis
knowledge acquisition
knowledge compilation