Luigia Carlucci Aiello

38 papers A* 3A 2B 3C 1Journal 15Unranked 12
YearRankTypeTitle / Venue / Authors
2016 J jnl
Speaky for robots: the development of vocal interfaces for robotic applications.
Appl. Intell.
Emanuele Bastianelli, Daniele Nardi, Luigia Carlucci Aiello, Fabrizio Giacomelli, Nicolamaria Manes
2016 J jnl
The multifaceted impact of Ada Lovelace in the digital age.
Artif. Intell.
Luigia Carlucci Aiello
2014 — ed.
Proceedings of the Workshop "The Challenge of Ageing Society: Technological Roles and Opportunities for Artificial Intelligence" co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 6, 2013.
AgeingAI@AI*IA
Stefania Bandini, Luigia Carlucci Aiello, Giuseppe Vizzari
2013 J jnl
Development of intelligent service robots.
Intelligenza Artificiale
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
2013 — conf
Knowledgeable Talking Robots.
AGI
Luigia Carlucci Aiello, Emanuele Bastianelli, Luca Iocchi, Daniele Nardi, Vittorio Perera, Gabriele Randelli
2013 — conf
RoboCup@Sapienza.
PAI@AI*IA
Daniele Nardi, Luca Iocchi, Luigia Carlucci Aiello
2006 J jnl
Logics For Artificial Intelligence.
Intelligenza Artificiale
Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
2005 — conf
SAT-Based Cooperative Planning: A Proposal.
Mechanizing Mathematical Reasoning
Marco Benedetti, Luigia Carlucci Aiello
2002 — conf
Planning Attacks to Security Protocols: Case Studies in Logic Programming.
Computational Logic: Logic Programming and Beyond
Luigia Carlucci Aiello, Fabio Massacci
2001 — conf
Attacking fair-exchange protocols: parallel models vs trace models.
LACPV@CAV
Luigia Carlucci Aiello, Fabio Massacci
2001 J jnl
Verifying security protocols as planning in logic programming.
ACM Trans. Comput. Log.
Luigia Carlucci Aiello, Fabio Massacci
2000 — conf
An Executable Specification Language for Planning Attacks to Security Protocols.
CSFW
Luigia Carlucci Aiello, Fabio Massacci
1997 J jnl
Definability and Commonsense Reasoning.
Artif. Intell.
Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
1997 J jnl
Intuitionistic Autoepistemic Logic.
Stud Logica
Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
1996 J jnl
A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic.
J. Log. Comput.
Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri
1996 J jnl
A Structural Property on Modal Frames Characterizing Default Logic.
Log. J. IGPL
Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri
1996 A conf
Commonsense Reasoning.
ECAI
Luigia Carlucci Aiello
1996 — conf
Intelligent Agents in the Situation Calculus: an Application to User Modelling.
FAPR
Bruno Errico, Luigia Carlucci Aiello
1996 A* ed.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996.
KR
Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro
1994 J jnl
Defaults as restrictions on classical Hilbert-style proofs.
J. Log. Lang. Inf.
Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
1991 J jnl
Perspectives in knowledge representation.
Appl. Artif. Intell.
Luigia Carlucci Aiello, Daniele Nardi
1991 — conf
Reasoning about Knowledge: The Meta-Level Approach.
SCAI
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
1991 A* conf
Reasoning about Student Knowledge and Reasoning.
IJCAI
Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi
1991 J jnl
Reasoning about reasoning in a meta-level architecture.
Appl. Intell.
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
1990 J jnl
SEDAF: an intelligent educational system for mathematics.
Appl. Artif. Intell.
Luigia Carlucci Aiello, Alessandro Micarelli
1988 — ed.
Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings
Foundations of Logic and Functional Programming
Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi
1988 — conf
Reasoning About Knowledge and Ignorance.
FGCS
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
1988 C conf
Yet Another Solution to the Three Wisemen Puzzle.
ISMIS
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
1987 B conf
Evaluating Logic Programs via Set-Valued Functions.
ICLP
Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello
1986 — conf
Reasoning Techniques (Panel).
IFIP Congress
Luigia Carlucci Aiello
1985 — conf
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)
Luigia Carlucci Aiello, Carlo Cecchi
1981 J jnl
An Efficient Interpreter for the Lambda-Calculus.
J. Comput. Syst. Sci.
Luigia Carlucci Aiello, Gianfranco Prini
1980 A* conf
Automatic Generation of Semantic Attachments in FOL.
AAAI
Luigia Carlucci Aiello
1980 A conf
Using Meta-Theoretic Reasoning to do Algebra.
CADE
Luigia Carlucci Aiello, Richard W. Weyhrauch
1977 J jnl
Pascal in LCF: Semantics and Examples of Proof.
Theor. Comput. Sci.
Luigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch
1976 B conf
Formal Definition of Semantics of Generated Control Regimes.
MFCS
Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini
1975 — conf
Programming language semantics in a typed lambda - calculus.
Lambda-Calculus and Computer Science Theory
Luigia Carlucci Aiello, Mario Aiello
1973 B conf
Towards a Formal Definition of the Control in Structured Programs.
MFCS
Luigia Carlucci Aiello, Ugo Montanari