SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

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

Publications of Author

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]
Luigia Carlucci Aiello
Automatic Generation of Semantic Attachments in FOL. [Citation Graph (0, 0)][DBLP]
AAAI, 1980, pp:90-92 [Conf]
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]
Marco Benedetti, Luigia Carlucci Aiello
SAT-Based Cooperative Planning: A Proposal. [Citation Graph (0, 0)][DBLP]
Mechanizing Mathematical Reasoning, 2005, pp:494-513 [Conf]
Luigia Carlucci Aiello, Richard W. Weyhrauch
Using Meta-Theoretic Reasoning to do Algebra. [Citation Graph (0, 0)][DBLP]
CADE, 1980, pp:1-13 [Conf]
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]
Luigia Carlucci Aiello
Commonsense Reasoning. [Citation Graph (0, 0)][DBLP]
ECAI, 1996, pp:708-709 [Conf]
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]
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
Reasoning About Knowledge and Ignorance. [Citation Graph (0, 0)][DBLP]
FGCS, 1988, pp:618-627 [Conf]
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]
Luigia Carlucci Aiello
Reasoning Techniques (Panel). [Citation Graph (0, 0)][DBLP]
IFIP Congress, 1986, pp:549-550 [Conf]
Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi
Reasoning about Student Knowledge and Reasoning. [Citation Graph (0, 0)][DBLP]
IJCAI, 1991, pp:1087-1093 [Conf]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
Reasoning about reasoning in a meta-level architecture. [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.005secs

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