Luigia Carlucci Aiello

Luigia Aiello

2006
31		Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini: Logics For Artificial Intelligence. Intelligenza Artificiale 3(1-2): 7-13 (2006)
2005
30	EE	Marco Benedetti, Luigia Carlucci Aiello: SAT-Based Cooperative Planning: A Proposal. Mechanizing Mathematical Reasoning 2005: 494-513
2002
29	EE	Luigia Carlucci Aiello, Fabio Massacci: Planning Attacks to Security Protocols: Case Studies in Logic Programming. Computational Logic: Logic Programming and Beyond 2002: 533-560
2001
28	EE	Luigia Carlucci Aiello, Fabio Massacci: Verifying security protocols as planning in logic programming. ACM Trans. Comput. Log. 2(4): 542-580 (2001)
27	EE	Luigia Carlucci Aiello, Fabio Massacci: Attacking fair-exchange protocols: parallel models vs trace models. Electr. Notes Theor. Comput. Sci. 55(1): (2001)
2000
26	EE	Luigia Carlucci Aiello, Fabio Massacci: An Executable Specification Language for Planning Attacks to Security Protocols. CSFW 2000: 88-102
1997
25	EE	Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Definability and Commonsense Reasoning. Artif. Intell. 93: 169-199 (1997)
24		Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Intuitionistic Autoepistemic Logic. Studia Logica 59(1): 103-120 (1997)
1996
23		Luigia Carlucci Aiello: Commonsense Reasoning. ECAI 1996: 708-709
22		Bruno Errico, Luigia Carlucci Aiello: Intelligent Agents in the Situation Calculus: an Application to User Modelling. FAPR 1996: 126-140
21		Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri: A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. J. Log. Comput. 6(2): 205-231 (1996)
20	EE	Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri: A Structural Property on Modal Frames Characterizing Default Logic. Logic Journal of the IGPL 4(1): 7-22 (1996)
1994
19		Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Defaults as restrictions on classical Hilbert-style proofs. Journal of Logic, Language and Information 3(4): 303-326 (1994)
1991
18		Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi: Reasoning about Student Knowledge and Reasoning. IJCAI 1991: 1087-1093
17		Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Reasoning about Knowledge: The Meta-Level Approach. SCAI 1991: 4-18
16		Luigia Carlucci Aiello, Daniele Nardi: Perspectives in knowledge representation. Applied Artificial Intelligence 5(1): 29-44 (1991)
1990
15		Luigia Carlucci Aiello, Alessandro Micarelli: SEDAF: an intelligent educational system for mathematics. Applied Artificial Intelligence 4(1): 15-36 (1990)
1988
14		Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi: Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings Springer 1988
13		Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Reasoning About Knowledge and Ignorance. FGCS 1988: 618-627
12		Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Yet Another Solution to the Three Wisemen Puzzle. ISMIS 1988: 398-407
1987
11		Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello: Evaluating Logic Programs via Set-Valued Functions. ICLP 1987: 428-455
1986
10		Luigia Carlucci Aiello: Reasoning Techniques (Panel). IFIP Congress 1986: 549-550
1985
9		Luigia Carlucci Aiello, Carlo Cecchi: Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming. Foundations of Knowledge Base Management (Xania) 1985: 179-202
1981
8		Luigia Carlucci Aiello, Gianfranco Prini: An Efficient Interpreter for the Lambda-Calculus. J. Comput. Syst. Sci. 23(3): 383-424 (1981)
1980
7		Luigia Carlucci Aiello: Automatic Generation of Semantic Attachments in FOL. AAAI 1980: 90-92
6		Luigia Carlucci Aiello, Richard W. Weyhrauch: Using Meta-Theoretic Reasoning to do Algebra. CADE 1980: 1-13
1977
5		Luigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch: Pascal in LCF: Semantics and Examples of Proof. Theor. Comput. Sci. 5(2): 135-177 (1977)
1976
4		Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini: Formal Definition of Semantics of Generated Control Regimes. MFCS 1976: 173-179
1975
3		Luigia Carlucci Aiello, Mario Aiello: Programming language semantics in a typed lambda - calculus. Lambda-Calculus and Computer Science Theory 1975: 240-251
1974
2		Luigia Aiello, Mario Aiello: Proving program correctness in L. C. F.. Symposium on Programming 1974: 59-71
1973
1		Luigia Carlucci Aiello, Ugo Montanari: Towards a Formal Definition of the Control in Structured Programs. MFCS 1973: 169-174

Coauthor Index

1	Mario Aiello	[2] [3] [4] [5]
2	Gianni Amati (Giambattista Amati)	[19] [20] [21] [24] [25]
3	Giuseppe Attardi	[4]
4	Marco Benedetti	[30]
5	Mauro Boscarol	[14]
6	P. Cavallari	[4]
7	Carlo Cecchi	[9] [11]
8	Maria Cialdea	[18]
9	Bruno Errico	[22]
10	Dov M. Gabbay	[20] [21]
11	Enrico Giunchiglia	[31]
12	Giorgio Levi	[14]
13	Fabio Massacci	[26] [27] [28] [29]
14	Alessandro Micarelli	[15]
15	Ugo Montanari	[1]
16	Daniele Nardi	[12] [13] [16] [17] [18]
17	Fiora Pirri	[19] [20] [21] [24] [25]
18	Gianfranco Prini	[4] [8]
19	Dario Sartini	[11]
20	Marco Schaerf	[12] [13] [17]
21	Luciano Serafini	[31]
22	Richard W. Weyhrauch	[5] [6]

Colors in the list of coauthors