Luigia Carlucci Aiello

According to our database, Luigia Carlucci Aiello authored at least 39 papers between 1973 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

The multifaceted impact of Ada Lovelace in the digital age.

Luigia Carlucci Aiello

Artif. Intell., 2016

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, Marcello Giardina, Primo Zingaretti, Emanuele Frontoni, Adriano Mancini, Grazia Cicirelli, Alessandro Farinelli, Domenico G. Sorrenti

Intelligenza Artificiale, 2013

RoboCup@Sapienza.

Daniele Nardi, Luca Iocchi, Luigia Carlucci Aiello

Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

Knowledgeable Talking Robots.

Luigia Carlucci Aiello, Emanuele Bastianelli, Luca Iocchi, Daniele Nardi, Vittorio Perera, Gabriele Randelli

Proceedings of the Artificial General Intelligence - 6th International Conference, 2013

2006

Logics For Artificial Intelligence.

Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini

Intelligenza Artificiale, 2006

2005

SAT-Based Cooperative Planning: A Proposal.

Marco Benedetti, Luigia Carlucci Aiello

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2002

Planning Attacks to Security Protocols: Case Studies in Logic Programming.

Luigia Carlucci Aiello, Fabio Massacci

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Verifying security protocols as planning in logic programming.

Luigia Carlucci Aiello, Fabio Massacci

ACM Trans. Comput. Log., 2001

Attacking fair-exchange protocols: parallel models vs trace models.

Luigia Carlucci Aiello, Fabio Massacci

Proceedings of the Logical Aspects of Cryptographic Protocol Verification, 2001

2000

An Executable Specification Language for Planning Attacks to Security Protocols.

Luigia Carlucci Aiello, Fabio Massacci

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1997

Intuitionistic Autoepistemic Logic.

Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri

Stud Logica, 1997

Definability and Commonsense Reasoning.

Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri

Artif. Intell., 1997

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

A Structural Property on Modal Frames Characterizing Default Logic.

Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri

Log. J. IGPL, 1996

Intelligent Agents in the Situation Calculus: an Application to User Modelling.

Bruno Errico, Luigia Carlucci Aiello

Proceedings of the Practical Reasoning, 1996

Commonsense Reasoning.

Luigia Carlucci Aiello

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1994

Defaults as restrictions on classical Hilbert-style proofs.

Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri

J. Log. Lang. Inf., 1994

1991

Reasoning about reasoning in a meta-level architecture.

Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf

Appl. Intell., 1991

Perspectives in knowledge representation.

Luigia Carlucci Aiello, Daniele Nardi

Appl. Artif. Intell., 1991

Reasoning about Knowledge: The Meta-Level Approach.

Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf

Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

Reasoning about Student Knowledge and Reasoning.

Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

SEDAF: an intelligent educational system for mathematics.

Luigia Carlucci Aiello, Alessandro Micarelli

Appl. Artif. Intell., 1990

1988

Yet Another Solution to the Three Wisemen Puzzle.

Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf

Proceedings of the Methodologies for Intelligent Systems, 1988

Reasoning About Knowledge and Ignorance.

Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Evaluating Logic Programs via Set-Valued Functions.

Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello

Proceedings of the Logic Programming, 1987

1986

Representation and use of metaknowledge.

Luigia Aiello, Carlo Cecchi, Dario Sartini

Proc. IEEE, 1986

Reasoning Techniques (Panel).

Luigia Carlucci Aiello

Proceedings of the Information Processing 86, 1986

1985

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

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

1984

Modeling the office structure: A first step towards the Office Expert System.

Luigia Aiello, Daniele Nardi, Maurizio Panti

Proceedings of the Second ACM-SIGOA Conference on Office Information Systems, 1984

1981

An Efficient Interpreter for the Lambda-Calculus.

Luigia Carlucci Aiello, Gianfranco Prini

J. Comput. Syst. Sci., 1981

1980

Using Meta-Theoretic Reasoning to do Algebra.

Luigia Carlucci Aiello, Richard W. Weyhrauch

Proceedings of the 5th Conference on Automated Deduction, 1980

Automatic Generation of Semantic Attachments in FOL.

Luigia Carlucci Aiello

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1977

Pascal in LCF: Semantics and Examples of Proof.

Luigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch

Theor. Comput. Sci., 1977

Towards a More Declarative Programming Style.

Luigia Aiello, Giuseppe Attardi, Gianfranco Prini

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976

Formal Definition of Semantics of Generated Control Regimes.

Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

Programming language semantics in a typed lambda - calculus.

Luigia Carlucci Aiello, Mario Aiello

Proceedings of the Lambda-Calculus and Computer Science Theory, 1975

1974

Proving program correctness in L. C. F..

Luigia Aiello, Mario Aiello

Proceedings of the Programming Symposium, 1974

1973

Towards a Formal Definition of the Control in Structured Programs.

Luigia Carlucci Aiello, Ugo Montanari

Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973