Luigia Carlucci Aiello

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
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

2013
Development of intelligent service robots.
Intelligenza Artificiale, 2013

RoboCup@Sapienza.
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

2006
Logics For Artificial Intelligence.
Intelligenza Artificiale, 2006

2005
SAT-Based Cooperative Planning: A Proposal.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2002
Planning Attacks to Security Protocols: Case Studies in Logic Programming.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
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

2000
An Executable Specification Language for Planning Attacks to Security Protocols.
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1997
Intuitionistic Autoepistemic Logic.
Studia Logica, 1997

Definability and Commonsense Reasoning.
Artif. Intell., 1997

1996
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

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

1994
Defaults as restrictions on classical Hilbert-style proofs.
Journal of Logic, Language and Information, 1994

1991
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

1990
SEDAF: an intelligent educational system for mathematics.
Applied Artificial Intelligence, 1990

1988
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

1987
Evaluating Logic Programs via Set-Valued Functions.
Proceedings of the Logic Programming, 1987

1986
Reasoning Techniques (Panel).
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.
Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

1981
An Efficient Interpreter for the Lambda-Calculus.
J. Comput. Syst. Sci., 1981

1980
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

1977
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

1976
Formal Definition of Semantics of Generated Control Regimes.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975
Programming language semantics in a typed lambda - calculus.
Proceedings of the Lambda-Calculus and Computer Science Theory, 1975

1974
Proving program correctness in L. C. F..
Proceedings of the Programming Symposium, 1974

1973
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


  Loading...