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

Luigia Carlucci Aiello Vis

Luigia Aiello

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

*2006
32 Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini: Logics For Artificial Intelligence. Intelligenza Artificiale 3(1-2): 7-13 (2006)
2005
31EEMarco Benedetti, Luigia Carlucci Aiello: SAT-Based Cooperative Planning: A Proposal. Mechanizing Mathematical Reasoning 2005: 494-513
2002
30EELuigia Carlucci Aiello, Fabio Massacci: Planning Attacks to Security Protocols: Case Studies in Logic Programming. Computational Logic: Logic Programming and Beyond 2002: 533-560
2001
29EELuigia Carlucci Aiello, Fabio Massacci: Verifying security protocols as planning in logic programming. ACM Trans. Comput. Log. 2(4): 542-580 (2001)
28EELuigia Carlucci Aiello, Fabio Massacci: Attacking fair-exchange protocols: parallel models vs trace models. Electr. Notes Theor. Comput. Sci. 55(1): (2001)
2000
27EELuigia Carlucci Aiello, Fabio Massacci: An Executable Specification Language for Planning Attacks to Security Protocols. CSFW 2000: 88-102
1997
26EEGianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Definability and Commonsense Reasoning. Artif. Intell. 93: 169-199 (1997)
25 Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Intuitionistic Autoepistemic Logic. Studia Logica 59(1): 103-120 (1997)
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)
21EEGianni 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
17EELuigia 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
6EELuigia 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
4EELuigia 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

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

Colors in the list of coauthors

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