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é

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo a conferenza › peer review

Lingua originale	Inglese
Titolo della pubblicazione ospite	Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings
Editor	Peter A. Fritzson
Editore	Springer Verlag
Pagine	85-87
Numero di pagine	3
ISBN (stampa)	9783540574170
DOI	https://doi.org/10.1007/bfb0019402
Stato di pubblicazione	Pubblicato - 1993
Pubblicato esternamente	Sì
Evento	1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993 - Linkoping, Sweden Durata: 3 mag 1993 → 5 mag 1993

Serie di pubblicazioni

Nome	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	749 LNCS
ISSN (stampa)	0302-9743
ISSN (elettronico)	1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993
Paese/Territorio	Sweden
Città	Linkoping
Periodo	3/05/93 → 5/05/93

Accesso al documento

10.1007/bfb0019402

Altri file e collegamenti

Link to publication in Scopus

Cita questo

Console, L., Friedrich, G., & Dupré, D. T. (1993). Model-based diagnosis meets error diagnosis in logic programs. In P. A. Fritzson (A cura di), Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings (pagg. 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. curatore / Peter A. Fritzson. Springer Verlag, 1993. pagg. 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 (a cura di), 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, pagg. 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. a cura di / Peter A. Fritzson. Springer Verlag, 1993. pag. 85-87 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 749 LNCS).

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo a conferenza › 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 - http://www.scopus.com/inward/record.url?scp=85007278623&partnerID=8YFLogxK

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, curatore, Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings. Springer Verlag. 1993. pag. 85-87. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0019402