Alessandro Artale
Orcid: 0000-0002-3852-9351
According to our database1,
Alessandro Artale
authored at least 110 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
1
1
3
2
2
1
1
2
1
1
1
1
1
1
1
1
1
2
1
1
1
2
3
6
1
3
3
5
1
4
1
3
2
4
2
3
8
6
3
6
1
1
1
1
2
4
1
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.
ACM Trans. Comput. Log., April, 2024
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version).
CoRR, 2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
2023
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.
ACM Trans. Comput. Log., October, 2023
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version).
CoRR, 2023
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa.
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies.
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
J. Artif. Intell. Res., 2022
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
2021
Artif. Intell., 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.
CoRR, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
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
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019
2018
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
CoRR, 2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
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
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
ACM Trans. Comput. Log., 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
2013
CoRR, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013
2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
2011
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011
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
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010
Proceedings of the Fourth International Conference on Network and System Security, 2010
Proceedings of the Conceptual Modeling, 2010
Proceedings of the Conceptual Modeling, 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009
Proceedings of the Innovations in Information Systems Modeling, 2009
2008
Appl. Ontology, 2008
Decidable Reasoning over Timestamped Conceptual Models.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
2007
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
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Ann. Math. Artif. Intell., 2006
2005
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
J. Appl. Non Class. Logics, 2004
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004
2003
Description Logics for Modeling Dynamic Information.
Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003
2002
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
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001
2000
Ann. Math. Artif. Intell., 2000
1999
Artif. Intell. Eng. Des. Anal. Manuf., 1999
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
Proceedings of the Conceptual Modeling, 1999
Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999
1998
J. Artif. Intell. Res., 1998
Coping with WORDNET sense proliferation.
Proceedings of the First International Conference on Language Resources and Evaluation, 1998
1997
Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997
1996
IEEE Trans. Knowl. Data 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
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993
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
Proceedings of the Processing Declarative Knowledge, 1991
Proceedings of the Trends in Artificial Intelligence, 1991