You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 5 results:

BibTex

Filters: Keyword is Semantics [Clear All Filters]

2001

M. Comini, Levi, G., and Meo, M. C., “A Theory of Observables for Logic Programs”, Information and Computation, vol. 169, pp. 23–80, 2001.

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, “An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs”, Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy, 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.

1996

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.