You are here

Publications

Export 7 results:
Filters: Author is Maria Chiara Meo  [Clear All Filters]
2001
M. Comini, Gori, R., and Levi, G., Logic programs as specifications in the inductive verification of logic programs, Declarative Programming – Selected Papers from AGP 2000, vol. 48. Elsevier Science Publishers, pp. 1–16, 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.
M. Comini and Meo, M. C., Compositionality properties of ıt SLD-derivations, Theoretical Computer Science, vol. 211, pp. 275–309, 1999.
M. Comini, Drabent, W., and Pietrzak, P., Diagnosis of CHIP Programs Using Type Information, Appia-Gulp-Prode'99, Joint Conference on Declarative Programming. pp. 337–349, 1999.
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.
1995
M. Comini, Levi, G., and Meo, M. C., Compositionality of SLD-derivations and their abstractions, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 561–575, 1995.