Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract).
Luca ConsoleGerhard FriedrichDaniele Theseider DupréPublished in: AADEBUG (1993)
Keyphrases
- model based diagnosis
- extended abstract
- logic programs
- logic programming
- diagnostic reasoning
- model based reasoning
- consistency based diagnosis
- discrete event systems
- answer sets
- answer set programming
- dynamic systems
- fixpoint
- fault localization
- stable models
- partial deduction
- background knowledge
- failure diagnosis
- constraint programming
- prolog programs
- inductive logic programming
- computational properties
- stable model semantics
- diagnostic process
- fault models
- model checking
- special case
- normal logic programs
- loop formulas
- strong equivalence
- repair actions