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