Agi Kurucz

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 20

Top Topics

Regular Languages

Mazurkiewicz Traces

Top Venues

ACM Trans. Comput. Log.

Publications

Agi Kurucz, Frank Wolter, Michael Zakharyaschev
The interpolant existence problem for weak K4 and difference logic. CoRR (2024)
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. J. Artif. Intell. Res. 76 (2023)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Definitions and (Uniform) Interpolants in First-Order Modal Logic. KR (2023)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Definitions and (Uniform) Interpolants in First-Order Modal Logic. CoRR (2023)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
A non-uniform view of Craig interpolation in modal logics with linear frames. CoRR (2023)
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic. CoRR (2022)
Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
A tetrachotomy of ontology-mediated queries with a covering axiom. Artif. Intell. 309 (2022)
Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
Deciding boundedness of monadic sirups. CoRR (2021)
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Deciding FO-definability of Regular Languages. CoRR (2021)
Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
Deciding Boundedness of Monadic Sirups. PODS (2021)
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Deciding FO-definability of Regular Languages. RAMiCS (2021)
Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom. CoRR (2020)
Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. KR (2020)
Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. Ann. Pure Appl. Log. 171 (5) (2020)
Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. CoRR (2019)
Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. J. Symb. Log. 84 (2) (2019)
Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
On Strictly Positive Modal Logics with S4.3 Frames. Advances in Modal Logic (2018)
Agi Kurucz
Bimodal Logics with a "Weakly Connected" Component without the Finite Model Property. Notre Dame J. Formal Log. 58 (2) (2017)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18 (3) (2017)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). CoRR (2016)
Agi Kurucz
Bimodal logics with a 'weakly connected' component without the finite model property. CoRR (2015)
Christopher Hampson, Stanislav Kikot, Agi Kurucz
The decision problem of modal product logics with a diagonal, and faulty counter machines. CoRR (2015)
Christopher Hampson, Agi Kurucz
Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting. ACM Trans. Comput. Log. 16 (3) (2015)
Christopher Hampson, Agi Kurucz
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting. CoRR (2014)
Christopher Hampson, Agi Kurucz
One-variable first-order linear temporal logics with counting. CSL (2013)
Agi Kurucz
A Note on Axiomatisations of Two-Dimensional Modal Logics. ICLA (2013)
Christopher Hampson, Agi Kurucz
On Modal Products with the Logic of 'Elsewhere'. Advances in Modal Logic (2012)
Agi Kurucz, Sérgio Marcelino
Finite Frames for K4.3 x S5 Are Decidable. Advances in Modal Logic (2012)
Agi Kurucz, Sérgio Marcelino
Non-finitely axiomatisable two-dimensional modal logics. J. Symb. Log. 77 (3) (2012)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
On P/NP Dichotomies for EL Subsumption under Relational Constraints. Description Logics (2011)
David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity CoRR (2011)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. Advances in Modal Logic (2010)
Agi Kurucz
On the Complexity of Modal Axiomatisations over Many-dimensional Structures. Advances in Modal Logic (2010)
Agi Kurucz
Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property. FroCoS (2009)
Agi Kurucz
Weakly associative relation algebras with projections. Math. Log. Q. 55 (2) (2009)
Miklós Erdélyi-Szabó, László Kálmán, Agi Kurucz
Towards a natural language semantics without functors and operands. J. Log. Lang. Inf. 17 (1) (2008)
Agi Kurucz
On axiomatising products of Kripke frames, part II. Advances in Modal Logic (2008)
David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Log. 142 (1-3) (2006)
David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Products of 'transitive' modal logics. J. Symb. Log. 70 (3) (2005)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) (2005)
Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev
Undecidability of first-order intuitionistic and modal logics with two variables. Bull. Symb. Log. 11 (3) (2005)
Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. TIME (2003)
David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference (2003)