|
|
Luca Console and Gerhard Friedrich and Daniele Theseider Dupré (1993): Model--Based Diagnosis Meets Error Diagnosis in Logic Programming
| Title: |
Model--Based Diagnosis Meets Error Diagnosis in Logic Programming |
| Author(s): |
Luca Console and Gerhard Friedrich and Daniele Theseider Dupré |
| Year: |
1993 |
| Booktitle: |
Proceedings of the 13th International Joint Conference on Artificial Intelligence |
| Editor(s): |
Ruzena Bajcy |
| Volume: |
2 |
| Pages: |
1494-1501 |
| Publisher: |
Morgan Kaufmann |
| Address: |
San Mateo, CA |
Concepts
|
|
