Luigia Carlucci Aiello
According to our database1, Luigia Carlucci Aiello authored at least 37 papers between 1973 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Speaky for robots: the development of vocal interfaces for robotic applications.
Appl. Intell., 2016
The multifaceted impact of Ada Lovelace in the digital age.
Artif. Intell., 2016
Development of intelligent service robots.
Intelligenza Artificiale, 2013
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.
Proceedings of the Artificial General Intelligence - 6th International Conference, 2013
Logics For Artificial Intelligence.
Intelligenza Artificiale, 2006
SAT-Based Cooperative Planning: A Proposal.
Proceedings of the Mechanizing Mathematical Reasoning, 2005
Planning Attacks to Security Protocols: Case Studies in Logic Programming.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
Verifying security protocols as planning in logic programming.
ACM Trans. Comput. Log., 2001
Attacking fair-exchange protocols: parallel models vs trace models.
Electr. Notes Theor. Comput. Sci., 2001
An Executable Specification Language for Planning Attacks to Security Protocols.
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000
Intuitionistic Autoepistemic Logic.
Studia Logica, 1997
Definability and Commonsense Reasoning.
Artif. Intell., 1997
A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic.
J. Log. Comput., 1996
A Structural Property on Modal Frames Characterizing Default Logic.
Logic Journal of the IGPL, 1996
Intelligent Agents in the Situation Calculus: an Application to User Modelling.
Proceedings of the Practical Reasoning, 1996
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
Defaults as restrictions on classical Hilbert-style proofs.
Journal of Logic, Language and Information, 1994
Reasoning about reasoning in a meta-level architecture.
Appl. Intell., 1991
Perspectives in knowledge representation.
Applied Artificial Intelligence, 1991
Reasoning about Knowledge: The Meta-Level Approach.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991
Reasoning about Student Knowledge and Reasoning.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
SEDAF: an intelligent educational system for mathematics.
Applied Artificial Intelligence, 1990
Yet Another Solution to the Three Wisemen Puzzle.
Proceedings of the Methodologies for Intelligent Systems, 1988
Reasoning About Knowledge and Ignorance.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
Evaluating Logic Programs via Set-Valued Functions.
Proceedings of the Logic Programming, 1987
Reasoning Techniques (Panel).
Proceedings of the Information Processing 86, 1986
Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming.
Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985
An Efficient Interpreter for the Lambda-Calculus.
J. Comput. Syst. Sci., 1981
Using Meta-Theoretic Reasoning to do Algebra.
Proceedings of the 5th Conference on Automated Deduction, 1980
Automatic Generation of Semantic Attachments in FOL.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980
Pascal in LCF: Semantics and Examples of Proof.
Theor. Comput. Sci., 1977
Towards a More Declarative Programming Style.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977
Formal Definition of Semantics of Generated Control Regimes.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976
Programming language semantics in a typed lambda - calculus.
Proceedings of the Lambda-Calculus and Computer Science Theory, 1975
Proving program correctness in L. C. F..
Proceedings of the Programming Symposium, 1974
Towards a Formal Definition of the Control in Structured Programs.
Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973