Gaetano Aurelio Lanzarone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
1976–1996
Best venue rank
B
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | FQAS | Multiple Metareasoning Agents for Flexible Query-Answering Systems. | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1996 | ICLP | Asserting Lemmas in the Stable Model Semantics. | Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco |
| 1995 | ICLP | Semantical Properties of SLD-Resolution with Reflection. | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1994 | ICLP | Integrating Reflection into SLD-Resolution. | Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
| 1994 | ICLP | Reflection through Constraint Satisfaction. | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1994 | ICLP | Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law. | S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1994 | JELIA | Extending Horn Clause Theories by Reflection Principles. | Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
| 1991 | LPAR | On Procedural Semantics of Metalevel Negation. | Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1990 | LPNMR | Metalevel Negation in Non-Monotonic Reasoning. | Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1989 | ICLP | A Metalogic Programming Language. | Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1976 | GI | Program Proving: Exit and Return Jumps in Structured Programs. | Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone |