E-LIB Suche - Ergebnisse für: Artale, Alessandro

1

First-Order Temporal Logic on Finite Traces: Semantic Prope..:

Artale, Alessandro ; Mazzullo, Andrea ; Ozaki, Ana
ACM Transactions on Computational Logic. 25 (2024) 2 - p. 1-43 , 2024

Link: https://doi.org/10.1145/..

2

Living without Beth and Craig: Definitions and Interpolants..:

Artale, Alessandro ; Jung, Jean Christoph ; Mazzullo, Andrea..
ACM Transactions on Computational Logic. 24 (2023) 4 - p. 1-51 , 2023

Link: https://doi.org/10.1145/..

3

Proceedings of the 11th International Joint Conference on K..:

Artale, Alessandro ; Calvanese, Diego ; Wang, Haofen. , 2022

Link: https://dl.acm.org/doi/1..

4

First-order rewritability of ontology-mediated queries in l..:

Artale, Alessandro ; Kontchakov, Roman ; Kovtunova, Alisa...
Artificial Intelligence. 299 (2021) - p. 103536 , 2021

Link: https://doi.org/10.1016/..

5

Modeling and Reasoning over Declarative Data-Aware Processe..:

, In: Lecture Notes in Computer Science; Business Process Management,

Artale, Alessandro ; Kovtunova, Alisa ; Montali, Marco. - p. 139-156 , 2019

Link: https://doi.org/10.1007/..

6

DL 2017, International Workshop on Description Logics

proceedings of the 30th International Workshop on Descripti... CEUR workshop proceedings ; vol-1879

Artale, Alessandro ; Glimm, Birte ; Kontchakov, Roman , [2017]

Link: http://ceur-ws.org/Vol-1..

7

A Cookbook for Temporal Conceptual Data Modelling with Desc..:

Artale, Alessandro ; Kontchakov, Roman ; Ryzhikov, Vladislav.
ACM Transactions on Computational Logic. 15 (2014) 3 - p. 1-50 , 2014

Link: https://doi.org/10.1145/..

8

A Cookbook for Temporal Conceptual Data Modelling with Desc..:

Artale, Alessandro ; Kontchakov, Roman ; Ryzhikov, Vladislav.
ACM Transactions on Computational Logic (TOCL). 15 (2014) 3 - p. 1-50 , 2014

Link: https://dl.acm.org/doi/1..

9

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas:

Queralt, Anna ; Artale, Alessandro ; Calvanese, Diego.
Data & Knowledge Engineering. 73 (2012) - p. 1-22 , 2012

Link: https://doi.org/10.1016/..

10

Full satisfiability of UML class diagrams:

, In: Proceedings of the 29th international conference on Conceptual modeling,

Artale, Alessandro ; Calvanese, Diego ; Ibáñez-García, Angélica - p. 317-331 , 2010

Link: https://dl.acm.org/doi/1..

11

Full Satisfiability of UML Class Diagrams:

, In: Conceptual Modeling – ER 2010; Lecture Notes in Computer Science,

Artale, Alessandro ; Calvanese, Diego ; Ibáñez-García, Angélica - p. 317-331 , 2010

Link: https://doi.org/10.1007/..

12

Complexity of reasoning over temporal data models:

, In: Proceedings of the 29th international conference on Conceptual modeling,

Artale, Alessandro ; Kontchakov, Roman ; Ryzhikov, Vladislav. - p. 174-187 , 2010

Link: https://dl.acm.org/doi/1..

13

Complexity of Reasoning over Temporal Data Models:

, In: Conceptual Modeling – ER 2010; Lecture Notes in Computer Science,

Artale, Alessandro ; Kontchakov, Roman ; Ryzhikov, Vladislav. - p. 174-187 , 2010

Link: https://doi.org/10.1007/..

14

Essential, Mandatory, and Shared Parts in Conceptual Data M..:

, In: Advances in Database Research; Innovations in Information Systems Modeling,

Artale, Alessandro ; Keet, C. Maria - p. 17-52 , 2009

Link: https://doi.org/10.4018/..

15

Evolving objects in temporal information systems:

Artale, Alessandro ; Parent, Christine ; Spaccapietra, Stefano
Annals of Mathematics and Artificial Intelligence. 50 (2007) 1-2 - p. 5-38 , 2007

Link: https://doi.org/10.1007/..