%0 Conference Paper %1 conf/ijcai/FortinKRSWZ23 %A Fortin, Marie %A Konev, Boris %A Ryzhikov, Vladislav %A Savateev, Yury %A Wolter, Frank %A Zakharyaschev, Michael %B IJCAI %D 2023 %I ijcai.org %K dblp %P 3230-3238 %T Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#FortinKRSWZ23 %@ 978-1-956792-03-4

@inproceedings{conf/ijcai/FortinKRSWZ23, added-at = {2024-10-06T00:00:00.000+0200}, author = {Fortin, Marie and Konev, Boris and Ryzhikov, Vladislav and Savateev, Yury and Wolter, Frank and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2c7e3eb6025644e428cfd6010f8367c22/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2023}, ee = {https://doi.org/10.24963/ijcai.2023/360}, interhash = {a0e597f2521476279b7654892f803ca2}, intrahash = {c7e3eb6025644e428cfd6010f8367c22}, isbn = {978-1-956792-03-4}, keywords = {dblp}, pages = {3230-3238}, publisher = {ijcai.org}, timestamp = {2024-10-21T07:11:48.000+0200}, title = {Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#FortinKRSWZ23}, year = 2023 }