Daumantas Kojelis

According to our database, Daumantas Kojelis authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Adjacent Fragment and Quine's Limits of Decision.

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann

CoRR, 2024

On the Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract).

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023

On the Limits of Decision: the Adjacent Fragment of First-Order Logic.

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023