Skip to main content
SpringerLink
Log in

Model-based diagnosis meets error diagnosis in logic programs

Extended abstract

  • Debugging of Logic Programs I
  • Conference paper
  • First Online:
Automated and Algorithmic Debugging (AADEBUG 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 749))

Included in the following conference series:

This work has been partially supported on the Italian part by MURST 40% and on the Austrian part by the Austrian Industries. The extended version of this abstract appears in the Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), published by Morgan Kaufmann.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. L. Console, G. Friedrich, and Theseider Dupré. Model-based diagnosis meets error diagnosis in logic programs. In Proc. 13th IJCAI, Chambery, 1993.

    Google Scholar 

  2. L. Console, D. Theseider Dupré, and P. Torasso. A theory of diagnosis for incomplete causal models. In Proc. 11th IJCAI, pages 1311–1317, Detroit, 1989.

    Google Scholar 

  3. L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133–141, 1991. Also in [7].

    Google Scholar 

  4. J. de Kleer, A. Mackworth, and R. Reiter. Characterising diagnoses and systems. Artificial Intelligence, 56(2–3):197–222, 1992. Also in [7].

    Google Scholar 

  5. J. de Kleer and B.C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97–130, 1987. Also in [7].

    Google Scholar 

  6. Gerhard Friedrich and Wolfgang Nejdl. MOMO — Model-based diagnosis for everybody. In Proc. IEEE Conf. on AI Appl., Santa Barbara, 1990. Also in [7].

    Google Scholar 

  7. W. Hamscher, L. Console, and J. de Kleer. Readings in Model-Based Diagnosis. Morgan Kaufmann, 1992.

    Google Scholar 

  8. D. Poole. Normality and faults in logic-based diagnosis. In Proc. 11th IJCAI, pages 1304–1310, Detroit, 1989. Also in [7].

    Google Scholar 

  9. R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57–96, 1987. Also in

    Google Scholar 

  10. E. Shapiro. Algorithmic Program Debugging. MIT-Press, 1983.

    Google Scholar 

  11. P. Struss. Knowledge-based diagnosis: an important challenge and touchstone for AI. In Proc. 10th ECAI, pages 863–874, Vienna, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica e Informatica, Università di Udine, Via Zanon 6, 33100, Udine, Italy

    Luca Console

  2. Christian Doppler Laboratory for Expert Systems, Technische Universität Wien, Paniglgasse 16, A-1040, Vienna, Austria

    Gerhard Friedrich

  3. Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, 10149, Torino, Italy

    Daniele Theseider Dupré

Authors
  1. Luca Console
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gerhard Friedrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Daniele Theseider Dupré
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Peter A. Fritzson

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Console, L., Friedrich, G., Dupré, D.T. (1993). Model-based diagnosis meets error diagnosis in logic programs. In: Fritzson, P.A. (eds) Automated and Algorithmic Debugging. AADEBUG 1993. Lecture Notes in Computer Science, vol 749. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019402

Download citation

  • DOI: https://doi.org/10.1007/BFb0019402

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57417-0

  • Online ISBN: 978-3-540-48141-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation