Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luca Console, Gerhard Friedrich, Daniele Theseider Dupré. Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). In Peter Fritszon, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG 93, Linköping, Sweden, May 3-5, 1993, Proceedings. Volume 749 of Lecture Notes in Computer Science, pages 85-87, Springer, 1993.

This author has not been identified. Look up 'Luca Console' in GoogleThis author has not been identified. Look up 'Gerhard Friedrich' in GoogleThis author has not been identified. Look up 'Daniele Theseider Dupré' in Google

runs on WebDSL