Skip to contents

Artale, Alessandro [Author] ; Calvanese, Diego [Contributor]; Wang, Haofen [Contributor]; Zhang, Xiaowang [Contributor]

Proceedings of the 11th International Joint Conference on Knowledge Graphs

View online
Schließen

Access

https://dl.acm.org/action/showBook?doi=10.1145/3579051

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York,NY,United States: Association for Computing Machinery, 2022

Published in: ACM Other conferences- ACM Digital Library
Forkel, Walter [Author] ; Baader, Franz [Other]; Artale, Alessandro [Other]

Closed-World Semantics for Query Answering in Temporal Description Logics

View online
Schließen

Access

https://d-nb.info/1231847514/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2021
Tirtarasa, Satyadharma [Author] ; Baader, Franz [Degree supervisor]; Artale, Alessandro [Degree supervisor] Technische Universität Dresden

Context-Sensitive Description Logics in Dynamic Settings

View online
Schließen

Access

More information on the full text

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden, 2024
Forkel, Walter [Author] ; Baader, Franz [Degree supervisor]; Artale, Alessandro [Degree supervisor] Technische Universität Dresden

Closed-World Semantics for Query Answering in Temporal Description Logics

View online
Schließen

Access

More information on the full text

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden, 2020
Artale, Alessandro [Editor]; Glimm, Birte [Editor]; Kontchakov, Roman [Editor] ; International Workshop on Description Logics 30. 2017 Montpellier

DL 2017, International Workshop on Description Logics : proceedings of the 30th International Workshop on Description Logics : Montpellier, France, July 18-21, 2017

View online
Schließen

Access

http://ceur-ws.org/Vol-1879/

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen, Germany: RWTH Aachen, [2017]

Published in: CEUR workshop proceedings ; 187900
Artale, Alessandro [Author]; Mazzullo, Andrea [Author]; Ozaki, Ana [Author]

Finite vs. Infinite Traces in Temporal Logics

View online
Schließen

Access

http://ceur-ws.org/Vol-2785/#paper4

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (2. : 2020 : Online): 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, September 25, 2020 ; (2020), Seite 23-27
Artale, Alessandro [Author]; Mazzullo, Andrea [Author]; Ozaki, Ana [Author]

Do you need infinite time?

View online
Schließen

Access

https://www.inf.unibz.it/krdb/KRDB%20files/tech-reports/KRDB19-01.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bolzano, Italy: KRDB Research Centre for Knowledge and Data, Faculty of Computer Science, Free University of Bozen-Bolzano, June 01, 2019

Published in: KRDB Research Centre technical report ; KRDB 19, 01
Artale, Alessandro [Author]; Geatti, Luca [Author]; Gigante, Nicola [Author]; Mazzullo, Andrea [Author]; Montanari, Angelo [Author] ; Alessandro Artale and Luca Geatti and Nicola Gigante and Andrea Mazzullo and Angelo Montanari [Contributor]

LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Tahrat, Sabiha [Author]; Braun, German [Author]; Artale, Alessandro [Author]; Ozaki, Ana [Author]

Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract)

View online
Schließen

Access

http://ceur-ws.org/Vol-2954/#abstract-25

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2021

Published in: International Workshop on Description Logics (34. : 2021 : Bratislava; Online): DL 2021: Description Logics 2021 ; 2021
Artale, Alessandro [Author]; Mazzullo, Andrea [Author]; Ozaki, Ana [Author]; Wolter, Frank [Author]

On Free Description Logics with Definite Descriptions

View online
Schließen

Access

http://ceur-ws.org/Vol-2663/#paper-4

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020
Artale, Alessandro [Author]; Kontchakov, Roman [Author]; Kovtunova, Alisa [Author]; Ryzhikov, Vladislav [Author]; Wolter, Frank [Author]; Zakharyaschev, Michael [Author] ; Alessandro Artale and Roman Kontchakov and Alisa Kovtunova and Vladislav Ryzhikov and Frank Wolter and Michael Zakharyaschev [Contributor]

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Tahrat, Sabiha [Author]; Braun, Germán Alejandro [Author]; Artale, Alessandro [Author]; Gario, Marco [Author]; Ozaki, Ana [Author]

Automated Reasoning in Temporal DL-Lite (Extended Abstract)

View online
Schließen

Access

http://ceur-ws.org/Vol-2663/#abstract-22

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020
Artale, Alessandro [Author]; Jung, Jean Christoph [Author]; Mazzullo, Andrea [Author]; Ozaki, Ana [Author]; Wolter, Frank [Author]

Living without beth and craig : explicit definitions and interpolants in description logics with nominals (extended abstract)

View online
Schließen

Access

http://ceur-ws.org/Vol-2663/abstract-1.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020
Artale, Alessandro

Reasoning on temporal class diagrams: Undecidability results

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2006

Published in: Annals of Mathematics and Artificial Intelligence
Masolo, Claudio; Artale, Alessandro

AI*IA 2013: Advances in Artificial Intelligence: Entity-from-Relationship Modelling

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2013

Published in: AI*IA 2013: Advances in Artificial Intelligence
Artale, Alessandro; Franconi, Enrico

Conceptual Modeling: Foundations and Applications: Foundations of Temporal Conceptual Data Models

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Conceptual Modeling: Foundations and Applications
Artale, Alessandro; Lutz, Carsten

A Correspondence between Temporal Description Logics

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Informa UK Limited, 2004

Published in: Journal of Applied Non-Classical Logics
Artale, Alessandro; Franconi, Enrico

Lecture Notes in Computer Science: Temporal ER Modeling with Description Logics

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1999

Published in: Lecture Notes in Computer Science
ARTALE, ALESSANDRO; FRANCONI, ENRICO

Representing a robotic domain using temporal description logics

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1999

Published in: Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Keet, C. Maria; Artale, Alessandro

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: On the Move to Meaningful Internet Systems: OTM 2010 Workshops

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication