Towards a Formal Definition of the Control in Structured Programs. - Luigia Carlucci Aiello; Ugo Montanari (MFCS, 1973)

Proving program correctness in L. C. F.. - Luigia Aiello; Mario Aiello (Symposium on Programming, 1974)

Programming language semantics in a typed lambda - calculus. - Luigia Carlucci Aiello; Mario Aiello (Lambda-Calculus and Computer Science Theory, 1975)

Formal Definition of Semantics of Generated Control Regimes. - Luigia Carlucci Aiello; Mario Aiello; Giuseppe Attardi; P. Cavallari; Gianfranco Prini (MFCS, 1976)

Towards a More Declarative Programming Style. - Luigia Aiello; Giuseppe Attardi; Gianfranco Prini (Formal Description of Programming Concepts, 1977)

Pascal in LCF: Semantics and Examples of Proof. - Luigia Carlucci Aiello; Mario Aiello; Richard W. Weyhrauch (Theor. Comput. Sci., 1977)

Automatic Generation of Semantic Attachments in FOL. - Luigia Carlucci Aiello (AAAI, 1980)

Using Meta-Theoretic Reasoning to do Algebra. - Luigia Carlucci Aiello; Richard W. Weyhrauch (CADE, 1980)

An Efficient Interpreter for the Lambda-Calculus. - Luigia Carlucci Aiello; Gianfranco Prini (J. Comput. Syst. Sci., 1981)

Modeling the office structure: A first step towards the Office Expert System. - Luigia Aiello; Daniele Nardi; Maurizio Panti (COCS, 1984)

Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming. - Luigia Carlucci Aiello; Carlo Cecchi (Foundations of Knowledge Base Management (Xania), 1985)

Reasoning Techniques (Panel). - Luigia Carlucci Aiello (IFIP Congress, 1986)

Representation and use of metaknowledge. - Luigia Aiello; Carlo Cecchi; Dario Sartini (Proc. IEEE, 1986)

Evaluating Logic Programs via Set-Valued Functions. - Carlo Cecchi; Dario Sartini; Luigia Carlucci Aiello (ICLP, 1987)

Reasoning About Knowledge and Ignorance. - Luigia Carlucci Aiello; Daniele Nardi; Marco Schaerf (FGCS, 1988)

Yet Another Solution to the Three Wisemen Puzzle. - Luigia Carlucci Aiello; Daniele Nardi; Marco Schaerf (ISMIS, 1988)

SEDAF: an intelligent educational system for mathematics. - Luigia Carlucci Aiello; Alessandro Micarelli (Appl. Artif. Intell., 1990)

Reasoning about Student Knowledge and Reasoning. - Luigia Carlucci Aiello; Maria Cialdea; Daniele Nardi (IJCAI, 1991)

Reasoning about Knowledge: The Meta-Level Approach. - Luigia Carlucci Aiello; Daniele Nardi; Marco Schaerf (SCAI, 1991)

Perspectives in knowledge representation. - Luigia Carlucci Aiello; Daniele Nardi (Appl. Artif. Intell., 1991)

Reasoning about reasoning in a meta-level architecture. - Luigia Carlucci Aiello; Daniele Nardi; Marco Schaerf (Appl. Intell., 1991)

Defaults as restrictions on classical Hilbert-style proofs. - Gianni Amati; Luigia Carlucci Aiello; Fiora Pirri (J. Log. Lang. Inf., 1994)

Commonsense Reasoning. - Luigia Carlucci Aiello (ECAI, 1996)

Intelligent Agents in the Situation Calculus: an Application to User Modelling. - Bruno Errico; Luigia Carlucci Aiello (FAPR, 1996)

A Structural Property on Modal Frames Characterizing Default Logic. - Gianni Amati; Luigia Carlucci Aiello; Dov M. Gabbay; Fiora Pirri (Log. J. IGPL, 1996)

A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. - Gianni Amati; Luigia Carlucci Aiello; Dov M. Gabbay; Fiora Pirri (J. Log. Comput., 1996)

Definability and Commonsense Reasoning. - Gianni Amati; Luigia Carlucci Aiello; Fiora Pirri (Artif. Intell., 1997)

Intuitionistic Autoepistemic Logic. - Gianni Amati; Luigia Carlucci Aiello; Fiora Pirri (Stud Logica, 1997)

An Executable Specification Language for Planning Attacks to Security Protocols. - Luigia Carlucci Aiello; Fabio Massacci (CSFW, 2000)

Attacking fair-exchange protocols: parallel models vs trace models. - Luigia Carlucci Aiello; Fabio Massacci (LACPV@CAV, 2001)

Verifying security protocols as planning in logic programming. - Luigia Carlucci Aiello; Fabio Massacci (ACM Trans. Comput. Log., 2001)

Planning Attacks to Security Protocols: Case Studies in Logic Programming. - Luigia Carlucci Aiello; Fabio Massacci (Computational Logic: Logic Programming and Beyond, 2002)

SAT-Based Cooperative Planning: A Proposal. - Marco Benedetti; Luigia Carlucci Aiello (Mechanizing Mathematical Reasoning, 2005)

Logics For Artificial Intelligence. - Luigia Carlucci Aiello; Enrico Giunchiglia; Luciano Serafini (Intelligenza Artificiale, 2006)

Knowledgeable Talking Robots. - Luigia Carlucci Aiello; Emanuele Bastianelli; Luca Iocchi; Daniele Nardi; Vittorio Perera; Gabriele Randelli (AGI, 2013)

RoboCup@Sapienza. - Daniele Nardi; Luca Iocchi; Luigia Carlucci Aiello (PAI@AI*IA, 2013)

Development of intelligent service robots. - Luca Iocchi; Emanuele Menegatti; Andrea Bonarini; Matteo Matteucci; Enrico Pagello; Luigia Carlucci Aiello; Daniele Nardi; Fulvio Mastrogiovanni; Antonio Sgorbissa; Renato Zaccaria; Rosario Sorbello; Antonio Chella; et al. (Intelligenza Artificiale, 2013)

The multifaceted impact of Ada Lovelace in the digital age. - Luigia Carlucci Aiello (Artif. Intell., 2016)

Speaky for robots: the development of vocal interfaces for robotic applications. - Emanuele Bastianelli; Daniele Nardi; Luigia Carlucci Aiello; Fabrizio Giacomelli; Nicolamaria Manes (Appl. Intell., 2016)