A valuable experience in logic programming

Issue title: Evolutionary Computation – A Journey in Computational Logic in Italy – Dedicated to Prof. Alberto Martelli

Article type: Research Article

Authors: Bossi, Annalisa | Cocco, Nicoletta

Affiliations: Dipartimento di Informatica, Università Ca' Foscari di Venezia, Venezia Mestre, Italy

Note: [] Corresponding author. Dipartimento di Informatica, Università Ca' Foscari di Venezia, via Torino, 155, 30172 Venezia Mestre, Italy. Tel.: +39 041 2348415; Fax: +39 041 2348419; E-mails: [email protected] (N. Cocco); [email protected] (A. Bossi).

Abstract: In this paper, we briefly describe our experience in the field of analysis and transformation of logic programs. Although now we work in completely different fields, verification of security properties on the one hand and biosystems analysis on the other, our previous experience continues to be a valuable guide.

Keywords: Logic programming, termination verification, program transformation

DOI: 10.3233/IA-2011-0010

Journal: Intelligenza Artificiale, vol. 5, no. 1, pp. 95-99, 2011