Recent Publications of Daniele Nardi
Reasoning about Knowledge
Modal and meta languages: Consistency and expressiveness L. Carlucci Aiello, M. Cialdea, D. Nardi and M. Schaerf. In Meta-logics and Logic Programming K. Apt and F.Turini (eds.), The MIT Press, 1995, pp. 243-265.
Ground Nonmonotonic Modal Logics for Knowledge Representation F. M. Donini, D. Nardi and R. Rosati In M. De Glas and Z. Pawlak, editors, Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence (WOCFAI-95), pages 133-144. Angkor, Paris, 1995.
A preference semantics for ground nonmonotonic modal logics D. Nardi and R. Rosati In Proceedings of the 7th Portuguese Conference on Artificial Intelligence (EPIA-95), number 990 in Lecture Notes In Artificial Intelligence, pages 225-236. Springer-Verlag, 1995.
Ground Nonmonotonic Modal Logics F. M. Donini, D. Nardi and R. Rosati Technical Report, DIS, Univ. Roma "La Sapienza", Journal of Logic and Computation, 7, 4, pp. 523-548, 1997.
A uniform tableau method for non-monotonic modal logics F. M. Donini, F. Massacci, D. Nardi and R. Rosati. Proc. of JELIA-96, LNAI, Springer, 1996.
Description Logics
Queries, Rules and Definitions as Epistemi Statements in Concept Languages F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, A. Schaerf. In Theoretical Foundations of Knowledge Representation and Reasoning, G. Lakemeyer, B. Nebel (eds.) Springer Verlag, LNAI 810, pp. 113-132.
From subsumption to instance checking F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf. Journal of Logic and Computation, 4, 4, 1994, pp. 423-452.
A Unified Framework for class based representation formalisms D. Calvanese, M. Lenzerini, D. Nardi. Proc. of Principles of Knowledge Representation and Reasoning, KR-94, Bonn, Germania, 23-27 Maggio 1994, Morgan Kaufmann, pp.109-120.
Proceedings of the International Workshop on Description Logics A. Borgida, M. Lenzerini, D. Nardi, P. Patel Schneider (eds.). Rapporto Tecnico 07.95 del Dipartimento di Informatica e Sistemistica, Universit`a di Roma ``La Sapienza", Roma, Maggio 1995.
Reasoning in Description Logics, F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf. In Principles of Artificial Intelligence G.~Brewka (ed.), Springer Verlag, 1995.
The complexity of concept languages F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt. Tech. Rep DFKI-RR-95-07, 1995. Also in Iformation and Computation, 134, 1, April 1997, pp. 1-58.
Non-first-order features in concept languages F. M. Donini, D. Nardi and R. Rosati. In Proceedings of the Fourth Conference of the Italian Association for Artificial Intelligence (AI*IA-95), number 992 in Lecture Notes In Artificial Intelligence, pages 91-102. Springer-Verlag, 1995.
Moving a robot: the KR&R apprach at work G. De Giacomo, L. Iocchi, D. Nardi, R. Rosati. Proc. of Principles of Knowledge Representation and Reasoning, KR-96, Boston, 1996, Morgan Kaufmann.
Knowledge Representation and Reasoning for the Web
Knowledge-based access to the network C. Barcaroli, L.Iocchi, M. Lenzerini, D. Nardi. WWW5 Workshop on AI based tools to help W3 users.
Knowledge-based access to the Web D. Calvanese, G. Degiacomo, L.Iocchi, M. Lenzerini, D. Nardi. In Convegno AI*IA Cibernetica e Machine Learning, Napoli, 1996.
Accesso alle Informazioni nel www. L.Iocchi, D. Nardi. Presentato alla Giornata Accesso alle informazioni di rete, Roma 1997.
Information access in the Web. L.Iocchi, D. Nardi. Proc. of Webnet 1997, Toronto, November 1997.
Turning the Web into a Database: the WAG approach. T. Catarci, S.K. Chang, M.Lenzerini, D. Nardi, G. Santucci. Proc. of HICSS 1997, January 1998.
Intelligent Tutoring
Automatic Generation of Explanations for Spreadsheet Applications D. Nardi, G. Serrecchia. Proc. of the IEEE Conf. on Artificial Intelligence for Applications, San Antonio, Texas, Marzo 1994, IEEE Press, pp. 268-274.
Automatic Generation of Tutors for Spreadshet Applications M. Lentini, D. Nardi, A. Simonetta. Proc. of the Int. Conf. on Artificial Intelligence and Education, Washington, 1995, AACE, pp. 59-66.