Diagnosis Frontend of the dlv system

AI Communications

Volumn 12, Issue 1, 1999, Pages 99-111

  Eiter, Thomas ^a   Faber, Wolfgang ^a   Leone, Nicola ^a   Pfeifer, Gerald ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; COMPUTER CIRCUITS; PROGRAM DIAGNOSTICS;

DISJUNCTIVE LOGIC PROGRAMMING; INTEGRITY CONSTRAINTS;

SYSTEMS SCIENCE; LOGIC PROGRAMMING;

ABDUCTION; DIAGNOSTIC REASONING; DISJUNCTIVE LOGIC PROGRAMMING; FORMAL MODELING; INTEGRITY CONSTRAINTS; KERNEL LANGUAGES; KNOWLEDGE REPRESENTATION FORMALISM; KNOWLEDGE-REPRESENTATION; STABLE MODEL; SYSTEMS UNDER DEVELOPMENT;

EID: 0032665757     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (37)

1. R. Bihlmeyer, W. Faber, C. Koch, N. Leone, C. Mateis and G. Pfeifer, dlv - an overview, in: Proceedings of the 13th Workshop on Logic Programming (WLP '98), October 1998.
2. F. Buccafurri, N. Leone and P. Rullo, Strong and weak constraints in Disjunctive Datalog, in: Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR '97), number 1265 in Lecture Notes in AI (LNAI), Dagstuhl, Germany, 1997, Springer Verlag, pp. 2-17.
3. S. Ceri, G. Gottlob and L. Tanca, Logic Programming and Databases, Springer, 1990.
4. S. Citrigno, T. Eiter, W. Faber, G. Gottlob, C. Koch, N. Leone, C. Mateis, G. Pfeifer and F. Scarcello, The dlv System: Model Generator and Application Frontends, in: Proceedings of the 12th Workshop on Logic Programming (WLP '97), Research Report PMS-FB10, F. Bry, B. Freitag and D. Seipel, eds, München, Germany, 1997, LMU München, pp. 128-137.
5. L. Console, D. Theseider Dupré and P. Torasso, On the relationship between abduction and deduction, Journal of Logic and Computation 1(5) (1991), 661-690.
6. L. Console and P. Torasso, A spectrum of logical definitions of model-based diagnosis, Computational Intelligence 7(3) (1991), 133-141.
7. A. Darwiche, Model-based diagnosis using causal networks, in: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI '95), C.S. Mellish, ed., Morgan Kaufmann Publishers, 1995, pp. 211-217.
8. A. Darwiche, Compiling Devices: A structure-based approach, in: Proceedings Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR '98), A.G. Cohn, L. Schubert and S.C. Shapiro, eds, Morgan Kaufmann Publishers, 1998, pp. 156-166.
9. J. de Kleer, A.K. Mackworth and R. Reiter, Characterizing diagnoses and systems, Artificial Intelligence 56(2-3) (1992), 197-222.
10. J. Dix, Semantics of logic programs: Their intuitions and formal properties. An overview, in: Logic, Action and Information. Proc. of the Konstanz Colloquium in Logic and Information (LogIn '92), DeGruyter, 1995, pp. 241-329.
11. T. Eiter, G. Gottlob and N. Leone, Abduction from logic programs: semantics and complexity, Theoretical Computer Science 189(1-2) (1997), 129-177.
12. T. Eiter, G. Gottlob and H. Mannila, Disjunctive Datalog, ACM Transactions on Database Systems 22(3) (1997), 315-363.
13. T. Eiter, N. Leone, C. Mateis, G. Pfeifer and F. Scarcello, A deductive system for nonmonotonic reasoning, in: Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '97), number 1265 in Lecture Notes in AI (LNAI), J. Dix, U. Furbach and A. Nerode, eds, Berlin, 1997, Springer, pp. 363-374.
14. T. Eiter, N. Leone, C. Mateis, G. Pfeifer and F. Scarcello, The architecture of a Disjunctive Deductive Database System, in: Proceedings Joint Conference on Declarative Programming (APPIA-GULP-PRODE '97), M. Falaschi, M. Navarro and A. Policriti, eds, 1997, pp. 141-151.
15. T. Eiter, N. Leone, C. Mateis, G. Pfeifer and F. Scarcello, Progress Report on the Disjunctive Deductive Database System dlv, in: Proceedings International Conference on Flexible Query Answering Systems (FQAS '98), T. Andreasen, H. Christiansen and H.L. Larsen, eds, Roskilde University, Denmark, 1998, pp. 145-160.
16. T. Eiter, N. Leone, C. Mateis, G. Pfeifer and F. Scarcello, The KR system dlv: Progress report, comparisons and benchmarks, in: Proceedings Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR '98), A.G. Cohn, L. Schubert and S.C. Shapiro, eds, Morgan Kaufmann Publishers, 1998, pp. 406-417.
17. W. Faber, N. Leone and G. Pfeifer, Representing school timetabling in a disjunctive logic programming language, in: Proceedings of the 13th Workshop on Logic Programming (WLP '98), 1998.
18. W. Faber and G. Pfeifer, dlv homepage, http://www. dbai.tuwien.ac.at/proj/dlv/.
19. M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: Logic Programming: Proceedings Fifth Intl Conference and Symposium, Cambridge, MA, 1988, MIT Press, pp. 1070-1080.
20. M. Gelfond and V. Lifschitz, Classical negation in logic programs and Disjunctive Databases, New Generation Computing 9 (1991), 365-385.
21. K. Inoue and C. Sakama, Transforming abductive logic programs to Disjunctive Programs, in: Proceedings of the Tenth International Conference on Logic Programming, D.S. Warren, ed., 1993, pp. 335-353.
22. A. Kakas, R. Kowalski and F. Toni, Abductive logic programming, Journal of Logic and Computation, 1993.
23. A. Kakas and P. Mancarella, Database updates through abduction, in: Proceedings of the 16th VLDB Conference, Brisbane, Australia, 1990, pp. 650-661.
24. K. Konolige, Abduction versus closure in causal theories, Artificial Intelligence 53 (1992), 255-272.
25. N. Leone, P. Rullo and F. Scarcello, Disjunctive stable models: Unfounded sets, fixpoint semantics and computation, Information and Computation 135(2) (1997), 69-112.
26. J. Lloyd, Foundations of Logic Programming, Springer, Berlin, 1984.
27. J. Lloyd, Foundations of Logic Programming, 2nd edn, Springer, Berlin, 1987.
28. J. Lobo, J. Minker and A. Rajasekar, Foundations of Disjunctive Logic Programming, The MIT Press, Cambridge, MA, 1992.
29. J. Minker, On indefinite data bases and the closed world assumption, in: Proceedings 6th Conference on Automated Deduction (CADE '82), number 138 in Lecture Notes in Computer Science, D. Loveland, ed., Springer, New York, 1982, pp. 292-308.
30. Y. Peng and J. Reggia, Abductive inference models for diagnostic problem solving, in: Symbolic Computation - Artificial Intelligence, Springer, 1990.
31. D. Poole, Explanation and prediction: An architecture for default and abductive reasoning, Computational Intelligence 5(1) (1989), 97-110.
32. D. Poole, Normality and faults in logic-based diagnosis, in: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI '89), Detroit, MI, USA, 1989, pp. 1304-1310.
33. T.C. Przymusinski, Stable semantics for Disjunctive Programs, New Generation Computing 9 (1991), 401-424.
34. R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987), 57-95.
35. C. Sakama and K. Inoue, On the equivalence between Disjunctive and Abductive Logic Programs, in: Proceedings of the Eleventh International Conference on Logic Programming, P. Van Hentenryck, ed., 1994, pp. 489-503. Extended version "On the Relation between Abductive and Disjunctive Logic Programming" (1998).
36. C. Sakama and K. Inoue, On the equivalence between Disjunctive and Abductive Logic Programs, in: Proceedings of the Eleventh International Conference on Logic Programming, P. Van Hentenryck, ed., 1994, pp. 489-503. Extended version "On the Relation between Abductive and Disjunctive Logic Programming" (1998).
37. M. Stumptner and F. Wotawa, Diagnosing tree-structured systems, in: Proceedings 15th International Joint Conference on Artificial Intelligence, Nagoya, Japan, 1997, pp. 440-445.