Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic.
Saved in:
| Title: | Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic. |
|---|---|
| Authors: | Kurucz, Agi1, AGI.KURUCZ@KCL.AC.UK, Ryzhikov, Vladislav2, VLAD@DCS.BBK.AC.UK, Savateev, Yury3, Y.SAVATEEV@SOTON.AC.UK, Zakharyaschev, Michael2, MICHAEL@DCS.BBK.AC.UK |
| Source: | Journal of Artificial Intelligence Research; 2023, Vol. 76, p645-703, 59p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
