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 journalArticlepeer-review

8 Downloads (Pure)
Original languageEnglish
Pages (from-to)645-703
JournalJournal of Artificial Intelligence Research
Volume76
Publication statusPublished - 14 Mar 2023

Cite this