The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luigia Carlucci Aiello: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (1, 0)][DBLP]
    Foundations of Knowledge Base Management (Xania), 1985, pp:179-202 [Conf]
  2. Luigia Carlucci Aiello
    Automatic Generation of Semantic Attachments in FOL. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:90-92 [Conf]
  3. Luigia Carlucci Aiello, Fabio Massacci
    Planning Attacks to Security Protocols: Case Studies in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:533-560 [Conf]
  4. Marco Benedetti, Luigia Carlucci Aiello
    SAT-Based Cooperative Planning: A Proposal. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:494-513 [Conf]
  5. Luigia Carlucci Aiello, Richard W. Weyhrauch
    Using Meta-Theoretic Reasoning to do Algebra. [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:1-13 [Conf]
  6. Luigia Carlucci Aiello, Fabio Massacci
    An Executable Specification Language for Planning Attacks to Security Protocols. [Citation Graph (0, 0)][DBLP]
    CSFW, 2000, pp:88-102 [Conf]
  7. Luigia Carlucci Aiello
    Commonsense Reasoning. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:708-709 [Conf]
  8. Bruno Errico, Luigia Carlucci Aiello
    Intelligent Agents in the Situation Calculus: an Application to User Modelling. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:126-140 [Conf]
  9. Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
    Reasoning About Knowledge and Ignorance. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:618-627 [Conf]
  10. Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello
    Evaluating Logic Programs via Set-Valued Functions. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:428-455 [Conf]
  11. Luigia Carlucci Aiello
    Reasoning Techniques (Panel). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:549-550 [Conf]
  12. Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi
    Reasoning about Student Knowledge and Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:1087-1093 [Conf]
  13. Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
    Yet Another Solution to the Three Wisemen Puzzle. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1988, pp:398-407 [Conf]
  14. Luigia Carlucci Aiello, Mario Aiello
    Programming language semantics in a typed lambda - calculus. [Citation Graph (0, 0)][DBLP]
    Lambda-Calculus and Computer Science Theory, 1975, pp:240-251 [Conf]
  15. Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini
    Formal Definition of Semantics of Generated Control Regimes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:173-179 [Conf]
  16. Luigia Carlucci Aiello, Ugo Montanari
    Towards a Formal Definition of the Control in Structured Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1973, pp:169-174 [Conf]
  17. Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
    Reasoning about Knowledge: The Meta-Level Approach. [Citation Graph (0, 0)][DBLP]
    SCAI, 1991, pp:4-18 [Conf]
  18. Luigia Carlucci Aiello, Alessandro Micarelli
    SEDAF: an intelligent educational system for mathematics. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1990, v:4, n:1, pp:15-36 [Journal]
  19. Luigia Carlucci Aiello, Daniele Nardi
    Perspectives in knowledge representation. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1991, v:5, n:1, pp:29-44 [Journal]
  20. Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
    Definability and Commonsense Reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:93, n:, pp:169-199 [Journal]
  21. Luigia Carlucci Aiello, Fabio Massacci
    Attacking fair-exchange protocols: parallel models vs trace models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:1, pp:- [Journal]
  22. Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
    Logics For Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2006, v:3, n:1-2, pp:7-13 [Journal]
  23. Luigia Carlucci Aiello, Gianfranco Prini
    An Efficient Interpreter for the Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1981, v:23, n:3, pp:383-424 [Journal]
  24. Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
    Defaults as restrictions on classical Hilbert-style proofs. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1994, v:3, n:4, pp:303-326 [Journal]
  25. Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri
    A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:2, pp:205-231 [Journal]
  26. Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
    Intuitionistic Autoepistemic Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:59, n:1, pp:103-120 [Journal]
  27. Luigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch
    Pascal in LCF: Semantics and Examples of Proof. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1977, v:5, n:2, pp:135-177 [Journal]
  28. Luigia Carlucci Aiello, Fabio Massacci
    Verifying security protocols as planning in logic programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:4, pp:542-580 [Journal]

  29. Reasoning about reasoning in a meta-level architecture. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002