Model-based diagnosis meets error diagnosis in logic programs

Luca Console; Gerhard Friedrich; Daniele Theseider Dupré

doi:10.1007/bfb0019402

Model-based diagnosis meets error diagnosis in logic programs

Luca Console
, Gerhard Friedrich
, Daniele Theseider Dupré

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings
Editors	Peter A. Fritzson
Publisher	Springer Verlag
Pages	85-87
Number of pages	3
ISBN (Print)	9783540574170
DOIs	https://doi.org/10.1007/bfb0019402
Publication status	Published - 1993
Externally published	Yes
Event	1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993 - Linkoping, Sweden Duration: 3 May 1993 → 5 May 1993

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	749 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993
Country/Territory	Sweden
City	Linkoping
Period	3/05/93 → 5/05/93

Access to Document

10.1007/bfb0019402

Cite this

Console, L., Friedrich, G., & Dupré, D. T. (1993). Model-based diagnosis meets error diagnosis in logic programs. In P. A. Fritzson (Ed.), Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings (pp. 85-87). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 749 LNCS). Springer Verlag. https://doi.org/10.1007/bfb0019402

Console, Luca ; Friedrich, Gerhard ; Dupré, Daniele Theseider. / Model-based diagnosis meets error diagnosis in logic programs. Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings. editor / Peter A. Fritzson. Springer Verlag, 1993. pp. 85-87 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{21db5711cfb042a49b34dd135f43eb7e,

title = "Model-based diagnosis meets error diagnosis in logic programs",

author = "Luca Console and Gerhard Friedrich and Dupr{\'e}, \{Daniele Theseider\}",

year = "1993",

doi = "10.1007/bfb0019402",

language = "English",

isbn = "9783540574170",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "85--87",

editor = "Fritzson, \{Peter A.\}",

booktitle = "Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings",

address = "Germany",

note = "1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993 ; Conference date: 03-05-1993 Through 05-05-1993",

}

Console, L, Friedrich, G & Dupré, DT 1993, Model-based diagnosis meets error diagnosis in logic programs. in PA Fritzson (ed.), Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 749 LNCS, Springer Verlag, pp. 85-87, 1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993, Linkoping, Sweden, 3/05/93. https://doi.org/10.1007/bfb0019402

Model-based diagnosis meets error diagnosis in logic programs. / Console, Luca; Friedrich, Gerhard; Dupré, Daniele Theseider.
Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings. ed. / Peter A. Fritzson. Springer Verlag, 1993. p. 85-87 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 749 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Model-based diagnosis meets error diagnosis in logic programs

AU - Console, Luca

AU - Friedrich, Gerhard

AU - Dupré, Daniele Theseider

PY - 1993

Y1 - 1993

UR - https://www.scopus.com/pages/publications/85007278623

U2 - 10.1007/bfb0019402

DO - 10.1007/bfb0019402

M3 - Conference contribution

AN - SCOPUS:85007278623

SN - 9783540574170

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 85

EP - 87

BT - Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings

A2 - Fritzson, Peter A.

PB - Springer Verlag

T2 - 1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993

Y2 - 3 May 1993 through 5 May 1993

ER -

Console L, Friedrich G, Dupré DT. Model-based diagnosis meets error diagnosis in logic programs. In Fritzson PA, editor, Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings. Springer Verlag. 1993. p. 85-87. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0019402

Model-based diagnosis meets error diagnosis in logic programs

Publication series

Conference

Access to Document

Other files and links

Cite this