Elio Lanzarone: a life for science

We are sincerely grateful to have been invited by the Guest Editor of this special issue, Prof. Francesca Lisi, to write an article in honor of our mentor Gaetano Aurelio Lanzarone (for students, colleagues and friends simply ‘Elio’). We were the first (Stefania) and last (Federico) of Elio’s students, and we both entertained a particularly deep relation with him. What we want to do here is to provide a memoir of his life and career, while his smile, laughter and humor cannot be described in words, but only in the language of our hearts and memories. We believe that Elio’s attitude towards life is well described by the words that Dante Alighieri in his ‘Divina Commedia’ (Divine Comedy, Inferno [Hell], Chant XXVI) attributes to Ulysses: ‘Considerate la vostra semenza: fatti non foste a viver come bruti, ma per seguir virtute e canoscenza’ (‘Call to mind from whence ye sprang: Ye were not form’d to live the life of brutes, But virtue to pursue and

[1]  Gaetano Aurelio Lanzarone,et al.  Explanation-based interpretation of open-textured concepts in logical models of legislation , 1995, Artificial Intelligence and Law.

[2]  Gaetano Aurelio Lanzarone,et al.  Multiple Metareasoning Agents for Flexible Query-Answering Systems , 1996, FQAS.

[3]  Gaetano Aurelio Lanzarone,et al.  SLD - Resolution with Reflection , 1994, ILPS.

[4]  Gaetano Aurelio Lanzarone,et al.  Extending Horn Clause Theories by Reflection Principles , 1994, JELIA.

[5]  Gaetano Aurelio Lanzarone,et al.  Guidelines on using net analysis techniques with large specifications , 1985, Applications and Theory in Petri Nets.

[6]  Daniele Nardi,et al.  Reasoning about reasoning in a meta-level architecture , 1991, Applied Intelligence.

[7]  Gaetano Aurelio Lanzarone,et al.  A metalogic programming approach: language, semantics and applications , 1994, J. Exp. Theor. Artif. Intell..

[8]  C. Cecchi,et al.  Representation and use of metaknowledge , 1986, Proceedings of the IEEE.

[9]  John W. Lloyd,et al.  Analysis of Meta-Programs , 1989, META.

[10]  Solomon Feferman,et al.  Transfinite recursive progressions of axiomatic theories , 1962, Journal of Symbolic Logic.

[11]  Robert A. Kowalski,et al.  Amalgamating language and metalanguage in logic programming , 1982 .

[12]  Gaetano Aurelio Lanzarone,et al.  Reflection principles in computational logic , 2000, J. Log. Comput..

[13]  Gaetano Aurelio Lanzarone,et al.  A wiki-based active learning system; how to enhance learning material in epistemology of computer science and computer ethics , 2006 .

[14]  Gaetano Aurelio Lanzarone,et al.  Reflective Agents in Metalogic Programming , 1992, META.

[15]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[16]  Kurt Konolige,et al.  An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming , 1992, META.

[17]  Gaetano Aurelio Lanzarone,et al.  Reflection through Constraint Satisfaction , 1994, ICLP.

[18]  Gaetano Aurelio Lanzarone,et al.  Static Semantics as Program Transformation and Well-founded Computation , 1994, NMELP.

[19]  Harvey Abramson,et al.  Meta-programming in logic programming , 1989 .

[20]  Gaetano Aurelio Lanzarone,et al.  Asserting Lemmas in the Stable Model Semantics , 1996, JICSLP.

[21]  Richard W. Weyhrauch,et al.  Checking Proofs in the Metamathematics of First Order Logic , 1975, IJCAI.

[22]  Gaetano Aurelio Lanzarone,et al.  On Procedural Semantics of Metalevel Negation , 1991, RCLP.

[23]  Giorgio De Michelis,et al.  More Flexible and Powerful Control Constructs for Structured Programming , 1977, International Computing Symposium.

[24]  Gaetano Aurelio Lanzarone,et al.  A Metalogic Programming Language , 1989, ICLP.

[25]  Gaetano Aurelio Lanzarone,et al.  Metalevel Negation and Non-Monotonic Reasoning , 1990, Methods Log. Comput. Sci..

[26]  Giorgio De Michelis,et al.  Program Proving: Exit and Return Jumps in Structured Programs , 1976, GI Jahrestagung.

[27]  Gaetano Aurelio Lanzarone,et al.  A formal definition and a sound implementation of analogical reasoning in logic programming , 1995, Annals of Mathematics and Artificial Intelligence.

[28]  Pattie Maes,et al.  Meta-Level Architectures and Reflection , 1988 .

[29]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[30]  Stefania Costantini.  Semantics of a Metalogic Programming Language , 1990, Int. J. Found. Comput. Sci..

[31]  Brian Cantwell Smith,et al.  Reflection and semantics in LISP , 1984, POPL.

[32]  Gaetano Aurelio Lanzarone,et al.  Program Construction by Refinements Preserving Correctness , 1975, Comput. J..

[33]  Gordana Dodig-Crnkovic.  Computing and Philosophy Global Course , 2008 .