- ENRICO FRANCONI -
PUBLICATIONS

• Roldano Cattoni and Enrico Franconi (1990). Walking through the semantics of frame-based description languages: A case study. In the Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems, Knoxville, TN, pp. 234-241. 1990.

• Enrico Franconi (1991). Extending Hybridity within the YAK Knowledge Representation System. In Proc. of the 2nd International Workshop on Terminological Logics, Schloss Dagstuhl, pp. 43-46, edited by B. Nebel, C. Peltason and K. von Luck. 1991.

• Enrico Franconi (1991). A short presentation of YAK, a hybrid knowledge representation system. In the Proc. of the Terminological Logic Users Workshop, pp. 174-177, edited by C. Peltason and K. von Luck and C. Kindermann, Department of Computer Science, Technische Universitaet Berlin. 1991.

• O. Stock and G. Carenini and F. Cecconi and E. Franconi and A. Lavelli and B. Magnini and F. Pianesi and M. Ponzi and V. Samek-Lodovici and C. Strapparava (1993). AlFresco: Enjoying the combination of Natural Language Processing and Hypermedia for Information Exploration. In Mark T. Maybury, editor, Intelligent Multimedia Interfaces, MIT Press, pp. 197-224, chapter 9. Extended and revised version of a previously published paper at IJCAI-91. 1993.

• Enrico Franconi (1993). A treatment of plurals and plural quantifications based on a theory of collections. Minds and Machines (3)4:453-474, Kluwer Academic Publishers, special issue on Knowledge Representation for Natural Language Processing. November 1993.

• Franz Baader and Enrico Franconi and Bernhard Hollunder and Bernhard Nebel and Hans-Jürgen Profitlich (1994). An empirical analysis of optimization techniques for terminological representation systems. Applied Intelligence (4)2, Kluwer Academic Publishers, special issue on Knowledge Base Management, edited by John Mylopoulos. Extended and revised version of a previously published paper at KR-92. April 1994.
  • Here you may find the Knowledge Bases for classification used in the paper.

• Enrico Franconi and Alessandra Giorgi and Fabio Pianesi (1994). A Mereological Characterization of Temporal and Aspectual Phenomena. In Carlos Martin-Vide, editor, Current Issues in Mathematical Linguistics, Elsevier, North-Holland Linguistic Series, pp. 269-278. Extended and revised version of a previously published paper at IJCAI-93. April 1994.

• Alessandro Artale and Enrico Franconi (1994). A computational account for a description logic of time and action . In J. Doyle, E. Sandewall, and P. Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR-94), Morgan Kaufmann, San Mateo, CA, May 1994.

• Alessandro Artale and Claudio Bettini and Enrico Franconi (1994). Homogeneous concepts in a temporal description logic. In the Working Notes of the 1994 Description Logic Workshop, Bonn, Germany. May 1994.

• Alessandro Artale and Enrico Franconi (1994). Persistent Properties in a Description Logic of Time and Action. In the Working Notes of the AI*IA Temporal Reasoning Workshop 1994, Parma, Italy. September 1994.

• Enrico Franconi and Vania Rabito (1994). A Relation-Based Description Logic. In the Working Notes of the 1994 Description Logic Workshop, Bonn, Germany. May 1994.

• Enrico Franconi (1994). Description Logics for Natural Language Processing. In the Working Notes of the 1994 AAAI Fall Symposium on ``Knowledge Representation for Natural Language Processing in Implemented Systems'', New Orleans. November 1994.

• Vania Rabito (1994). Studio di un linguaggio per la rappresentazione della conoscenza basato su relazioni. Master Thesis (in italian). Supervisor: Enrico Franconi. University of Milan, Italy. July 1994.

• Sergio Tessaris (1994). Studio di Algoritmi ed Implementazione di un Sistema per Logiche Descrittive. Master Thesis (in italian). Supervisor: Enrico Franconi. University of Udine, Italy. July 1994.

• Alessandro Artale and Enrico Franconi (1995). Hierarchical Plans in a Description Logic of Time and Action. In the Proceedings of the 1995 International Workshop on Description Logics, Rome, Italy; June 1995. Also in the Working Notes of the IJCAI-95 workshop "The Next Generation Of Plan Recognition Systems"; August 1995.

• Paolo Bresciani, Enrico Franconi and Sergio Tessaris (1995). Implementing and testing expressive Description Logics: a preliminary report. In the Proceedings of the 1995 International Workshop on Description Logics, Rome, Italy; June 1995. Also in the Proceedings of the International KRUSE Symposium, Santa Cruz; August 1995.

• Alessandro Artale, Enrico Franconi, Nicola Guarino and Luca Pazzi (1996). Part-Whole Relations in Object-Centered Systems: An Overview. Data and Knowledge Engineering (DKE) journal 20 (1996) 347-383; North-Holland, Elsevier.

• Enrico Franconi (1996). Logical Form and Knowledge Representation: towards a reconciliation. AAAI 1996 Fall Symposium on "Knowledge Representation Systems Based on Natural Language"; Boston MA, November 1996.

• Paolo Bresciani and Enrico Franconi (1996). Description Logics for Information Access. AI*IA 1996 Workshop on "Access, Extraction and Integration of Knowledge"; Napoli, September 1996.

• Alessandro Artale, Enrico Franconi and Nicola Guarino (1996). Open Problems for Part-Whole Relations. 1996 International Workshop on Description Logics, Boston MA; November 1996.

• Alessandro Artale and Enrico Franconi (1997). A Temporal Description Logic for Reasoning about Actions and Plans. Accepted for publication at JAIR, the Journal of Artificial Intelligence Research.

• Enrico Franconi (1997). Software Asset Classification and Retrieval with Description Logics: the Intelligent Reuse Assistant. Workshop on ``Rappresentazione della conoscenza e tecniche ad oggetti nell'ingegneria del software'', Bologna; April 1997.