Gaetano Aurelio Lanzarone

2000
24		Marcello Balduccini, G. Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti: Experiments in Answer Sets Planning. MICAI 2000: 95-107
23	EE	Jonas 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
13		Stefania 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
7		Stefania 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
4		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: 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

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

Colors in the list of coauthors