%0 Conference Paper %1 conf/ijcai/ArtaleKKRWZ22 %A Artale, Alessandro %A Kontchakov, Roman %A Kovtunova, Alisa %A Ryzhikov, Vladislav %A Wolter, Frank %A Zakharyaschev, Michael %B IJCAI %D 2022 %E Raedt, Luc De %I ijcai.org %K dblp %P 5703-5707 %T On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2022.html#ArtaleKKRWZ22

@inproceedings{conf/ijcai/ArtaleKKRWZ22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Artale, Alessandro and Kontchakov, Roman and Kovtunova, Alisa and Ryzhikov, Vladislav and Wolter, Frank and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2faf28a379b2e38a8940b3f7cf0b956e8/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2022}, editor = {Raedt, Luc De}, ee = {https://doi.org/10.24963/ijcai.2022/794}, interhash = {411483ad2bef047b2da38b30a0509d20}, intrahash = {faf28a379b2e38a8940b3f7cf0b956e8}, keywords = {dblp}, pages = {5703-5707}, publisher = {ijcai.org}, timestamp = {2024-04-10T01:46:37.000+0200}, title = {On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2022.html#ArtaleKKRWZ22}, year = 2022 }