2006 |
32 | | Luigia Carlucci Aiello,
Enrico Giunchiglia,
Luciano Serafini:
Logics For Artificial Intelligence.
Intelligenza Artificiale 3(1-2): 7-13 (2006) |
2005 |
31 | EE | Marco Benedetti,
Luigia Carlucci Aiello:
SAT-Based Cooperative Planning: A Proposal.
Mechanizing Mathematical Reasoning 2005: 494-513 |
2002 |
30 | 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 |
29 | EE | Luigia Carlucci Aiello,
Fabio Massacci:
Verifying security protocols as planning in logic programming.
ACM Trans. Comput. Log. 2(4): 542-580 (2001) |
28 | EE | Luigia Carlucci Aiello,
Fabio Massacci:
Attacking fair-exchange protocols: parallel models vs trace models.
Electr. Notes Theor. Comput. Sci. 55(1): (2001) |
2000 |
27 | EE | Luigia Carlucci Aiello,
Fabio Massacci:
An Executable Specification Language for Planning Attacks to Security Protocols.
CSFW 2000: 88-102 |
1997 |
26 | EE | Gianni 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) |
21 | 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 |
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 | EE | 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 |