Bibliography

Books
(In English)

[CA88-2]
Luigia Carlucci Aiello, Mario Boscarol, and Giorgio Levi, editors.
Foundations of Logic and Functional Programming, volume 306 of Lecture Notes in Computer Science.
Springer Verlag, 1988.

[CA90-2]
Luigia Carlucci Aiello, editor.
Proceedings of the 9th European Conference on Artificial Intelligence.
Pitman Publishing, 1990.

[CA96-2]
Luigia Carlucci Aiello, Jon Doyle, and Stuart Shapiro, editors.
Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96).
Morgan Kaufmann, 1996.

Books
(In Italian)

[CA86-2]
Luigia Carlucci Aiello and Daniele Nardi.
Elementi di linguaggi funzionali.
Franco Angeli, 1986.

[CA90-1]
Carlo Batini, Luigia Carlucci Aiello, Maurizio Lenzerini, Alberto Marchetti Spaccamela, and Alfonso Miola.
Fondamenti di programmazione dei calcolatori elettronici.
Franco Angeli, 1990.

[CA95-1]
Luigia Carlucci Aiello and Marta Cialdea Mayer.
Invito all'Intelligenza Artificiale.
Franco Angeli, 1995.

[CA98-2]
Stuart Russell and Peter Norvig.
Intelligenza Artificiale: un approccio moderno.
UTET libreria, 1998.
Carlucci Aiello, Luigia: Editor for the Italian Translation.

Journals
(In English)

[CA71-1]
Luigia Carlucci.
A conditional functional tree-handling generalized Markov algorithm which interprets a nondeterministic abstract machine.
Calcolo, 8(3):161-184, 1971.

[CA72-1]
Luigia Carlucci.
A Formal System for Texture Languages.
Pattern Recognition, 4:53-72, 1972.
Appeared also as Technical Report IEI-CNR, B-71-2, Pisa, 1971.

[CA76-2]
Luigia Aiello, Mario Aiello, Giuseppe Attardi, and Gianfranco Prini.
Informal Proofs Formally Checked by Machine (Abstract).
Journal of Symbolic Logic, 42:131, 1976.

[CA77-1]
Luigia Aiello, Mario Aiello, and Richard W. Weyhrauch.
PASCAL in LCF: Semantics and examples of proof.
Theoretical Computer Science, 5:135-177, 1977.

[CA77-2]
Luigia Aiello, Mario Aiello, Giuseppe Attardi, and Gianfranco Prini.
PPC (Pisa Proof Checker): A Tool for Experiments in Theory of Proving and Mathematical Theory of Computation.
Fundamenta Informaticae, 1:251-275, 1977.

[CA80-2]
Luigia Aiello and Gianfranco Prini.
Operators in LISP: some remarks on Iverson's "Operators".
ACM Transactions on Programming Language and Systems, 2(2):263-265, 1980.

[CA81-1]
Luigia Aiello and Gianfranco Prini.
An Efficient Interpreter for the Lambda-Calculus.
Journal of Computer and System Sciences, 23(3):383-424, 1981.

[CA86-3]
Luigia Aiello, Carlo Cecchi, and Dario Sartini.
Representation and use of metaknowledge.
Proceedings of the IEEE, 74(10):1304-1321, 1986.
Appeared also as Technical Report DIS Università di Roma La Sapienza, 11.86, Roma, 1986, and also as [CA90-12].

[CA90-6]
Luigia Aiello and Alessandro Micarelli.
SEDAF: An Intelligent Educational System for Mathematics.
Applied Artificial Intelligence, 4(1):15-36, 1990.

[CA91-5]
Luigia Carlucci Aiello, Daniele Nardi, and Marco Schaerf.
Reasoning about Reasoning in a Meta-Level Architecture.
International Journal of Applied Intelligence, 1:55-67, 1991.

[CA91-8]
Luigia Carlucci Aiello and Daniele Nardi.
Perspectives in Knowledge Representation.
Applied Artificial Intelligence, 5:29-44, 1991.
Special issue on Future and Impacts of Artificial Intelligence. Appeared also as Technical Report DIS Università di Roma La Sapienza, 13.90, Roma, 1990.

[CA91-11]
Alessandro Micarelli, Fabio Mungo, Francesco S. Nucci, and Luigia Aiello.
SAMPLE: An Intelligent Educational System for Electrical Circuits.
Journal of Artificial Intelligence in Education, 2(3):83-99, 1991.

[CA92-1]
Alessandro Micarelli, Fabio Mungo, Francesco S. Nucci, and Luigia Aiello.
Reasoning with Worlds and Truth Maintenance in an Intelligent Tutoring System.
Expert Systems with Applications - An International Journal, 4(1):147-155, 1992.

[CA92-2]
Alessandro Micarelli, Fabio Mungo, Francesco S. Nucci, and Luigia Aiello.
An Intelligent Tutor for Electrical Engineering.
Journal of Information Science and Technology, 1(2):124-134, 1992.

[CA93-1]
Luigia Carlucci Aiello, Marta Cialdea, and Daniele Nardi.
Reasoning about Student Knowledge and Reasoning.
Journal of Artificial Intelligence and Education, 4(4):397-413, 1993.

[CA95-3]
Gianni Amati, Luigia Carlucci Aiello, and Fiora Pirri.
Defaults as restrictions on classical Hilbert-style proofs.
Journal of Logic Language and Information, 3:303-326, 1995.

[CA96-3]
Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay, and Fiora Pirri.
A structural property on modal frames characterizing Default Logic.
Journal of the IGPL, 4(1):1-25, 1996.
Appeared also as ESPRIT Basic Research Action MEDLAR-II deliverable, 1996.

[CA96-4]
Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay, and Fiora Pirri.
A Proof Theoretical approach to Default Reasoning I: Tableaux for Default Logic.
Journal of Logic and Computation, 6(2):205-231, 1996.

[CA96-7]
Gianni Amati, Luigia Carlucci Aiello, and Fiora Pirri.
Default Logic as a formalisms for understanding Commonsense Reasoning.
Mathware & Soft Computing, 3:33-46, 1996.

[CA97-2]
Gianni Amati, Luigia Carlucci Aiello, and Fiora Pirri.
Definability and Commonsense Reasoning.
Artificial Intelligence Journal, 93:169 - 199, 1997.

[CA97-3]
Amati Gianni, Carlucci Aiello Luigia, and Pirri Fiora.
Intuitionistic Autoepistemic Logic.
Studia Logica, 59(1):103 - 120, 1997.

Journals
(In Italian)

[CA68-2]
Alfonso Caracciolo di Forino, Luigia Carlucci, Gualtiero Leoni, Rina Rebaudo, Giovanni Aguzzi, and Renzo Pinzani.
Sulla definizione formale dei linguaggi programmativi.
Calcolo, 5(1):269-303, 1968.

[CA80-8]
Luigia Aiello and Gianfranco Prini.
Automazione degli uffici: una panoramica.
Rivista di Informatica, 10(4):387-424, 1980.
Appeared also as [CA80-6].

[CA83-3]
Luigia Aiello and Stefano Pavan.
Un sistema per la produzione di documenti basato sul TEX.
Rivista di Informatica, 13(3):261-270, 1983.

[CA84-4]
Luigia Aiello, Ennio Figini, Daniele Nardi, and Maurizio Panti.
Sistemi di descrizione strutturale per uffici.
Sistemi e Automazione, 246:253 - 257, 1984.

[CA86-1]
Luigia Carlucci Aiello and Francesco Zambon.
Intelligenza Artificiale: le vie della mente.
dati&fatti: tecnologie dell'informazione, 1(4):11-14, 1986.

[CA87-9]
Luigia Carlucci Aiello.
Le tre strade verso la conoscenza dell'esperto.
ZEROUNO, 64:38-40, 1987.

[CA89-4]
Luigia Carlucci Aiello.
Intelligenza Artificiale ed Educazione.
Golem, 1(10):1-2, 1989.

[CA89-6]
Luigia Carlucci Aiello, Maurizio Lenzerini, and Daniele Nardi.
La rappresentazione della conoscenza in Intelligenza Artificiale.
Rivista di Informatica, 19(2):93-110, 1989.
Appeared also as Technical Report DIS Università di Roma La Sapienza, 2.88, Roma, 1988.

[CA89-7]
Massimo Carosio, Alessandro Micarelli, and Luigia Aiello.
Un sistema tutoriale intelligente per lo studio delle funzioni matematiche.
Golem, 1(3):2-8, 1989.
Appeared also as Technical Report CATTID Università di Roma La Sapienza, TR88004, 1988.

[CA91-13]
Luigia Carlucci Aiello.
Intelligenza Artificiale e formazione.
Golem, 3(1/2), 1991.

[CA98-1]
Luigia Carlucci Aiello.
Impostori veri o miracoli annunciati?
Lettera Pristem, 29:20-22, September 1998.

Journals
(In Russian)

[CA90-7]
Luigia Aiello, Daniele Nardi, and Marco Schaerf.
Rassuzhdenija o znanijach i rassuzhdenijach v metaurovnevoj architekture.
Programmnye Produkty i Sistemy, 1:25-30, 1990.

[CA90-8]
Luigia Aiello, Daniele Nardi, and Marco Schaerf.
Rassuzhdenija o znanijach i rassuzhdenijach v metaurovnevoj architekture.
Programmnye Produkty i Sistemy, 2:19-29, 1990.

Conference Proceedings and Chapters in Collections
(In English)

[CA73-1]
Luigia Aiello Carlucci and Ugo Montanari.
Towards a formal definition of the control in structured programs.
In Proceedings of the Conference on Mathematical Foundations of Computer Science 1973, pages 169-174, 1973.
Appeared also as Technical Report IEI-CNR, B73-9, Pisa, 1973.

[CA73-2]
Mario Aiello and Luigia Aiello Carlucci.
Planner Languages: Languages for writing problem solving programs.
In Antonio Albano, Luigia Aiello, Mario Aiello, and Carlo Montangero, editors, Semantic concepts in problem solving, planner languages and question answering, pages 64-101. Editrice Tecnico Scientifica, 1973.

[CA74-1]
Luigia Aiello and Mario Aiello.
Proving program correctness in LCF.
In Programming Symposium, volume 19 of Lecture Notes in Computer Science, pages 59-71. Springer Verlag, 1974.
Appeared also as Technical Report IEI-CNR, B-74-22, Pisa, 1974.

[CA75-1]
Luigia Aiello and Mario Aiello.
Programming language semantics in a typed LAMBDA-Calculus.
In Corrado Boehm, editor, LAMBDA-Calculus and Computer Science Theory, volume 37 of Lecture Notes in Computer Science, pages 240-251. Springer Verlag, 1975.

[CA76-1]
Luigia Aiello, Mario Aiello, Giuseppe Attardi, and Gianfranco Prini.
Informal Proofs Formally Checked by Machine.
In Annales Scientifiques de l'Université de Clermont, volume 13 of Ser. in Math., pages 31-54, 1976.

[CA76-3]
Luigia Aiello, Mario Aiello, Giuseppe Attardi, Paola Cavallari, and Gianfranco Prini.
Formal Definition of Semantics of Generalized Control Regimes.
volume 45 of Lecture Notes in Computer Science, pages 173-179. Springer Verlag, 1976.

[CA76-6]
Luigia Aiello, Mario Aiello, Giuseppe Attardi, and Gianfranco Prini.
Recursive Data Types in LISP: a Case study in Type Driven Programming.
In B. Robinet, editor, Programmation, pages 232-248. Dunod Informatique, 1976.

[CA78-1]
Luigia Aiello, Giuseppe Attardi, and Gianfranco Prini.
Towards a more declarative programming style.
In E. J. Neuhold, editor, Formal Description of Programming Concepts, pages 121-137. North Holland, 1978.

[CA80-1]
Luigia Aiello and Gianfranco Prini.
Design of a personal computing system.
In Proceedings of CIPS Session '80, pages 335-339, 1980.

[CA80-3]
Luigia Aiello.
Evaluating functions defined in First Order Logic.
In Proceedings of the Workshop on Logic Programming, pages 92-105, 1980.
Appeared also as Technical Report IEI-CNR, B80-15, Pisa, 1980.

[CA80-4]
Luigia Aiello and Richard W. Weyhrauch.
Using Meta-theoretic Reasoning to do Algebra.
volume 87 of Lecture Notes in Computer Science, pages 1-13. Springer Verlag, 1980.

[CA80-5]
Luigia Aiello.
Automatic generation of semantic attachments in FOL.
In Proceedings of the 1-st Annual National Conference on Artificial Intelligence, pages 90-92, 1980.

[CA82-1]
Luigia Aiello and Stefano Pavan.
Towards a friendly workstation for TEX.
In Proceedings of IKD82, 1982.

[CA83-2]
Luigia Aiello and Daniele Nardi.
Intelligent man-machine interfaces.
In Mario Bolognani, Domenico Ferrari, and Joseph Goguen, editors, Theory and Practice of Software Technology, pages 1-20. North Holland, 1983.

[CA84-1]
Luigia Aiello and Daniele Nardi.
Artificial Intelligence and Office Automation.
In I. Plander, editor, Proceedings of the III International Conference on Artificial Intelligence and Information-Control Systems of Robots, pages 1 - 8. North Holland, 1984.

[CA84-2]
Luigia Aiello, Daniele Nardi, and Maurizio Panti.
Modeling the office structure: A first step towards the Office Expert System.
In Clarence A. Ellis, editor, Proceedings of the II ACM-SAIGOA Conference on Office Information Systems, pages 25 - 32. ACM Press, 1984.

[CA84-3]
Luigia Aiello and Giorgio Levi.
The uses of Metaknowledge in AI Systems.
In Tim O'Shea, editor, ECAI 84: Advances in Artificial Intelligence, pages 705-720. North-Holland, 1984.
Appeared also as [CA88-1].

[CA86-4]
Luigia Carlucci Aiello.
Reasoning Techniques (Abstract).
In H. J. Kugler, editor, Information Processing 86, page 549, 1986.

[CA87-4]
Carlo Cecchi, Dario Sartini, and Luigia Aiello.
Evaluating logic programs via set valued functions.
In Proceedings of the IV International Conference on Logic Programming, pages 428-455. MIT Press, 1987.

[CA87-5]
Luigia Aiello and Oliviero Stock.
Why the present generation of knowledge representation tools will fail (Abstract).
In Proceedings of the 2nd International Conference on Human-Computer Interaction, 1987.

[CA87-6]
Luigia Aiello and Franco Bramucci.
An intelligent consultation system for medical diagnosis.
In Proceedings of MIE87 (Medical Informatics Europe), pages 992-996, 1987.

[CA88-1]
Luigia Carlucci Aiello and Giorgio Levi.
The uses of Metaknowledge in AI systems.
In Patty Maes and Daniele Nardi, editors, Metalevel Architectures and Reflection, pages 243-254. North-Holland, 1988.
Appeared also as [CA84-3].

[CA88-3]
Luigia Carlucci Aiello, Daniele Nardi, and Marco Schaerf.
Yet Another Solution to the Three Wisemen Puzzle.
In Zbigniew W. Ras and Lorenza Saitta, editors, Methodologies for Intelligent Systems 3: ISMIS-88, pages 398-407. Elsevier Science Publishing, 1988.

[CA88-4]
Luigia Carlucci Aiello, Daniele Nardi, and Marco Schaerf.
Reasoning about Knowledge and Ignorance.
In Proceedings of the International Conference on Fifth Generation Computer Systems 1988: FGCS-88, pages 618-627. ICOT Press, 1988.

[CA88-6]
Luigia Aiello, Massimo Carosio, and Alessandro Micarelli.
An Intelligent Tutoring System for the study of mathematical functions.
In Proceedings of the International Conference on Intelligent Tutoring Systems, ITS-88, pages 170-175, 1988.
Appeared also as Technical Report CATTID Università di Roma La Sapienza, TR88003, 1988.

[CA88-7]
Luigia Aiello, Massimo Carosio, and Alessandro Micarelli.
The design of an Intelligent Tutoring System in Mathematics: The SEDAF project.
In Proceedings of the International Workshop on Expert Systems and their Applications, volume 2, pages 271-296, 1988.
Appeared also as Technical Report CATTID Università di Roma La Sapienza, TR88001, 1988.

[CA89-1]
Luigia Aiello and Alessandro Micarelli.
Knowledge Engineering Environments and Intelligent Tutors.
In Computer and Information Sciences-3, pages 83-91. Nova Science Publishers, 1989.
Appeared also in Proceedings of the Conference Mipro, May 1988.

[CA89-2]
Luigia Aiello and Carlo Cecchi.
Adding a Closure Operator to the extended Relational Algebra: A further step towards the integration of Data Base techniques and Logic Programming.
In Foundations of Knowledge Base Management, pages 179-201. Springer Verlag, 1989.
Appeared also as Technical Report DIS Università di Roma La Sapienza, 08.86, Roma, 1986.

[CA89-5]
Luigia Aiello, Marta Cialdea, and Alessandro Micarelli.
Metalevel Knowledge in Intelligent Educational Systems.
In Atti del Primo Congresso della Associazione Italiana per l'Intelligenza Artificiale AI*IA-89, pages 193-197, 1989.

[CA90-3]
Luigia Carlucci Aiello, Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, and Marco Schaerf.
A Survey on Non-Monotonic Reasoning.
In Zbigniew W. Ras and Maria Zemankova, editors, Intelligent Systems: State of the Art and Future Directions, series in Artificial Intelligence, pages 120-151. Ellis-Horwood, 1990.

[CA90-4]
Luigia Carlucci Aiello, Francesco M. Donini, Fiora Pirri, and Marco Schaerf.
Can we Believe our Beliefs? (Towards a Unified Theory of Knowledge and Belief).
In Zbigniew W. Ras, Maria Zemankova, and M. L. Emrich, editors, Methodologies for Intelligent Systems 5: ISMIS-90, pages 368-375. Elsevier Science Publishing, 1990.

[CA90-5]
Luigia Carlucci Aiello.
Meta-Reasoning.
In Pavel Bradzil, editor, Machine Learning, Meta-reasoning and Logic. Klewer Academic, 1990.

[CA90-9]
Alessandro Micarelli, Fabio Mungo, Francesco S. Nucci, and Luigia Aiello.
Reasoning with Contexts and Truth Maintenance in an Expert System in Education.
In G. Gouarderes, J. Liebowitz, and M. White, editors, EXPERSYS: Expert Systems Applications, Technology Transfer Series, pages 379-384. IITT-International Publishers, 1990.

[CA90-10]
Alessandro Micarelli, Fabio Mungo, Francesco S. Nucci, and Luigia Aiello.
Diagnostic Modeling vs Cooperative Interaction in Intelligent Tutoring Systems.
In Proceedings of the Second European Congress on Multimedia, Artificial Intelligence, and Training, pages 1 - 10, 1990.

[CA90-11]
Alessandro Micarelli, Fabio Mungo, Francesco S. Nucci, and Luigia Aiello.
An Expert System for Electrical Engineering Education.
In Proceedings of the Fifth International Symposium on Computer and Information Sciences ISCIS V, pages 933-942, 1990.

[CA90-12]
Luigia Aiello, Carlo Cecchi, and Dario Sartini.
Representation and use of Metaknowledge.
In Peter G. Raedt, editor, Expert Systems: A Software Methodology for Modern Application, pages 205-222. IEEE Computer Society Press, 1990.
Appeared also as [CA86-3].

[CA90-15]
Alessandro Micarelli, Fabio Mungo, Francesco S. Nucci, and Luigia Aiello.
An Intelligent Tutor for Electrical Engineering.
In E. Balagurusamy and B. Sushila, editors, Computer Systems and Applications, pages 470-479. Tata McGraw-Hill Publishing Company Limited, 1990.

[CA90-16]
Luigia Aiello, Marta Cialdea, Christopher Humphris, Alessandro Micarelli, and James C. Spohrer.
Helping Students Refine Their Working Hypotheses: A First Pass in the Domain of Language Tutoring.
In Proceedings of the IFIP International Conference on Advanced Research on Computers in Education ARCE-90, pages 201-209, 1990.

[CA90-17]
Marta Cialdea, Alessandro Micarelli, Daniele Nardi, James C. Spohrer, and Luigia Aiello.
A Rational Reconstruction of the Diagnostic Process in Intelligent Tutoring Systems.
In Proceedings of Pacific RIM International Conference on Artificial Intelligence PRICAI-90, pages 889 - 894, 1990.
Appeared also as [CA90-14], and also as [CA91-2].

[CA91-1]
Luigia Aiello, Marta Cialdea, C. Humphris, Alessandro Micarelli, and James Spohrer.
Helping Students Refining Their Working Hypotheses: A First Pass in the Domain of Language Tutoring,.
In Advanced Research on Computers in Education, pages 227-235. Elsevier Science Publishers, 1991.

[CA91-2]
Marta Cialdea, Alessandro Micarelli, Daniele Nardi, James C. Spohrer, and Luigia Aiello.
A Rational Reconstruction of the Diagnostic Process in Intelligent Tutoring Systems.
In H. Tanaka, editor, Artificial Intelligence in the Pacific RIM. IOS Press and Ohmsha Ltd., 1991.
Appeared also as [CA90-17].

[CA91-3]
Luigia Carlucci Aiello, Daniele Nardi, and Marco Schaerf.
Reasoning about Knowledge: the Meta-Level Approach.
In Proceedings of the Scandinavian Conference on AI: SCAI-91, pages 4-18. IOS Press, 1991.

[CA91-4]
Luigia Carlucci Aiello, Marta Cialdea, and Daniele Nardi.
Reasoning about Student Knowledge and Reasoning.
In Proceedings of the 12th International Joint Conference on Artificial Intelligence IJCAI-91, volume 2, pages 1087-1093. Morgan Kaufmann, 1991.

[CA91-6]
Luigia Carlucci Aiello, Marta Cialdea, and Daniele Nardi.
A meta level abstract description of diagnosis in Intelligent Tutoring Systems.
In Proceedings of the Sixth International PEG Conference, PEG-91, pages 437-442, 1991.

[CA91-7]
Alessandro Micarelli, Fabio Mungo, Francesco S. Nucci, and Luigia Aiello.
An Intelligent Tutoring System for the Analysis of Electrical Circuits.
In Proceedings of the Sixth International PEG Conference PEG-91, pages 343-352, 1991.

[CA91-9]
Luigia Carlucci Aiello and Daniele Nardi.
Research trends in Knowledge Representation.
In Peter Flach and Robert A. Meersman, editors, Future Directions in Artificial Intelligence, pages 84-92. North Holland, 1991.

[CA91-10]
Luigia Carlucci Aiello, Gianni Amati, and Fiora Pirri.
Intuitionistic Modal Calculus for Autoepistemic Logic.
In Michel De Glas and Dov Gabbay, editors, Proceedings of the 1st World Conference on the Fundamentals of Artificial Intelligence, pages 3-16. Angkor, 1991.

[CA92-3]
Alessandro Micarelli, Maurizio Trionfetti, and Luigia Aiello.
An Expert System for the Analysis of Electrical Nets.
In Proceedings of the Second International Conference on Computer Applications in Industry, pages 270-273, 1992.

[CA93-2]
Luigia Carlucci Aiello and Alessandro Micarelli.
Computer Assisted Language Learning: A Grammar Detector and Corrector.
In Proceedings of the Seventh International PEG Conference: PEG-93, pages 19-28, 1993.

[CA93-3]
Luigia Carlucci Aiello and Alessandro Micarelli.
A System for Foreign Language Learning based on Conversation Rebuilding.
In Proceedings of the World Conference on Artificial Intelligence in Education AI-ED-93, pages 314-321, 1993.

[CA93-4]
Luigia Carlucci Aiello, Attilio Colagrossi, Alessandro Micarelli, and Alfonso Miola.
Building the expert module for ITS in Mathematics: A general reasoning apparatus.
In H.S. Nwana, editor, Mathematical Intelligent Learning Environments, pages 35-51. Intellect Books, 1993.

[CA93-6]
Luigia Carlucci Aiello, Marta Cialdea, and Daniele Nardi.
The notion of Intelligent Agent and the design of Intelligent Tutoring Systems.
In Proceedings of the Workshop on Abstract Intelligent Agents, 1993.

[CA95-2]
Luigia Carlucci Aiello, Marta Cialdea, Daniele Nardi, and Marco Schaerf.
Modal and Meta Languages: Consistency and Expressiveness.
In Krzysztof Apt and Franco Turini, editors, Meta-logics and Logic Programming, pages 243-265. MIT Press, 1995.

[CA95-4]
Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay, and Fiora Pirri.
Provability logic for default reasoning.
In Logic Colloquium, 1995.
Appeared also as Technical Report DIS Università di Roma La Sapienza, 24.94, Roma, 1994.

[CA96-1]
Luigia Carlucci Aiello.
Commonsense Reasoning.
In Wolfgang Wahlster, editor, Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), pages 708-709. John Wiley & Sons, 1996.

[CA96-5]
Gianni Amati, Luigia Carlucci Aiello, and Fiora Pirri.
Definability and Commonsense Reasoning (Abstract).
In Third Symposium on Logical Formalization of Commonsense Reasoning, 1996.

[CA96-6]
Gianni Amati, Luigia Carlucci Aiello, and Fiora Pirri.
Logics for Nonmonotonic Reasoning.
In Proceedings of the Workshop on Partial Knowledge and Uncertainty in Complex Systems, pages 9-12. Edizioni Kappa, 1996.

[CA96-8]
Gianni Amati, Luigia Carlucci Aiello, and Fiora Pirri.
Modal non monotonic reasoning via boxed fixed points.
In 6th International Workshop on nonmonotonic reasoning, 1996.

[CA96-9]
Bruno Errico and Luigia Carlucci Aiello.
Agents in the Situation Calculus: an Application to User Modelling.
In Dov M. Gabbay and Hans J. Ohlbach, editors, Practical Reasoning, volume 1085 of Lecture Notes in Computer Science (subseries LNAI), pages 126-140. Springer-Verlag, 1996.

[CA99-1]
Gianni Amati, Luigia Carlucci Aiello, and Fiora Pirri.
Default Logic and Purity of Reasoning.
In Hector Levesques and Fiora Pirri, editors, Logical foundations of cognitive agents, pages 11-28. Springer Verlag, 1999.

[CA00-1]
Luigia Carlucci Aiello and Fabio Massacci.
An Executable specification Language for Planning Attacks to Security Protocols.
In Proc. of IEEE Comp. Sec. Found. Workshop. IEEE Press, 2000.
To appear.

Conference Proceedings and Chapters in Collections
(In Italian)

[CA73-3]
Luigia Aiello Carlucci, Alberto Martelli, Ugo Montanari, and Gianfranco Prini.
Alcune ricerche di Informatica Teorica.
In Atti del Convegno UMI su Rapporti tra Ricerca Matematica Pura e Ricerca Matematica Applicata, pages 149-154, 1973.

[CA75-2]
Luigia Aiello, Mario Aiello, and Gianfranco Prini.
Un sistema interattivo per la dimostrazione di proprietà di programmi e schemi.
In Atti della XXII Rassegna Internazionale Elettronica Nucleare ed Aereospaziale, pages 173-179, 1975.

[CA75-3]
Luigia Aiello, Mario Aiello, Giuseppe Attardi, Paola Cavallari, and Gianfranco Prini.
Dimostrazioni interattive di proprietà di regimi di controllo generalizzati: Progetto e implementazione, assistiti da calcolatore, di linguaggi di programmazione.
In Atti del Congresso Annuale AICA 1975, pages 125-130, 1975.

[CA77-3]
Luigia Aiello and Gianfranco Prini.
Il trattamento delle variabili nei sistemi di programmazione.
In Atti del Congresso Annuale AICA 1977, volume 3, pages 75-91, 1977.

[CA80-6]
Luigia Aiello and Gianfranco Prini.
Automazione degli uffici: una panoramica.
In Atti del Congresso Annuale AICA 1980, pages 1136 - 1153, 1980.
Appeared also as Technical Report IEI-CNR, L80-07, Pisa, 1980, and also as [CA80-8].

[CA80-7]
Luigia Aiello, Giorgio Casadei, Gianfranco Prini, and Antonio Teolis.
Calcolatori personali nell'ufficio del futuro.
In Atti del Congresso Annuale AICA 1980, pages 1788 - 1795, 1980.

[CA82-2]
Luigia Aiello, Daniele Nardi, and Maurizio Panti.
Descrizione strutturale di uffici.
In Atti delle Giornate Residenziali su Modelli d'Ufficio, 1982.
Appeared also as [CA86-6].

[CA82-4]
Luigia Aiello and Maurizio Panti.
Proposta di un modello d'ufficio.
In Atti del Congresso Annuale AICA 1982, pages 361 - 368, 1982.

[CA83-1]
Luigia Aiello and Daniele Nardi.
Composizione elettronica di documenti.
In Atti del Convegno AICA su elaborazione di testi e documenti, 1983.
Appeared also as [CA85-2].

[CA83-4]
Luigia Aiello, Giorgio Casadei, Daniele Nardi, Maurizio Panti, and Antonio Teolis.
Automazione della preparazione, della stampa e della distribuzione dei documenti (La produzione dei documenti nell'Ufficio Università).
In Atti del Convegno CILEA sull'Università e l'evoluzione delle Tecnologie Informatiche, pages 11.1 - 11.5, 1983.

[CA83-5]
Luigia Aiello, Daniele Nardi, and Maurizio Panti.
Considerazioni su modelli strutturali d'ufficio.
In Atti della LXXXIV riunione annuale dell'AEI, pages 1 - 5, 1983.

[CA83-6]
Luigia Aiello and Daniele Nardi.
Intelligenza Artificiale e Automazione Uffici.
In Atti della Giornata AICA su Basi di Dati Distribuite e Automazione dell'Ufficio, pages 117 - 135, 1983.
[CA85-1]
Luigia Carlucci Aiello.
Stato dell'arte dell'Intelligenza Artificiale: impegno italiano e CEE.
In Atti del SOFTEL-EXPO: Conferenza Informatica e Telematica realtà e prospettive, pages 131-134, 1985.

[CA85-2]
Luigia Aiello and Daniele Nardi.
Composizione elettronica di documenti.
In Giulio Occhini and Dario Lucarella, editors, Text Processing, pages 33 - 47. Masson Italia, 1985.
Appeared also as [CA83-1].

[CA86-6]
Luigia Aiello, Daniele Nardi, and Maurizio Panti.
Descrizione strutturale di uffici.
In Gianni Degli Antoni and Giulio Occhini, editors, Office Automation: metodi e tecnologie, pages 7 - 14. Masson Italia, 1986.
Appeared also as [CA82-2].

[CA87-1]
Luigia Aiello, Carlo Cecchi, Stefano Montesi, Nardi Daniele, and Dario Sartini.
Ambienti per la programmazione logica: alcune questioni teoriche ed esperimenti di implementazione.
In Atti del II Convegno Nazionale sulla Porgrammazione Logica GUL-87, pages 227-242, 1987.

[CA87-2]
Luigia Aiello, Aldo Bozza, Franco Bramucci, C. Franconi, A. Magrini, and E. M. Staderinini.
Prototipo di sistema esperto medico in ambiente di sviluppo KEE: il sistema SEME del progetto LIVES.
In Proceedings of the Congress CIL87, pages 308-331, 1987.
Appeared also as Technical Report DIS Università di Roma La Sapienza, 16.86, Roma, 1986.

[CA87-3]
Luigia Aiello.
Sistemi esperti: problemi e prospettive.
In Proceedings of the Congress CIL87, pages 263-281, 1987.

[CA87-7]
Luigia Aiello, Marco D'Ascanio, Daniele Nardi, and Dario Sartini.
Linguaggi di programmazione.
In Oliviero Stock, editor, Atti del Convegno Interazione uomo-macchina intelligente, Roma, 1984, pages 51-67. Il Pensiero Scientifico Editore, 1987.

[CA87-10]
Luigia Carlucci Aiello.
Ancora una sfida.
In Jader Jacobelli, editor, Aspettando Robot: il futuro prossimo dell'Intelligenza Artificiale, Saggi Tascabili, pages 42-46. Laterza, 1987.

[CA88-8]
Luigia Carlucci Aiello.
Intelligenza Artificiale.
In Manuale d'Informatica, pages 1087-1114. Calderini, 1988.
Second edition.

[CA89-3]
Luigia Carlucci Aiello.
Applicazioni innnovative dell'Intelligenza Artificiale e dei Sistemi Esperti.
In Atti della giornata di lavoro su Sistemi Esperti ed Intelligenza Artificiale nei trasporti su rotaia, 1989.

[CA91-12]
Marta Cialdea, Alessandro Micarelli, Fabio Mungo, Francesco S. Nucci, and Luigia Aiello.
Applicazioni di Intelligenza Artificiale nella Formazione: alcune esperienze.
In Atti di DIDAMATICA'91 Informatica per la Didattica, pages 11-21, 1991.

[CA92-4]
Alessandro Micarelli, Luigia Carlucci Aiello, Fabrizio Cianfanelli, and Alessandro De Sanctis.
Un sistema didattico per la lingua inglese basato sulla tecnica di ricostruzione della conversazione.
In Atti di DIDAMATICA '92: Informatica per la Didattica, pages 179-189, 1992.

[CA00-2]
Luigia Carlucci Aiello.
Intelligenza Artificiale.
In Manuale d'Informatica. Calderini, 2000.
Fourth Edition, To appear.

Miscellanea and Technical Reports
(In English)

[CA71-2]
Luigia Carlucci.
Texture languages.
Technical Report B-71-4, IEI-CNR, 1971.

[CA74-2]
Luigia Aiello, Mario Aiello, and Richard W. Weyhrauch.
The semantics of PASCAL in LCF.
Technical Report AI Memo AIM - 221, Stanford University, 1974.

[CA74-3]
Luigia Aiello and Richard W. Weyhrauch.
LCFsmall: An implementation of LCF.
Technical Report AI Memo AIM - 241, Stanford University, 1974.

[CA74-4]
Luigia Aiello, Mario Aiello, and Richard W. Weyhrauch.
Another Axiomatization of PASCAL or why axiomatize programming languages.
Technical Report B-74-42, IEI-CNR, 1974.

[CA75-4]
Luigia Aiello, Mario Aiello, and Richard W. Weyhrauch.
Properties of programming languages used in the LCF verification of programs.
Technical Report S-75-3, ISI-Università di Pisa, 1975.

[CA75-5]
Luigia Aiello, Mario Aiello, and Richard W. Weyhrauch.
Program correctness checked by machine: The reliability of a reservation system.
Technical Report B75-25, IEI-CNR, 1975.

[CA76-4]
Luigia Aiello, Mario Aiello, Giuseppe Attardi, and Gianfranco Prini.
Adding Classes to LISP.
Technical Report B-76-13, IEI-CNR, 1976.

[CA76-5]
Luigia Aiello, Donatella Buggiani, and Gianfranco Prini.
On the Implementation of Call-by-Need.
Technical Report NS-76-14, ISI-Università di Pisa, 1976.

[CA79-1]
Luigia Aiello and Gianfranco Prini.
Artificial Intelligence and Personal Computing.
Technical Report S-79-13, ISI-Università di Pisa, 1979.

[CA86-5]
Carlo Cecchi, Dario Sartini, and Luigia Aiello.
Implementing set-valued functions for the evaluation of logic programs.
Technical Report 10.86, DIS Università di Roma La Sapienza, 1986.

[CA88-5]
Luigia Carlucci Aiello, Daniele Nardi, and Marco Schaerf.
Reasoning about Knowledge and Reasoning in a Meta-Level Architecture.
Technical Report DIS 30.88, Dip. di Informatica e Sistemistica, Università di Roma "La Sapienza", 1988.
Preliminary version of [CA91-5].

[CA90-13]
Luigia Carlucci Aiello, Alessandro De Lucia, Daniele Nardi, and Marco Schaerf.
Meta for Knowledge Representation: a comparison with modal approaches.
ESPRIT Basic Research Action 3012 - COMPULOG - Deliverable 3.2.a, 1990.

[CA90-14]
Marta Cialdea, Alessandro Micarelli, Daniele Nardi, Jeames Spohrer, and Luigia Aiello.
Meta-level Reasoning for Diagnosis in Intelligent Tutoring Systems.
Technical Report 12.90, DIS Università di Roma La Sapienza, 1990.
Extended version of [CA90-17].

[CA91-14]
Luigia Carlucci Aiello, Daniele Nardi, and Marco Schaerf.
Towards a general theory of Knowledge and Belief.
ESPRIT Basic Research Action 3012 - COMPULOG - Deliverable 3.2.b, 1990.

[CA93-5]
Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay, and Fiora Pirri.
A proof theoretical approach to default reasoning.
Technical Report 5T06793, Fondazione Ugo Bordoni, 1993.

[CA94-1]
Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay, and Fiora Pirri.
Provability in nonmonotonic modal logic by Balloons and Christmas Trees.
ESPRIT Basic Research Action MEDLAR II deliverable, 1994.

Miscellanea and Technical Reports
(In Italian)

[CA68-1]
Luigia Carlucci.
Sulla interpretazione algoritmica di un metodo di definizione formale per linguaggi programmativi.
Master's thesis, Università di Pisa, 1968.
Appeared also as Technical Report IEI-CNR, B-68-14, Pisa, 1968.

[CA82-3]
Luigia Aiello and Daniele Nardi.
Introduzione ai linguaggi funzionali.
Technical Report Nota Scientifico-Didattica, Istituto di Informatica - Università di Ancona, 1982.

[CA84-5]
Luigia Carlucci Aiello.
La situazione della ricerca in italia.
Atti del Convegno Linceo ``Nuove frontiere dell'informatica: i Sistemi Esperti'', 1984.

[CA87-8]
Luigia Carlucci Aiello.
Formalismi per la rappresentazione della conoscenza in Intelligenza Artificiale.
Technical Report 4B0687, Fondazione Ugo Bordoni, 1987.

[CA97-1]
Luigia Carlucci Aiello and Fiora Pirri.
Dispense del corso di intelligenza artificiale.
Università di Roma ``La Sapienza'', Facoltà di Ingegneria, 1997.

Generated by Luigia Carlucci Aiello --- 29 April 2000