Diagnosis and Debugging as Contradiction Removal in Logic Programs.
Luís Moniz PereiraCarlos Viegas DamásioJosé Júlio AlferesPublished in: EPIA (1993)
Keyphrases
- logic programs
- model based diagnosis
- logic programming
- stable models
- answer sets
- fixpoint
- answer set programming
- background knowledge
- normal logic programs
- computational properties
- inductive logic programming
- partial deduction
- logic program updates
- stable model semantics
- general purpose
- autoepistemic logic
- term rewriting systems
- knowledge base