Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

Cite

Text

Fortin et al. "Reverse Engineering of Temporal Queries Mediated by LTL Ontologies." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/360

Markdown

[Fortin et al. "Reverse Engineering of Temporal Queries Mediated by LTL Ontologies." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/fortin2023ijcai-reverse/) doi:10.24963/IJCAI.2023/360

BibTeX

@inproceedings{fortin2023ijcai-reverse,
  title     = {{Reverse Engineering of Temporal Queries Mediated by LTL Ontologies}},
  author    = {Fortin, Marie and Konev, Boris and Ryzhikov, Vladislav and Savateev, Yury and Wolter, Frank and Zakharyaschev, Michael},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {3230-3238},
  doi       = {10.24963/IJCAI.2023/360},
  url       = {https://mlanthology.org/ijcai/2023/fortin2023ijcai-reverse/}
}