Gaetano Aurelio Lanzarone

Publication Activity (10 Years)

Years Active: 1975-2000
Publications (10 Years): 0

Publications

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
Reflection principles in computational logic. J. Log. Comput. 10 (6) (2000)
Marcello Balduccini, Gianpaolo Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti
Experiments in Answer Sets Planning. MICAI (2000)
Gaetano Aurelio Lanzarone, Alessandro Provetti
Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. APPIA-GULP-PRODE (1998)
Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco
Asserting Lemmas in the Stable Model Semantics. JICSLP (1996)
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
Multiple Metareasoning Agents for Flexible Query-Answering Systems. FQAS (1996)
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
Semantical Properties of Encodings in Logic Programming. ILPS (1995)
Stefania Costantini, Gaetano Aurelio Lanzarone
Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation. Artif. Intell. Law 3 (3) (1995)
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
Semantical Properties of SLD-Resolution with Reflection. ICLP (1995)
Stefania Costantini, Gaetano Aurelio Lanzarone, L. Sbarbaro
A formal definition and a sound implementation of analogical reasoning in logic programming. Ann. Math. Artif. Intell. 14 (1) (1995)
Stefania Costantini, Gaetano Aurelio Lanzarone
Metalevel Negation and Non-Monotonic Reasoning. Methods Log. Comput. Sci. 1 (1) (1994)
S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone
Extending Explanation-Based Generalization with Metalogic Programming. GULP-PRODE (2) (1994)
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
Reflection through Constraint Satisfaction. ICLP (1994)
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
SLD - Resolution with Reflection. ILPS (1994)
Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
Integrating Reflection into SLD-Resolution. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Stefania Costantini, Gaetano Aurelio Lanzarone
Static Semantics as Program Transformation and Well-founded Computation. NMELP (1994)
Stefania Costantini, Gaetano Aurelio Lanzarone
A metalogic programming approach: language, semantics and applications. J. Exp. Theor. Artif. Intell. 6 (3) (1994)
S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone
Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law. ICLP Workshop: Legal Application of Logic Programming (1994)
Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
Extending Horn Clause Theories by Reflection Principles. JELIA (1994)
D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone
Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. GULP (1993)
Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
Reflective Agents in Metalogic Programming. META (1992)
Stefania Costantini, Gaetano Aurelio Lanzarone
Metalevel Represantation of Analogical Inference. AI*IA (1991)
Stefania Costantini, Gaetano Aurelio Lanzarone
On Procedural Semantics of Metalevel Negation. RCLP (1991)
Stefania Costantini, Gaetano Aurelio Lanzarone
Metalevel Negation in Non-Monotonic Reasoning. LPNMR (1990)
Stefania Costantini, Gaetano Aurelio Lanzarone
A Metalogic Programming Language. ICLP (1989)
G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano
Guidelines on using net analysis techniques with large specifications. Applications and Theory in Petri Nets (1985)
Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone
More Flexible and Powerful Control Constructs for Structured Programming. International Computing Symposium (1977)
Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone
Program Proving: Exit and Return Jumps in Structured Programs. GI Jahrestagung (1976)
Gaetano Aurelio Lanzarone, Mario Ornaghi
Program Construction by Refinements Preserving Correctness. Comput. J. 18 (1) (1975)