Explanatory Diagnoses and Their Characterization by Circumscription.
Philippe BesnardMarie-Odile CordierPublished in: Ann. Math. Artif. Intell. (1994)
Keyphrases
- decision support
- default reasoning
- default logic
- situation calculus
- commonsense knowledge
- answer sets
- nonmonotonic logics
- closed world assumption
- data structure
- stable model semantics
- model based diagnosis
- nonmonotonic reasoning
- closed world reasoning
- databases
- answer set programming
- logic programs
- case study
- data mining