Luigia Carlucci Aiello

Luigia Aiello

	2006
33		Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini: Logics For Artificial Intelligence. Intelligenza Artificiale 3(1-2): 7-13 (2006)
	2005
32		Marco Benedetti, Luigia Carlucci Aiello: SAT-Based Cooperative Planning: A Proposal. Mechanizing Mathematical Reasoning 2005: 494-513
	2002
31		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
30		Luigia Carlucci Aiello, Fabio Massacci: Verifying security protocols as planning in logic programming. ACM Trans. Comput. Log. 2(4): 542-580 (2001)
29		Luigia Carlucci Aiello, Fabio Massacci: Attacking fair-exchange protocols: parallel models vs trace models. Electr. Notes Theor. Comput. Sci. 55(1): 51-68 (2001)
	2000
28		Luigia Carlucci Aiello, Fabio Massacci: An Executable Specification Language for Planning Attacks to Security Protocols. CSFW 2000: 88-102
	1997
27		Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Definability and Commonsense Reasoning. Artif. Intell. 93: 169-199 (1997)
26		Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Intuitionistic Autoepistemic Logic. Studia Logica 59(1): 103-120 (1997)
	1996
25		Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro: Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996. Morgan Kaufmann 1996
24		Luigia Carlucci Aiello: Commonsense Reasoning. ECAI 1996: 708-709
23		Bruno Errico, Luigia Carlucci Aiello: Intelligent Agents in the Situation Calculus: an Application to User Modelling. FAPR 1996: 126-140
22		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)
21		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
20		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
19		Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi: Reasoning about Student Knowledge and Reasoning. IJCAI 1991: 1087-1093
18		Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Reasoning about Knowledge: The Meta-Level Approach. SCAI 1991: 4-18
17		Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Reasoning about reasoning in a meta-level architecture. Appl. Intell. 1(1): 55-67 (1991)
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)	[20] [21] [22] [26] [27]
3	Giuseppe Attardi	[4]
4	Marco Benedetti	[32]
5	Mauro Boscarol	[14]
6	P. Cavallari	[4]
7	Carlo Cecchi	[9] [11]
8	Maria Cialdea	[19]
9	Jon Doyle	[25]
10	Bruno Errico	[23]
11	Dov M. Gabbay	[21] [22]
12	Enrico Giunchiglia	[33]
13	Giorgio Levi	[14]
14	Fabio Massacci	[28] [29] [30] [31]
15	Alessandro Micarelli	[15]
16	Ugo Montanari	[1]
17	Daniele Nardi	[12] [13] [16] [17] [18] [19]
18	Fiora Pirri	[20] [21] [22] [26] [27]
19	Gianfranco Prini	[4] [8]
20	Dario Sartini	[11]
21	Marco Schaerf	[12] [13] [17] [18]
22	Luciano Serafini	[33]
23	Stuart C. Shapiro	[25]
24	Richard W. Weyhrauch	[5] [6]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page