Luigia Carlucci Aiello

Publication Activity (10 Years)

Years Active: 1973-2016
Publications (10 Years): 2

Top Topics

Intelligent Assistant

Tactile Sensing

Top Venues

Intelligenza Artificiale

Publications

Emanuele Bastianelli, Daniele Nardi, Luigia Carlucci Aiello, Fabrizio Giacomelli, Nicolamaria Manes
Speaky for robots: the development of vocal interfaces for robotic applications. Appl. Intell. 44 (1) (2016)
Luigia Carlucci Aiello
The multifaceted impact of Ada Lovelace in the digital age. Artif. Intell. 235 (2016)
Daniele Nardi, Luca Iocchi, Luigia Carlucci Aiello
RoboCup@Sapienza. PAI@AI*IA (2013)
Luigia Carlucci Aiello, Emanuele Bastianelli, Luca Iocchi, Daniele Nardi, Vittorio Perera, Gabriele Randelli
Knowledgeable Talking Robots. AGI (2013)
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, Marcello Giardina, Primo Zingaretti, Emanuele Frontoni, Adriano Mancini, Grazia Cicirelli, Alessandro Farinelli, Domenico G. Sorrenti
Development of intelligent service robots. Intelligenza Artificiale 7 (2) (2013)
Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Logics For Artificial Intelligence. Intelligenza Artificiale 3 (1-2) (2006)
Marco Benedetti, Luigia Carlucci Aiello
SAT-Based Cooperative Planning: A Proposal. Mechanizing Mathematical Reasoning (2005)
Luigia Carlucci Aiello, Fabio Massacci
Planning Attacks to Security Protocols: Case Studies in Logic Programming. Computational Logic: Logic Programming and Beyond (2002)
Luigia Carlucci Aiello, Fabio Massacci
Verifying security protocols as planning in logic programming. ACM Trans. Comput. Log. 2 (4) (2001)
Luigia Carlucci Aiello, Fabio Massacci
Attacking fair-exchange protocols: parallel models vs trace models. Electron. Notes Theor. Comput. Sci. 55 (1) (2001)
Luigia Carlucci Aiello, Fabio Massacci
An Executable Specification Language for Planning Attacks to Security Protocols. CSFW (2000)
Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
Definability and Commonsense Reasoning. Artif. Intell. 93 (1997)
Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
Intuitionistic Autoepistemic Logic. Stud Logica 59 (1) (1997)
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) (1996)
Luigia Carlucci Aiello
Commonsense Reasoning. ECAI (1996)
Bruno Errico, Luigia Carlucci Aiello
Intelligent Agents in the Situation Calculus: an Application to User Modelling. FAPR (1996)
Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri
A Structural Property on Modal Frames Characterizing Default Logic. Log. J. IGPL 4 (1) (1996)
Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
Defaults as restrictions on classical Hilbert-style proofs. J. Log. Lang. Inf. 3 (4) (1994)
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
Reasoning about Knowledge: The Meta-Level Approach. SCAI (1991)
Luigia Carlucci Aiello, Daniele Nardi
Perspectives in knowledge representation. Appl. Artif. Intell. 5 (1) (1991)
Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi
Reasoning about Student Knowledge and Reasoning. IJCAI (1991)
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
Reasoning about reasoning in a meta-level architecture. Appl. Intell. 1 (1) (1991)
Luigia Carlucci Aiello, Alessandro Micarelli
SEDAF: an intelligent educational system for mathematics. Appl. Artif. Intell. 4 (1) (1990)
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
Reasoning About Knowledge and Ignorance. FGCS (1988)
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
Yet Another Solution to the Three Wisemen Puzzle. ISMIS (1988)
Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello
Evaluating Logic Programs via Set-Valued Functions. ICLP (1987)
Luigia Carlucci Aiello
Reasoning Techniques (Panel). IFIP Congress (1986)
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)
Luigia Carlucci Aiello, Gianfranco Prini
An Efficient Interpreter for the Lambda-Calculus. J. Comput. Syst. Sci. 23 (3) (1981)
Luigia Carlucci Aiello, Richard W. Weyhrauch
Using Meta-Theoretic Reasoning to do Algebra. CADE (1980)
Luigia Carlucci Aiello
Automatic Generation of Semantic Attachments in FOL. AAAI (1980)
Luigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch
Pascal in LCF: Semantics and Examples of Proof. Theor. Comput. Sci. 5 (2) (1977)
Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini
Formal Definition of Semantics of Generated Control Regimes. MFCS (1976)
Luigia Carlucci Aiello, Mario Aiello
Programming language semantics in a typed lambda - calculus. Lambda-Calculus and Computer Science Theory (1975)
Luigia Carlucci Aiello, Ugo Montanari
Towards a Formal Definition of the Control in Structured Programs. MFCS (1973)