Complexity of Reasoning over Temporal Data Models-Reference-Cited by-同舟云学术

Complexity of Reasoning over Temporal Data Models

Published:2010 Issue: Volume: Page:174-187
ISSN:0302-9743
Container-title:Conceptual Modeling – ER 2010
language:
Short-container-title:

Author:

Artale Alessandro,Kontchakov Roman,Ryzhikov Vladislav,Zakharyaschev Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16373-9_13

Reference25 articles.

1. Artale, A.: Reasoning on temporal class diagrams: Undecidability results. Annals on Mathematics and Artificial Intelligence (AMAI) 46, 265–288 (2006)

2. Lecture Notes in Computer Science;A. Artale,2007

3. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1–69 (2009)

4. Artale, A., Franconi, E., Mandreoli, F.: Description logics for modelling dynamic information. In: Chomicki, J., van der Meyden, R., Saake, G. (eds.) Logics for Emerging Applications of Databases, pp. 239–275. Springer, Heidelberg (2003)

5. Lecture Notes in Artificial Intelligence;A. Artale,2002

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints;Lecture Notes in Computer Science;2019

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

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

4. Managing Event Information: Modeling, Retrieval, and Applications;Synthesis Lectures on Data Management;2011-07-27

5. Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models;Frontiers of Combining Systems;2011