Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

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

[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

@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/}
}