Complexity of Reasoning over Temporal Data Models

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. Complexity of Reasoning over Temporal Data Models. In Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson C. Woo, Yair Wand, editors, Conceptual Modeling - ER 2010, 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings. Volume 6412 of Lecture Notes in Computer Science, pages 174-187, Springer, 2010. [doi]

@inproceedings{ArtaleKRZ10,
  title = {Complexity of Reasoning over Temporal Data Models},
  author = {Alessandro Artale and Roman Kontchakov and Vladislav Ryzhikov and Michael Zakharyaschev},
  year = {2010},
  doi = {10.1007/978-3-642-16373-9_13},
  url = {http://dx.doi.org/10.1007/978-3-642-16373-9_13},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/ArtaleKRZ10},
  cites = {0},
  citedby = {0},
  pages = {174-187},
  booktitle = {Conceptual Modeling - ER 2010, 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings},
  editor = {Jeffrey Parsons and Motoshi Saeki and Peretz Shoval and Carson C. Woo and Yair Wand},
  volume = {6412},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16372-2},
}