You are here

Publications

Export 6 results:
Filters: Author is Vitiello, G.  [Clear All Filters]
Conference Proceedings
M. Comini, Levi, G., and Vitiello, G., Abstract Debugging of Logic Programs, Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, vol. 883. Springer-Verlag, pp. 440–450, 1994.
M. Comini, Levi, G., and Vitiello, G., Declarative Diagnosis Revisited, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 275–287, 1995.
M. Comini, Levi, G., and Vitiello, G., Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs, Proc. 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95. 1995.
M. Comini, Levi, G., and Vitiello, G., Modular Abstract Diagnosis, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.
M. Comini, Levi, G., Meo, M. C., and Vitiello, G., Proving properties of Logic Programs by Abstract Diagnosis, Proceedings of Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (LOMAPS'96), vol. 1192. Springer-Verlag, Berlin, pp. 22–50, 1996.
Journal Article
M. Comini, Levi, G., Meo, M. C., and Vitiello, G., Abstract Diagnosis, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.