Alessandro Artale Papers on DiSC'04 Reasoning on Temporal Conceptual Schemas with Dynamic Constraints Reasoning on Temporal Conceptual Schemas with Dynamic Constraints Publications Note: Links lead to the DBLP on the Web. Alessandro Artale Alessandro Artale: Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. Description Logics 2004 Alessandro Artale: Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. TIME 2004 : 79-86 Alessandro Artale, Enrico Franconi , Federica Mandreoli : Description Logics for Modeling Dynamic Information. Logics for Emerging Applications of Databases 2003 : 239-275 Alessandro Artale, Enrico Franconi , Frank Wolter , Michael Zakharyaschev : A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002 : 98-110 Alessandro Artale, Enrico Franconi , Milenko Mosurovic , Frank Wolter , Michael Zakharyaschev : The DLRUS Temporal Description Logic. Description Logics 2001 Alessandro Artale, Enrico Franconi , Milenko Mosurovic , Frank Wolter , Michael Zakharyaschev : Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001 : 201-214 Alessandro Artale, Enrico Franconi : A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30 (1-4): 171-210 (2000) Alessandro Artale, Enrico Franconi : Reasoning with Enhanced Temporal Entity-Relationship Models. DEXA Workshop 1999 : 482-486 Alessandro Artale, Carsten Lutz : A Correspondence between Temporal Description Logics. Description Logics 1999 Alessandro Artale, Enrico Franconi : Temporal ER Modeling with Description Logics. ER 1999 : 81-95 Alessandro Artale, Enrico Franconi : Reasoning with enhanced Temporal Entity-Relationship Models. KRDB 1999 : 1-5 Alessandro Artale, Enrico Franconi : Temporal E-R Modelling with description logics. SEBD 1999 : 357-369 Alessandro Artale, Enrico Franconi : Introducing Temporal Description Logics. TIME 1999 : 2-5 Alessandro Artale, Enrico Franconi : Representing a robotic domain using temporal description logics. AI EDAM 13 (2): 105-117 (1999) Alessandro Artale, Enrico Franconi : A Temporal Description Logic for Reasoning about Actions and Plans. J. Artif. Intell. Res. (JAIR) 9 : 463-506 (1998) Alessandro Artale, Bernardo Magnini , Carlo Strapparava : WordNet for Italian and Its Use for Lexical Deiscrimination. AI*IA 1997 : 346-356 Alessandro Artale, Enrico Franconi , Nicola Guarino : Open Problems with Part-Whole Relations. Description Logics 1996 : 70-73 Alessandro Artale, Enrico Franconi , Nicola Guarino , Luca Pazzi : Part-Whole Relations in Object-Centered Systems: An Overview. Data Knowl. Eng. 20 (3): 347-383 (1996) Alessandro Artale, Francesca Cesarini , Giovanni Soda : Describing Database Objects in a Concept Language Environment. IEEE Trans. Knowl. Data Eng. 8 (2): 345-351 (1996) Alessandro Artale, Enrico Franconi : A Computational Account for a Description Logic of Time and Action. KR 1994 : 3-14 Alessandro Artale, Francesca Cesarini , Elisabetta Grazzini , Giovanni Soda : Instance Recognition in an Object Database Model. SEBD 1993 : 167-181 Alessandro Artale, Jean Paul Ballerini , Filippo Cacace , Stefano Ceri , Francesca Cesarini , Anna Formica , Herman Lam , Sergio Greco , G. Marrella , Michele Missikoff , Luigi Palopoli , L. Pichetti , Domenico Saccà , Silvio Salza , Claudio Sartori , Giovanni Soda , Letizia Tanca , M. Toiati : Prototypes in the LOGIDATA+ Project. LOGIDATA+: Deductive Databases with Complex Objects 1993 : 252-273 Domenico Beneventano , Sonia Bergamaschi , Claudio Sartori , Alessandro Artale, Francesca Cesarini , Giovanni Soda : Taxonomic Reasoning in LOGIDATA+. LOGIDATA+: Deductive Databases with Complex Objects 1993 : 79-84 Alessandro Artale, Francesca Cesarini , Giovanni Soda : Introducing Taxonomic Reasoning in LOGIDATA+. LOGIDATA+: Deductive Databases with Complex Objects 1993 : 85-104 Alessandro Artale, Francesca Cesarini , Giovanni Soda : Introducing Knowledge Representation Techniques in Database Models. AI*IA 1991 : 375-384 Alessandro Artale, Francesca Cesarini , Giovanni Soda : Subsumption Computation on an Object-Oriented Data Model. PDK 1991 : 124-140 1 [ 5 ] 2 [ 4 ] 3 [ 4 ] 4 [ 5 ] 5 [ 5 ] 6 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 8 ] 7 [ 5 ] 8 [ 7 ] [ 9 ] [ 10 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ] [ 17 ] [ 19 ] [ 20 ] [ 21 ] [ 22 ] [ 23 ] [ 24 ] 9 [ 6 ] 10 [ 5 ] 11 [ 9 ] [ 10 ] 12 [ 5 ] 13 [ 18 ] 14 [ 11 ] 15 [ 24 ] 16 [ 5 ] 17 [ 5 ] 18 [ 21 ] [ 22 ] 19 [ 5 ] 20 [ 9 ] 21 [ 5 ] 22 [ 5 ] 23 [ 5 ] 24 [ 4 ] [ 5 ] 25 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 8 ] 26 [ 11 ] 27 [ 5 ] 28 [ 5 ] 29 [ 21 ] [ 22 ] [ 23 ] 30 [ 21 ] [ 22 ] [ 23 ] ©2005 Association for Computing Machinery