Gaetano Aurelio Lanzarone

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