Alessandro Artale

According to our database1, Alessandro Artale authored at least 85 papers between 1991 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Do You Need Infinite Time?.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Temporal DL-Lite over Finite Traces (Preliminary Results).
Proceedings of the 32nd International Workshop on Description Logics, 2019

Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.
Proceedings of the Business Process Management - 17th International Conference, 2019

Towards a Logical Foundation of Reification in Modelling Languages.
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

Enriching Data Models with Behavioral Constraints.
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

2018
Temporal Description Logics over Finite Traces.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
A Decidable Very Expressive Description Logic for Databases (Extended Version).
CoRR, 2017

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

A Decidable Very Expressive Description Logic for Databases.
Proceedings of the Semantic Web - ISWC 2017, 2017

A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract).
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling.
Proceedings of the 30th International Workshop on Description Logics, 2017

2016
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version).
CoRR, 2016

Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification.
Proceedings of the 29th International Workshop on Description Logics, 2016

2015
First-Order Rewritability of Temporal Ontology-Mediated Queries.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Interval Temporal Description Logics.
Proceedings of the 28th International Workshop on Description Logics, 2015

Tractable Interval Temporal Propositional and Description Logics.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
A Cookbook for Temporal Conceptual Data Modelling with Description Logics.
ACM Trans. Comput. Log., 2014

DL-Lite and Interval Temporal Logics: a Marriage Proposal.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Temporal OBDA with LTL and DL-Lite.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
CoRR, 2013

The Complexity of Clausal Fragments of LTL.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Temporal Description Logic for Ontology-Based Data Access.
Proceedings of the IJCAI 2013, 2013

Temporalising OWL 2 QL.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Entity-from-Relationship Modelling.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas.
Data Knowl. Eng., 2012

DL-Lite with Attributes and Datatypes.
Proceedings of the ECAI 2012, 2012

OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

DL-Lite with Attributes and Sub-Roles (Extended Abstract).
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case.
Proceedings of the Database Systems for Advanced Applications, 2011

2010
A Basic Characterization of Relation Migration.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Reasoning about Relation Based Access Control.
Proceedings of the Fourth International Conference on Network and System Security, 2010

Complexity of Reasoning over Temporal Data Models.
Proceedings of the Conceptual Modeling, 2010

Full Satisfiability of UML Class Diagrams.
Proceedings of the Conceptual Modeling, 2010

Query Rewriting in DL-Lite_^(HN)_horn.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Temporal Conceptual Modelling with DL-Lite.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Checking Full Satisfiability of Conceptual Models.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Past and Future of DL-Lite.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
The DL-Lite Family and Relations.
J. Artif. Intell. Res., 2009

DL-Lite with Temporalised Concepts, Rigid Axioms and Roles.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Using Description Logics in Relation Based Access Control.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Extending DL-Lite Sometime in the Future.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

DL-Lite without UNA.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Adding Weight to DL-Lite.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Foundations of Temporal Conceptual Data Models.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Essential, Mandatory, and Shared Parts in Conceptual Data Models.
Proceedings of the Innovations in Information Systems Modeling, 2009

2008
Representing and reasoning over a taxonomy of part-whole relations.
Applied Ontology, 2008

Decidable Reasoning over Timestamped Conceptual Models.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Formalising Temporal Constraints on Part-Whole Relations.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Essential and Mandatory Part-Whole Relations in Conceptual Data Models.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
Evolving objects in temporal information systems.
Ann. Math. Artif. Intell., 2007

Temporalising Tractable Description Logics.
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Query Answering in Expressive Variants of DL-Lite.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Reasoning over Extended ER Models.
Proceedings of the Conceptual Modeling, 2007

Complexity of Reasoning in Entity Relationship Models.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

DL-Lite in the Light of First-Order Logic.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Reasoning on temporal class diagrams: Undecidability results.
Ann. Math. Artif. Intell., 2006

A Description Logic of Change.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005
Temporal Description Logics.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Modeling the Evolution of Objects in Temporal Information Systems.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

2004
Editorial.
J. Log. Comput., 2004

A Correspondence between Temporal Description Logics.
Journal of Applied Non-Classical Logics, 2004

Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.
Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

2003
Description Logics for Modeling Dynamic Information.
Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

2002
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001
Reasoning over Conceptual Schemas and Queries in Temporal Databases.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

The DLRUS Temporal Description Logic.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

2000
A survey of temporal extensions of description logics.
Ann. Math. Artif. Intell., 2000

1999
Representing a robotic domain using temporal description logics.
AI EDAM, 1999

Introducing Temporal Description Logics.
Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

Temporal E-R Modelling with description logics.
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Temporal ER Modeling with Description Logics.
Proceedings of the Conceptual Modeling, 1999

Reasoning with Enhanced Temporal Entity-Relationship Models.
Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998
A Temporal Description Logic for Reasoning about Actions and Plans.
J. Artif. Intell. Res., 1998

1997
WordNet for Italian and Its Use for Lexical Deiscrimination.
Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

1996
Describing Database Objects in a Concept Language Environment.
IEEE Trans. Knowl. Data Eng., 1996

Part-Whole Relations in Object-Centered Systems: An Overview.
Data Knowl. Eng., 1996

Open Problems with Part-Whole Relations.
Proceedings of the 1996 International Workshop on Description Logics, 1996

1994
A Computational Account for a Description Logic of Time and Action.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1993
Taxonomic Reasoning in LOGIDATA+.
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993

Introducing Taxonomic Reasoning in LOGIDATA+.
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993


Instance Recognition in an Object Database Model.
Proceedings of the Convegno SEBD'93, 1993

1991
Subsumption Computation on an Object-Oriented Data Model.
Proceedings of the Processing Declarative Knowledge, 1991

Introducing Knowledge Representation Techniques in Database Models.
Proceedings of the Trends in Artificial Intelligence, 1991


  Loading...