Daumantas Kojelis

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Extended Abstract

Decision Processes

Top Venues

Description Logics

Publications

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
On the of Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract). Description Logics (2024)
Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
On the of Limits of Decision: the Adjacent Fragment of First-Order Logic. CoRR (2023)
Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
On the Limits of Decision: the Adjacent Fragment of First-Order Logic. ICALP (2023)