You are here

Publications

Export 2 results:
Filters: Keyword is Declarative Diagnosis and Author is Giorgio Levi  [Clear All Filters]
1999
M. Comini, Levi, G., Meo, M. C., and Vitiello, G., Abstract Diagnosis, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.
1998
M. Comini, Levi, G., and Vitiello, G., Modular Abstract Diagnosis, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.