| 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 |
