- ALESSANDRO ARTALE -
SELECTED PUBLICATIONS

Reasoning over Conceptual Models

• A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Reasoning over Extended ER Models. Proc. of the 26th International Conference on Conceptual Modeling (ER-07), Auckland, New Zealand, November 2007.
• A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Complexity of Reasoning over Entity Relationship Models (Extended Version). Proc. of the 20th Int. Workshop on Description Logics (DL-07), Bressanone, Italy, June 2007.

Temporal Description Logics

• Alessandro Artale and David Toman. Decidable Reasoning over Timestamped Conceptual Models. Proc. of the International Workshop on Description Logics, (DL'08), Dresden, Germany, May 2008.
• Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter and Michael Zakharyaschev. Temporalising Tractable Description Logics. Proc. of the 14th International Symposium on Temporal Representation and Reasoning (TIME-07), Alicante, June 2007.
• Alessandro Artale, Carsten Lutz, David Toman. A description logic of change. Proc. of the 20th Int. Joint Conference on Artificail Intelligence (IJCAI-07), Hyderabad, India, Jan 2007.
• Alessandro Artale and Carsten Lutz. A correspondence between temporal description logics. Journal of Applied of Non-Classical Logics, 2004.
• Alessandro Artale, Enrico Franconi, Frank Wolter and Michael Zakharyaschev. A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. Proc. of the 8th European Conference on Logics in Artificial Intelligence (JELIA-02), Cosenza, Italy, September 2002. Lecture Notes in AI, Springer-Verlag.: the preliminary version of this paper ranked as the 47th most cited paper published in 2001 in the CiteSeer database (as of June 2003).
• Alessandro Artale and Enrico Franconi (2001). A Survey of Temporal Extensions of Description Logics. Annals of Mathematics and Artificial Intelligence (AMAI), Kluwer Academic Press, 30(1-4):171--210, 2001.
• Alessandro Artale, Enrico Franconi, Frank Wolter, Milenko Mosurovic, and Michael Zakharyaschev. The DLR_US temporal description logic. In Workshop Notes of the Int. Workshop on Description Logics (DL-01). Stanford University, CA, August 2001.
• Alessandro Artale and Enrico Franconi (1999). Introducing Temporal Description Logics. Invited paper at the sixth International Workshop on Temporal Representation and Reasoning (TIME'99), IEEE Computer Society Press, 1999.
• Alessandro Artale and Enrico Franconi (1999). Representing a Robotic Domain using Temporal Description Logics. Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), special Issue on Temporal Logic in Engineering, Vol. 13, No. 2, April 1999.
• Alessandro Artale and Carsten Lutz. A correspondence between temporal description logics. In Workshop Notes of the Int. Workshop on Description Logics (DL-99), Linkoping, Sweden, July 1999.
• Alessandro Artale and Enrico Franconi (1998). A Temporal Description Logic for Reasoning about Actions and Plans. Journal of Artificial Intelligence Research (JAIR) Vol. 9, pages 463-506, December 1998.
• Alessandro Artale and Enrico Franconi (1994). A computational account for a description logic of time and action. 4th International Conference on Knowledge Representation and Reasoning (KR'94), Morgan Kaufmann, San Mateo CA, May 1994.
• A unified framework for representing time, actions and plans. In F.D. Anger, H.W. Guesgen, and J. van Benthem, editors, Workshop Notes of the IJCAI-93 Workshop on Temporal and Spatial Reasoning, pages 193-217, Chambery, France, August 1993.

• Alessandro Artale, Christine Parent, and Stefano Spaccapietra. Evolving objects in temporal information systems. Annals of Mathematics and Artificial Intelligence (AMAI), 50:5-38, 2007, Springer.
• Alessandro Artale. Reasoning on Temporal Class Diagrams: Undecidability Results. Annals of Mathematics and Artificial Intelligence (AMAI), 46:265-288, 2006. Springer.
• Alessandro Artale, Christine Parent, and Stefano Spaccapietra. Modeling the evolution of objects in temporal information systems . In 4th Int. Symposium on Foundations of Information and Knowledge Systems (FoIKS-06), LNCS 3861, pages 22--42. Springer-Verlag, 2006.
• A. Artale, C. Dixon, M. Fisher and Enrico Franconi. Temporal Representation and Reasoning. Journal of Logic and Computation (JLC), Oxford University Press, Vol. 14, 2004.
• Alessandro Artale. Reasoning on temporal conceptual schemas with dynamic constraints. In 11th International Symposium on Temporal Representation and Reasoning (TIME04). IEEE Computer Society, 2004. Also in Proc. of the 2004 International Workshop on Description Logics (DL'04).
• Alessandro Artale, Enrico Franconi and Federica Mandreoli. Description Logics for Modelling Dynamic Information. In Jan Chomicki, Ron van der Meyden and Gunter Saake, editors, Logics for Emerging Applications of Databases. Lecture Notes in Computer Science, Springer-Verlag. 2003.
• Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev (2001). Reasoning over Conceptual Schemas and Queries in Temporal Databases. Technical Report.
• Alessandro Artale and Enrico Franconi (1999). Temporal ER Modeling with Description Logics. International Conference on Conceptual Modeling (ER'99), Paris, France, November 1999, Springer-Verlag.
• Alessandro Artale and Enrico Franconi (1999). Reasoning with enhanced Temporal Entity-Relationship Models. International Workshop on Spatio-Temporal Data Models and Languages (STDML'99), Florence, Italy, August 1999, IEEE Computer Society Press. Also in 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 1999; and 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 1999.

Knowledge Representation

• Alessandro Artale, Diego Calvanese, Roman Kontchakov and Michael Zakharyaschev. DL-Lite in the Light of First-Order Logic. Proc. of the 22nd Conference on Artificail Intelligence (AAAI-07), Vancouver, British Columbia, July 2007.
• Alessandro Artale, Francesca Cesarini, and Giovanni Soda. Describing database objects in a concept language environment. IEEE Transaction on Knowledge and Data Engineering (TKDE), 8(2), April 1996.
• Alessandro Artale, Francesca Cesarini, and Giovanni Soda. Introducing taxonomic reasoning in LOGIDATA+. In P. Atzeni, editor, LOGIDATA+: Deductive Databases with Complex Objects, volume 701, pages 85-104. Lecture Notes in Computer Science, Springer-Verlag, 1993.
• Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori, Alessandro Artale, Francesca Cesarini, and Giovanni Soda. Taxonomic reasoning in {\sc logidata+}. In P. Atzeni, editor, LOGIDATA+: Deductive Databases with Complex Objects, volume 701, pages 79-84. Lecture Notes in Computer Science, Springer-Verlag, 1993.
• Alessandro Artale, Francesca Cesarini, and Giovanni Soda. Subsumption computation in an object-oriented data model. In H.Boley and M.M.Richter, editors, Proc. of the Workshop on Processing Declarative Knowledge (PDK91), volume 567, pages 124-140, Kaiserslautern, Germany, May 1991. Lecture Notes in AI, Springer-Verlag.
• Alessandro Artale, Francesca Cesarini, and Giovanni Soda. Introducing knowledge representation techniques in database models. In E. Ardizzone, S. Gaglio, and F. Sorbello, editors, Proc. of the 2nd Congress of the Italian Association for Artificial Intelligence, Palermo, Italy, October 1991. Lecture Notes in AI, Springer-Verlag, volume 345, pages 375-384.

Representation of Parts and Wholes

• Alessandro Artale, Nicola Guarino and Maria Keet (2008). Formalising temporal constraints on part-whole relations. Proc. of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), Sydney, Australia, 2008.
• Alessandro Artale and Maria Keet (2008). Essential and Mandatory Part-Whole Relations in Conceptual Data Models. Proc. of the International Workshop on Description Logics, (DL'08), Dresden, Germany, May 2008.
• Maria Keet and Alessandro Artale (2008). Representing and Reasoning over a Taxonomy of Part-Whole Relations. Applied Ontology, IOS Press, 2008, to appear.
• Alessandro Artale, Enrico Franconi and Nicola Guarino (1996). Open Problems for Part-Whole Relations. 1996 International Workshop on Description Logics (DL'96), Boston MA, November 1996.
• Alessandro Artale, Enrico Franconi, Nicola Guarino and Luca Pazzi (1996). Part-Whole Relations in Object-Centered Systems: An Overview. Data and Knowledge Engineering (DKE), North-Holland, Elsevier Publisher, 20(3), pages 347-383, 1996.

Natural Language

• Alessandro Artale, Anna Goy, Bernardo Magnini, Emanuele Pianta and Carlo Strapparava. Coping with WordNet Sense Proliferation. In Proc. of the 1st International Conference on Language Resources and Evaluation, pages 873--878, Granada, May 1998.
• Alessandro Artale, Bernardo Magnini, and Carlo Strapparava. Wordnet for italian and its use for lexical discrimination. In Proc. of the 5th Congress of the Italian Association for Artificial Intelligence, Roma, Italy, 1997. Lecture Notes in AI, Springer-Verlag, volume 1321, pages 346-356.

Editor of Collections

• A. Artale, C. Dixon, M. Fisher and E. Franconi. Special issue on Temporal Representation and Reasoning, Journal of Logic and Computation, Oxford University Press. 2004.
• A. Artale, M. Fisher. Proceedings of the 9th International Symposium on Temporal Representation and Reasoning TIME02, IEEE Computer Society Press. Manchester, July 4-6, 2002.
• A. Artale. Special issue on Management of Temporal Information, AI*IA notizie, Journal of the Italian Association for Artificial Intelligence. March 2001.

Last modified: Sat May 12 20:21:34 CEST 2007