You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 94 results:

BibTex

1995

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.

1994

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 and Levi, G., “An Algebraic Theory of Observables”, Proceedings of the 1994 Int'l Symposium on Logic Programming. The MIT Press, pp. 172–186, 1994.

Pages