Deciding FO-definability of regular languages and ontology-mediated queries in Linear Temporal Logic

Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

Research output: Contribution to journal › Article › peer-review

63 Downloads (Pure)

Original language	English
Pages (from-to)	645-703
Journal	Journal of Artificial Intelligence Research
Volume	76
Publication status	Published - 14 Mar 2023

Access to Document

@article{60add09ca22b4b7aa356113ef83bc280,

title = "Deciding FO-definability of regular languages and ontology-mediated queries in Linear Temporal Logic",

author = "Agi Kurucz and Vladislav Ryzhikov and Yury Savateev and Michael Zakharyaschev",

year = "2023",

month = mar,

day = "14",

language = "English",

volume = "76",

pages = "645--703",

journal = "Journal of Artificial Intelligence Research",

issn = "1076-9757",

publisher = "Morgan Kaufmann Publishers, Inc.",

}

TY - JOUR

T1 - Deciding FO-definability of regular languages and ontology-mediated queries in Linear Temporal Logic

AU - Kurucz, Agi

AU - Ryzhikov, Vladislav

AU - Savateev, Yury

AU - Zakharyaschev, Michael

PY - 2023/3/14

Y1 - 2023/3/14

M3 - Article

SN - 1076-9757

VL - 76

SP - 645

EP - 703

JO - Journal of Artificial Intelligence Research

JF - Journal of Artificial Intelligence Research

ER -