From Constructivism to Logic Programming: an Homage to Mario Ornaghi

Issue title: Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016

Guest editors: Camillo Fiorentini, Alberto Momigliano and Alberto Pettorossi

Article type: Research Article

Authors: Ferrari, Mauro^{a; *} | Fiorentini, Camillo^b | Momigliano, Alberto^c

Affiliations: [a] Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria, Italy. mauro.ferrari@uninsubria.it | [b] Dipartimento di Informatica, Università degli Studi di Milano, Italy. camillo.fiorentini@unimi.it | [c] Dipartimento di Informatica, Università degli Studi di Milano, Italy. alberto.momigliano@unimi.it

Correspondence: [*] Address for correspondence: Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria, Italy

Abstract: In this brief note, we outline Mario Ornaghi’s contributions to the field of computational logic to celebrate his 70th birthday.

DOI: 10.3233/FI-2018-1692

Journal: Fundamenta Informaticae, vol. 161, no. 1-2, pp. 1-7, 2018