Explanatory Diagnoses and their Computation by Circumscription.

Philippe Besnard Marie-Odile Cordier

Published in: ECAI (1992)

Keyphrases

website
machine learning
neural network
decision making
logic programs
nonmonotonic logics
data sets
computer vision
multiscale
decision support
efficient computation
autoepistemic logic
commonsense knowledge
closed world assumption