ML Anthology

Tractable Interval Temporal Propositional and Description Logics

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
AAAI 2015 pp. 1417-1423
doi:10.1609/AAAI.V29I1.9406 /aaai/2015/artale2015aaai-tractable/

Abstract

We design a tractable Horn fragment of the Halpern-Shoham temporal logic and extend it to interval-based temporal description logics, instance checking in which is P-complete for both combined and data complexity.

PDF AAAI Semantic Scholar

Cite

Text

Artale et al. "Tractable Interval Temporal Propositional and Description Logics." AAAI Conference on Artificial Intelligence, 2015. doi:10.1609/AAAI.V29I1.9406

Markdown

[Artale et al. "Tractable Interval Temporal Propositional and Description Logics." AAAI Conference on Artificial Intelligence, 2015.](https://mlanthology.org/aaai/2015/artale2015aaai-tractable/) doi:10.1609/AAAI.V29I1.9406

BibTeX

@inproceedings{artale2015aaai-tractable,
  title     = {{Tractable Interval Temporal Propositional and Description Logics}},
  author    = {Artale, Alessandro and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {1417-1423},
  doi       = {10.1609/AAAI.V29I1.9406},
  url       = {https://mlanthology.org/aaai/2015/artale2015aaai-tractable/}
}