Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic.

Saved in:

Bibliographic Details
Title:	Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic.
Authors:	Kurucz, Agi¹, AGI.KURUCZ@KCL.AC.UK, Ryzhikov, Vladislav², VLAD@DCS.BBK.AC.UK, Savateev, Yury³, Y.SAVATEEV@SOTON.AC.UK, Zakharyaschev, Michael², MICHAEL@DCS.BBK.AC.UK
Source:	Journal of Artificial Intelligence Research; 2023, Vol. 76, p645-703, 59p
Database:	Applied Science & Technology Source

Description
ISSN:	10769757
DOI:	10.1613/jair.1.14061