Alessandro Artale

2008
44	EE	Alessandro Artale, David Toman: Decidable Reasoning over Timestamped Conceptual Models. Description Logics 2008
43	EE	Alessandro Artale, C. Maria Keet: Essential and Mandatory Part-Whole Relations in Conceptual Data Models. Description Logics 2008
42		Alessandro Artale, Nicola Guarino, C. Maria Keet: Formalising Temporal Constraints on Part-Whole Relations. KR 2008: 673-683
41		Alessandro Artale, David Toman: Decidable Reasoning over Timestamped Conceptual Models. SEBD 2008: 168-178
40	EE	C. Maria Keet, Alessandro Artale: Representing and reasoning over a taxonomy of part-whole relations. Applied Ontology 3(1-2): 91-110 (2008)
2007
39		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366
38	EE	Alessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning in Entity Relationship Models. Description Logics 2007
37	EE	Alessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev: Reasoning over Extended ER Models. ER 2007: 277-292
36	EE	Alessandro Artale, Carsten Lutz, David Toman: A Description Logic of Change. IJCAI 2007: 218-223
35		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257
34	EE	Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22
33	EE	Alessandro Artale, Christine Parent, Stefano Spaccapietra: Evolving objects in temporal information systems. Ann. Math. Artif. Intell. 50(1-2): 5-38 (2007)
2006
32	EE	Alessandro Artale, Carsten Lutz, David Toman: A Description Logic of Change. Description Logics 2006
31	EE	Alessandro Artale, Christine Parent, Stefano Spaccapietra: Modeling the Evolution of Objects in Temporal Information Systems. FoIKS 2006: 22-42
30	EE	Alessandro Artale: Reasoning on temporal class diagrams: Undecidability results. Ann. Math. Artif. Intell. 46(3): 265-288 (2006)
2005
29		Alessandro Artale, Christine Parent, Stefano Spaccapietra: Modeling the Evolution of Objects in Temporal Information Systems. SEBD 2005: 380-391
2004
28	EE	Alessandro Artale: Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. Description Logics 2004
27	EE	Alessandro Artale: Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. TIME 2004: 79-86
26	EE	Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi: Editorial. J. Log. Comput. 14(1): 1 (2004)
25		Alessandro Artale, Carsten Lutz: A Correspondence between Temporal Description Logics. Journal of Applied Non-Classical Logics 14(1-2): 209-233 (2004)
2003
24		Alessandro Artale, Enrico Franconi, Federica Mandreoli: Description Logics for Modeling Dynamic Information. Logics for Emerging Applications of Databases 2003: 239-275
2002
23	EE	Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110
2001
22	EE	Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001
21		Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214
2000
20		Alessandro Artale, Enrico Franconi: A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30(1-4): 171-210 (2000)
1999
19	EE	Alessandro Artale, Enrico Franconi: Reasoning with Enhanced Temporal Entity-Relationship Models. DEXA Workshop 1999: 482-486
18	EE	Alessandro Artale, Carsten Lutz: A Correspondence between Temporal Description Logics. Description Logics 1999
17	EE	Alessandro Artale, Enrico Franconi: Temporal ER Modeling with Description Logics. ER 1999: 81-95
16	EE	Alessandro Artale, Enrico Franconi: Reasoning with enhanced Temporal Entity-Relationship Models. KRDB 1999: 1-5
15		Alessandro Artale, Enrico Franconi: Temporal E-R Modelling with description logics. SEBD 1999: 357-369
14	EE	Alessandro Artale, Enrico Franconi: Introducing Temporal Description Logics. TIME 1999: 2-5
13	EE	Alessandro Artale, Enrico Franconi: Representing a robotic domain using temporal description logics. AI EDAM 13(2): 105-117 (1999)
1998
12	EE	Alessandro Artale, Enrico Franconi: A Temporal Description Logic for Reasoning about Actions and Plans. J. Artif. Intell. Res. (JAIR) 9: 463-506 (1998)
1997
11		Alessandro Artale, Bernardo Magnini, Carlo Strapparava: WordNet for Italian and Its Use for Lexical Deiscrimination. AI*IA 1997: 346-356
1996
10		Alessandro Artale, Enrico Franconi, Nicola Guarino: Open Problems with Part-Whole Relations. Description Logics 1996: 70-73
9	EE	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)
8	EE	Alessandro Artale, Francesca Cesarini, Giovanni Soda: Describing Database Objects in a Concept Language Environment. IEEE Trans. Knowl. Data Eng. 8(2): 345-351 (1996)
1994
7		Alessandro Artale, Enrico Franconi: A Computational Account for a Description Logic of Time and Action. KR 1994: 3-14
1993
6		Alessandro Artale, Francesca Cesarini, Elisabetta Grazzini, Giovanni Soda: Instance Recognition in an Object Database Model. SEBD 1993: 167-181
5		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
4		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
3		Alessandro Artale, Francesca Cesarini, Giovanni Soda: Introducing Taxonomic Reasoning in LOGIDATA+. LOGIDATA+: Deductive Databases with Complex Objects 1993: 85-104
1991
2		Alessandro Artale, Francesca Cesarini, Giovanni Soda: Introducing Knowledge Representation Techniques in Database Models. AI*IA 1991: 375-384
1		Alessandro Artale, Francesca Cesarini, Giovanni Soda: Subsumption Computation on an Object-Oriented Data Model. PDK 1991: 124-140

Coauthor Index

1	Jean Paul Ballerini	[5]
2	Domenico Beneventano	[4]
3	Sonia Bergamaschi	[4]
4	Filippo Cacace	[5]
5	Diego Calvanese	[35] [37] [38] [39]
6	Stefano Ceri	[5]
7	Francesca Cesarini	[1] [2] [3] [4] [5] [6] [8]
8	Clare Dixon	[26]
9	Michael Fisher	[26]
10	Anna Formica	[5]
11	Enrico Franconi	[7] [9] [10] [12] [13] [14] [15] [16] [17] [19] [20] [21] [22] [23] [24] [26]
12	Elisabetta Grazzini	[6]
13	Sergio Greco	[5]
14	Nicola Guarino	[9] [10] [42]
15	C. Maria Keet	[40] [42] [43]
16	Roman Kontchakov	[34] [35] [37] [38] [39]
17	Herman Lam	[5]
18	Carsten Lutz	[18] [25] [32] [34] [36]
19	Bernardo Magnini	[11]
20	Federica Mandreoli	[24]
21	G. Marrella	[5]
22	Michele Missikoff	[5]
23	Milenko Mosurovic	[21] [22]
24	Luigi Palopoli	[5]
25	Christine Parent	[29] [31] [33]
26	Luca Pazzi	[9]
27	L. Pichetti	[5]
28	V. Ryzhikov	[37] [38]
29	Domenico Saccà	[5]
30	Silvio Salza	[5]
31	Claudio Sartori	[4] [5]
32	Giovanni Soda	[1] [2] [3] [4] [5] [6] [8]
33	Stefano Spaccapietra	[29] [31] [33]
34	Carlo Strapparava	[11]
35	Letizia Tanca	[5]
36	M. Toiati	[5]
37	David Toman	[32] [36] [41] [44]
38	Frank Wolter	[21] [22] [23] [34]
39	Michael Zakharyaschev	[21] [22] [23] [34] [35] [37] [38] [39]

Colors in the list of coauthors