Foundations of logic programming
Foundations of logic programming
A theory of diagnosis from first principles
Artificial Intelligence
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Explanation and prediction: an architecture for default and abductive reasoning
Computational Intelligence
Logic programming and databases
Logic programming and databases
Database updates through abduction
Proceedings of the sixteenth international conference on Very large databases
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Abduction versus closure in causal theories
Artificial Intelligence
Characterizing diagnoses and systems
Artificial Intelligence
Transforming abductive logic programs to disjunctive programs
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
On the equivalence between disjunctive and abductive logic programs
Proceedings of the eleventh international conference on Logic programming
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
ACM Transactions on Database Systems (TODS)
Abduction from logic program: semantics and complexity
Theoretical Computer Science
Progress Report on the Disjunctive Deductive Database System dlv
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Strong and Weak Constraints in Disjunctive Datalog
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Model-based diagnosis using causal networks
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Towards Local Search for Answer Sets
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Optimizing the Computation of Heuristics for Answer Set Programming Systems
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Pushing Goal Derivation in DLP Computations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Simple Characterization of Extended Abduction
CL '00 Proceedings of the First International Conference on Computational Logic
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Expressing default abduction problems as quantified Boolean formulas
AI Communications
Complexity results for explanations in the structural-model approach
Artificial Intelligence
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Induction from answer sets in nonmonotonic logic programs
ACM Transactions on Computational Logic (TOCL)
Graphs and colorings for answer set programming
Theory and Practice of Logic Programming
Expressing default abduction problems as quantified Boolean formulas
AI Communications
An introduction to fuzzy answer set programming
Annals of Mathematics and Artificial Intelligence
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
The DLV Project: A Tour from Theory and Research to Applications and Market
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Here's the Beef: Answer Set Programming !
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Hierarchical decision making in multi-agent systems using answer set programming
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Symmetry-breaking answer set solving
AI Communications - Answer Set Programming
Automatic music composition using answer set programming
Theory and Practice of Logic Programming
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Abduction and preferences in linguistics
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
CIRC2DLP: translating circumscription into disjunctive logic programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Preferences in answer set programming
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Cooperating answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Using answer set programming for the automatic compilation of assessment tests
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
An ordered logic program solver
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
International Journal of Approximate Reasoning
Hi-index | 0.00 |
This paper presents the Diagnosis Frontend of dlv, which is a knowledge representation system under development at the Technische Universität Wien. The kernel language of the system is an extension of disjunctive logic programming (DLP) by integrity constraints; it offers frontends to several advanced knowledge representation formalisms. The formal model of diagnosis employed in the frontend includes both abductive diagnosis (over DLP theories) and consistency‐based diagnosis. For each of the two diagnosis modalities, generic diagnoses, single error diagnoses, and subset minimal diagnoses are considered. We illustrate the use of the frontend by showing the dlv encodings of several diagnosis problems. Thereafter, we discuss implementation issues. Diagnostic reasoning is implemented on the dlv engine through suitable translations of diagnostic problems into disjunctive logic programs, such that their stable models correspond to diagnoses. For the six kinds of diagnostic reasoning problems emerging from above, such reductions are provided.