dblp.uni-trier.dewww.uni-trier.de

Gaetano Aurelio Lanzarone Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2000
24 Marcello Balduccini, G. Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti: Experiments in Answer Sets Planning. MICAI 2000: 95-107
23EEJonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Reflection principles in computational logic. J. Log. Comput. 10(6): 743-786 (2000)
1998
22 Gaetano Aurelio Lanzarone, Alessandro Provetti: Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. APPIA-GULP-PRODE 1998: 201-214
1996
21 Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Multiple Metareasoning Agents for Flexible Query-Answering Systems. FQAS 1996: 155-166
20 Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco: Asserting Lemmas in the Stable Model Semantics. JICSLP 1996: 438-452
1995
19 Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Semantical Properties of SLD-Resolution with Reflection. ICLP 1995: 830
18 Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Semantical Properties of Encodings in Logic Programming. ILPS 1995: 288-302
17 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)
16 Stefania Costantini, Gaetano Aurelio Lanzarone: Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation. Artif. Intell. Law 3(3): 191-208 (1995)
1994
15 S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone: Extending Explanation-Based Generalization with Metalogic Programming. GULP-PRODE (2) 1994: 16-31
14 Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Reflection through Constraint Satisfaction. ICLP 1994: 742
13EEStefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone: Extending Horn Clause Theories by Reflection Principles. JELIA 1994: 400-413
12 Stefania Costantini, Gaetano Aurelio Lanzarone: Static Semantics as Program Transformation and Well-founded Computation. NMELP 1994: 156-180
11 Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: SLD - Resolution with Reflection. SLP 1994: 554-568
1993
10 D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone: Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. GULP 1993: 285-300
1992
9 Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone: Reflective Agents in Metalogic Programming. META 1992: 135-147
1991
8 Stefania Costantini, Gaetano Aurelio Lanzarone: Metalevel Represantation of Analogical Inference. AI*IA 1991: 460-464
7EEStefania Costantini, Gaetano Aurelio Lanzarone: On Procedural Semantics of Metalevel Negation. RCLP 1991: 140-151
1990
6 Stefania Costantini, Gaetano Aurelio Lanzarone: Metalevel Negation in Non-Monotonic Reasoning. LPNMR 1990: 19-26
1989
5 Stefania Costantini, Gaetano Aurelio Lanzarone: A Metalogic Programming Language. ICLP 1989: 218-233
1985
4EEG. 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: 142-161
1977
3 Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone: More Flexible and Powerful Control Constructs for Structured Programming. International Computing Symposium 1977: 135-142
1976
2 Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone: Program Proving: Exit and Return Jumps in Structured Programs. GI Jahrestagung 1976: 121-132
1975
1 Gaetano Aurelio Lanzarone, Mario Ornaghi: Program Construction by Refinements Preserving Correctness. Comput. J. 18(1): 55-62 (1975)

Coauthor Index

1Marcello Balduccini [24]
2Jonas Barklund [11] [14] [18] [19] [21] [23]
3S. Bertarello [15]
4G. Brignoli [24]
5G. Comparin [4]
6D. Concari [10]
7Stefania Costantini [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [23]
8Pierangelo Dell'Acqua [9] [11] [13] [14] [18] [19] [21] [23]
9Kurt Lautenbach [4]
10Giuseppe Magliocco [20]
11F. Magni [24]
12Giorgio De Michelis [2] [3]
13Mario Ornaghi [1]
14Anastasia Pagnoni [4]
15W. Panzeri [4]
16Alessandro Provetti [22] [24]
17L. Sbarbaro [17]
18Carla Simone [2] [3]
19A. Torgano [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)