Gaetano Aurelio Lanzarone

According to our database, Gaetano Aurelio Lanzarone authored at least 28 papers between 1975 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Reflection principles in computational logic.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

J. Log. Comput., 2000

Experiments in Answer Sets Planning.

Marcello Balduccini, Gianpaolo Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti

Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

1998

Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming.

Gaetano Aurelio Lanzarone, Alessandro Provetti

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1996

Asserting Lemmas in the Stable Model Semantics.

Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco

Proceedings of the Logic Programming, 1996

Multiple Metareasoning Agents for Flexible Query-Answering Systems.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Flexible Query-Answering Systems, 1996

1995

A formal definition and a sound implementation of analogical reasoning in logic programming.

Stefania Costantini, Gaetano Aurelio Lanzarone, L. Sbarbaro

Ann. Math. Artif. Intell., 1995

Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation.

Stefania Costantini, Gaetano Aurelio Lanzarone

Artif. Intell. Law, 1995

Semantical Properties of Encodings in Logic Programming.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Logic Programming, 1995

Semantical Properties of SLD-Resolution with Reflection.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Logic Programming, 1995

1994

Metalevel Negation and Non-Monotonic Reasoning.

Stefania Costantini, Gaetano Aurelio Lanzarone

Methods Log. Comput. Sci., 1994

A metalogic programming approach: language, semantics and applications.

Stefania Costantini, Gaetano Aurelio Lanzarone

J. Exp. Theor. Artif. Intell., 1994

SLD - Resolution with Reflection.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Logic Programming, 1994

Static Semantics as Program Transformation and Well-founded Computation.

Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

Extending Horn Clause Theories by Reflection Principles.

Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law.

S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994

Reflection through Constraint Satisfaction.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Logic Programming, 1994

Integrating Reflection into SLD-Resolution.

Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone

Proceedings of the ICLP 1994, 1994

Extending Explanation-Based Generalization with Metalogic Programming.

S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog.

D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Reflective Agents in Metalogic Programming.

Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

1991

On Procedural Semantics of Metalevel Negation.

Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

Metalevel Represantation of Analogical Inference.

Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Trends in Artificial Intelligence, 1991

1990

Metalevel Negation in Non-Monotonic Reasoning.

Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

1989

A Metalogic Programming Language.

Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Logic Programming, 1989

1985

Guidelines on using net analysis techniques with large specifications.

G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano

Proceedings of the Advances in Petri Nets 1985, 1985

1977

More Flexible and Powerful Control Constructs for Structured Programming.

Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone

Proceedings of the International Computing Symposium 1977, 1977

1976

Program Proving: Exit and Return Jumps in Structured Programs.

Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone

Proceedings of the GI - 6. Jahrestagung, Stuttgart, 29. September, 1976

1975

Program Construction by Refinements Preserving Correctness.

Gaetano Aurelio Lanzarone, Mario Ornaghi

Comput. J., 1975