Alessandro Artale

134 papers A* 15A 8B 4C 5Journal 36Unranked 56

Year	Rank	Type	Title / Venue / Authors
2025	—	`ed.`	AIxIA 2024 - Advances in Artificial Intelligence - XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024, Proceedings AI*IA Alessandro Artale, Gabriella Cortellessa, Marco Montali
2025	J	`jnl`	Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions. CoRR Alessandro Artale, Christopher Hampson, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2025	—	`ed.`	Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools, RW 2024, Bucharest, Romania, September 19-22, 2024 / RW 2025, Istanbul, Turkey, September 25-28, 2025 RW Alessandro Artale, Meghyn Bienvenu, Yazmín Ibáñez-García, Filip Murlak
2025	J	`jnl`	On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version). CoRR Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2025	A	`conf`	On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators. ICDT Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2025	—	`ed.`	Proceedings of the AIxIA Discussion Papers 2024 co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), Bolzano, Italy, November 25-28, 2024. DP@AI*IA Gabriella Cortellessa, Alessandro Artale, Marco Montali
2025	J	`jnl`	Succinctness issues for LTL and safety and cosafety fragments of LTL. Inf. Comput. Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2024	—	`conf`	An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). Description Logics Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2024	J	`jnl`	First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. ACM Trans. Comput. Log. Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2024	J	`jnl`	Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). CoRR Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2024	A*	`conf`	Non-Rigid Designators in Modal and Temporal Free Description Logics. KR Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2024	—	`conf`	On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). Description Logics Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2023	—	`conf`	A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Description Logics Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2023	—	`conf`	A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. OVERLAY@AI*IA Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo
2023	A*	`conf`	A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2023	A*	`conf`	Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2023	C	`conf`	LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2023	J	`jnl`	Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2023	—	`conf`	Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract). Description Logics Alessandro Artale, Andrea Mazzullo
2023	J	`jnl`	Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version). CoRR Alessandro Artale, Andrea Mazzullo
2022	J	`jnl`	Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2022	J	`jnl`	First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022	J	`jnl`	First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. CoRR Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2022	A*	`conf`	On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022	—	`ed.`	Proceedings of the 11th International Joint Conference on Knowledge Graphs, IJCKG 2022, Hangzhou, China, October 27-28, 2022 IJCKG Alessandro Artale, Diego Calvanese, Haofen Wang, Xiaowang Zhang
2021	—	`conf`	Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract). Description Logics Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Ana Ozaki
2021	J	`jnl`	First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2021	J	`jnl`	First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2021	A*	`conf`	Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2021	A*	`conf`	On Free Description Logics with Definite Descriptions. KR Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2021	J	`jnl`	On Free Description Logics with Definite Descriptions. CoRR Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2020	—	`conf`	Automated Reasoning in Temporal DL-Lite (Extended Abstract). Description Logics Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki
2020	J	`jnl`	Automated Reasoning in Temporal DL-Lite. CoRR Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki
2020	—	`conf`	Finite vs. Infinite Traces in Temporal Logics. OVERLAY Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2020	J	`jnl`	First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2020	—	`conf`	Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2020	J	`jnl`	Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2020	—	`conf`	On Free Description Logics with Definite Descriptions. Description Logics Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2019	A*	`conf`	Do You Need Infinite Time?. IJCAI Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2019	—	`conf`	Enriching Data Models with Behavioral Constraints. Ontology Makes Sense Alessandro Artale, Diego Calvanese, Marco Montali, Wil M. P. van der Aalst
2019	A	`conf`	Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints. BPM Alessandro Artale, Alisa Kovtunova, Marco Montali, Wil M. P. van der Aalst
2019	—	`conf`	Temporal DL-Lite over Finite Traces (Preliminary Results). Description Logics Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2019	—	`conf`	Towards a Logical Foundation of Reification in Modelling Languages. Ontology Makes Sense Alessandro Artale, Enrico Franconi
2018	—	`conf`	Temporal Description Logics over Finite Traces. Description Logics Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2017	J	`jnl`	A Decidable Very Expressive Description Logic for Databases (Extended Version). CoRR Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
2017	—	`conf`	A Decidable Very Expressive Description Logic for Databases. ISWC (1) Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
2017	—	`conf`	A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract). SEBD Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
2017	—	`conf`	Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling. Description Logics Wil M. P. van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini
2017	C	`conf`	Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2017	—	`ed.`	Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Description Logics Alessandro Artale, Birte Glimm, Roman Kontchakov
2016	J	`jnl`	Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version). CoRR Alessandro Artale, Enrico Franconi
2016	—	`conf`	Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification. Description Logics Alessandro Artale, Enrico Franconi
2015	A*	`conf`	First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015	—	`conf`	Interval Temporal Description Logics. Description Logics Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2015	A*	`conf`	Tractable Interval Temporal Propositional and Description Logics. AAAI Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2014	J	`jnl`	A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Trans. Comput. Log. Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2014	A	`conf`	DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov
2014	—	`conf`	Temporal OBDA with LTL and DL-Lite. Description Logics Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014	J	`jnl`	The DL-Lite Family and Relations. CoRR Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2013	—	`conf`	Entity-from-Relationship Modelling. AI*IA Claudio Masolo, Alessandro Artale
2013	J	`jnl`	Temporal Description Logic for Ontology-Based Data Access (Extended Version) CoRR Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013	A*	`conf`	Temporal Description Logic for Ontology-Based Data Access. IJCAI Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013	—	`conf`	Temporalising OWL 2 QL. Description Logics Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013	B	`conf`	The Complexity of Clausal Fragments of LTL. LPAR Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2013	J	`jnl`	The Complexity of Clausal Fragments of LTL. CoRR Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2012	J	`jnl`	A Cookbook for Temporal Conceptual Data Modelling with Description Logics CoRR Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2012	A	`conf`	DL-Lite with Attributes and Datatypes. ECAI Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov
2012	—	`conf`	OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. Description Logics Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
2012	J	`jnl`	OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
2011	J	`jnl`	A Temporal Description Logic for Reasoning about Actions and Plans CoRR Alessandro Artale, Enrico Franconi
2011	—	`conf`	DL-Lite with Attributes and Sub-Roles (Extended Abstract). Description Logics Alessandro Artale, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov
2011	—	`conf`	Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case. DASFAA (2) Maria Amalfi, Alessandro Artale, Andrea Calì, Alessandro Provetti
2011	—	`conf`	Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010	—	`conf`	A Basic Characterization of Relation Migration. OTM Workshops C. Maria Keet, Alessandro Artale
2010	—	`conf`	Checking Full Satisfiability of Conceptual Models. Description Logics Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García
2010	A	`conf`	Complexity of Reasoning over Temporal Data Models. ER Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010	A	`conf`	Full Satisfiability of UML Class Diagrams. ER Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García
2010	A*	`conf`	Past and Future of DL-Lite. AAAI Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010	—	`conf`	Query Rewriting in DL-Lite_^(HN)_horn. Description Logics Elena Botoeva, Alessandro Artale, Diego Calvanese
2010	B	`conf`	Reasoning about Relation Based Access Control. NSS Alessandro Artale, Bruno Crispo, Fausto Giunchiglia, Fatih Turkmen, Rui Zhang
2010	—	`conf`	Temporal Conceptual Modelling with DL-Lite. Description Logics Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2009	—	`conf`	Adding Weight to DL-Lite. Description Logics Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2009	—	`conf`	DL-Lite without UNA. Description Logics Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2009	—	`ch.`	Essential, Mandatory, and Shared Parts in Conceptual Data Models. Innovations in Information Systems Modeling Alessandro Artale, C. Maria Keet
2009	—	`conf`	Extending DL-Lite Sometime in the Future. Description Logics Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2009	—	`conf`	Foundations of Temporal Conceptual Data Models. Conceptual Modeling: Foundations and Applications Alessandro Artale, Enrico Franconi
2009	J	`jnl`	The DL-Lite Family and Relations. J. Artif. Intell. Res. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2009	—	`conf`	Using Description Logics in Relation Based Access Control. Description Logics Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo
2008	—	`conf`	Decidable Reasoning over Timestamped Conceptual Models. Description Logics Alessandro Artale, David Toman
2008	—	`conf`	Decidable Reasoning over Timestamped Conceptual Models. SEBD Alessandro Artale, David Toman
2008	—	`conf`	Essential and Mandatory Part-Whole Relations in Conceptual Data Models. Description Logics Alessandro Artale, C. Maria Keet
2008	A*	`conf`	Formalising Temporal Constraints on Part-Whole Relations. KR Alessandro Artale, Nicola Guarino, C. Maria Keet
2008	J	`jnl`	Representing and reasoning over a taxonomy of part-whole relations. Appl. Ontology C. Maria Keet, Alessandro Artale
2007	A*	`conf`	A Description Logic of Change. IJCAI Alessandro Artale, Carsten Lutz, David Toman
2007	—	`conf`	Complexity of Reasoning in Entity Relationship Models. Description Logics Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2007	A*	`conf`	DL-Lite in the Light of First-Order Logic. AAAI Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2007	J	`jnl`	Evolving objects in temporal information systems. Ann. Math. Artif. Intell. Alessandro Artale, Christine Parent, Stefano Spaccapietra
2007	—	`conf`	Query Answering in Expressive Variants of DL-Lite. SEBD Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2007	A	`conf`	Reasoning over Extended ER Models. ER Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2007	C	`conf`	Temporalising Tractable Description Logics. TIME Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2006	—	`conf`	A Description Logic of Change. Description Logics Alessandro Artale, Carsten Lutz, David Toman
2006	—	`conf`	Modeling the Evolution of Objects in Temporal Information Systems. FoIKS Alessandro Artale, Christine Parent, Stefano Spaccapietra
2006	J	`jnl`	Reasoning on temporal class diagrams: Undecidability results. Ann. Math. Artif. Intell. Alessandro Artale
2005	—	`conf`	Modeling the Evolution of Objects in Temporal Information Systems. SEBD Alessandro Artale, Christine Parent, Stefano Spaccapietra
2005	—	`ch.`	Temporal Description Logics. Handbook of Temporal Reasoning in Artificial Intelligence Alessandro Artale, Enrico Franconi
2004	J	`jnl`	A Correspondence between Temporal Description Logics. J. Appl. Non Class. Logics Alessandro Artale, Carsten Lutz
2004	J	`jnl`	Editorial. J. Log. Comput. Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi
2004	—	`conf`	Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. Description Logics Alessandro Artale
2004	C	`conf`	Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. TIME Alessandro Artale
2003	—	`conf`	Description Logics for Modeling Dynamic Information. Logics for Emerging Applications of Databases Alessandro Artale, Enrico Franconi, Federica Mandreoli
2002	B	`conf`	A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev
2001	—	`conf`	Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev
2001	—	`conf`	The DLRUS Temporal Description Logic. Description Logics Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev
2000	J	`jnl`	A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. Alessandro Artale, Enrico Franconi
1999	—	`conf`	A Correspondence between Temporal Description Logics. Description Logics Alessandro Artale, Carsten Lutz
1999	C	`conf`	Introducing Temporal Description Logics. TIME Alessandro Artale, Enrico Franconi
1999	—	`conf`	Reasoning with Enhanced Temporal Entity-Relationship Models. DEXA Workshop Alessandro Artale, Enrico Franconi
1999	—	`conf`	Reasoning with enhanced Temporal Entity-Relationship Models. KRDB Alessandro Artale, Enrico Franconi
1999	J	`jnl`	Representing a robotic domain using temporal description logics. Artif. Intell. Eng. Des. Anal. Manuf. Alessandro Artale, Enrico Franconi
1999	—	`conf`	Temporal E-R Modelling with description logics. SEBD Alessandro Artale, Enrico Franconi
1999	A	`conf`	Temporal ER Modeling with Description Logics. ER Alessandro Artale, Enrico Franconi
1998	J	`jnl`	A Temporal Description Logic for Reasoning about Actions and Plans. J. Artif. Intell. Res. Alessandro Artale, Enrico Franconi
1998	B	`conf`	Coping with WORDNET sense proliferation. LREC Alessandro Artale, Anna Goy, Bernardo Magnini, Emanuelle Pianta, Carlo Strapparava
1997	—	`conf`	WordNet for Italian and Its Use for Lexical Deiscrimination. AI*IA Alessandro Artale, Bernardo Magnini, Carlo Strapparava
1996	J	`jnl`	Describing Database Objects in a Concept Language Environment. IEEE Trans. Knowl. Data Eng. Alessandro Artale, Francesca Cesarini, Giovanni Soda
1996	—	`conf`	Open Problems with Part-Whole Relations. Description Logics Alessandro Artale, Enrico Franconi, Nicola Guarino
1996	J	`jnl`	Part-Whole Relations in Object-Centered Systems: An Overview. Data Knowl. Eng. Alessandro Artale, Enrico Franconi, Nicola Guarino, Luca Pazzi
1994	A*	`conf`	A Computational Account for a Description Logic of Time and Action. KR Alessandro Artale, Enrico Franconi
1993	—	`conf`	Instance Recognition in an Object Database Model. SEBD Alessandro Artale, Francesca Cesarini, Elisabetta Grazzini, Giovanni Soda
1993	—	`ch.`	Introducing Taxonomic Reasoning in LOGIDATA+. LOGIDATA+: Deductive Databases with Complex Objects Alessandro Artale, Francesca Cesarini, Giovanni Soda
1993	—	`ch.`	Prototypes in the LOGIDATA+ Project. LOGIDATA+: Deductive Databases with Complex Objects Alessandro Artale, Jean Paul Ballerini, Filippo Cacace, Stefano Ceri, Francesca Cesarini, Anna Formica, Herman Lam, Sergio Greco, Giorgio Marrella, Michele Missikoff, Luigi Palopoli, Luigi Pichetti, Domenico Saccà, Silvio Salza, Claudio Sartori, Giovanni Soda, Letizia Tanca, M. Toiati
1993	—	`ch.`	Taxonomic Reasoning in LOGIDATA+. LOGIDATA+: Deductive Databases with Complex Objects Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori, Alessandro Artale, Francesca Cesarini, Giovanni Soda
1991	—	`conf`	Introducing Knowledge Representation Techniques in Database Models. AI*IA Alessandro Artale, Francesca Cesarini, Giovanni Soda
1991	—	`conf`	Subsumption Computation on an Object-Oriented Data Model. PDK Alessandro Artale, Francesca Cesarini, Giovanni Soda