Jakub Rydval

19 papers A* 4B 2Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Containment for Guarded Monotone Strict NP.
ICALP
Alexey Barsukov, Michael Pinsker, Jakub Rydval
2025 B conf
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction.
MFCS
Michael Pinsker, Jakub Rydval, Moritz Schöbi, Christoph Spiess
2025 J jnl
Three meta-questions on infinite-domain Constraint Satisfaction Problems.
CoRR
Michael Pinsker, Jakub Rydval, Moritz Schöbi, Christoph Spiess
2024 A* conf
Homogeneity and Homogenizability: Hard Problems for the Logic SNP.
ICALP
Jakub Rydval
2024 A* conf
Identifying Tractable Quantified Temporal Constraints Within Ord-Horn.
ICALP
Jakub Rydval, Zaneta Semanisinová, Michal Wrona
2024 J jnl
Identifying Tractable Quantified Temporal Constraints within Ord-Horn.
CoRR
Jakub Rydval, Zaneta Semanisinová, Michal Wrona
2023 J jnl
On the Descriptive Complexity of Temporal Constraint Satisfaction Problems.
J. ACM
Manuel Bodirsky, Jakub Rydval
2022 J jnl
Tractable Combinations of Temporal CSPs.
Log. Methods Comput. Sci.
Manuel Bodirsky, Johannes Greiner, Jakub Rydval
2022 J jnl
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains.
J. Autom. Reason.
Franz Baader, Jakub Rydval
2022 — —
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains.
Jakub Rydval
2021 J jnl
Amalgamation is Undecidable.
CoRR
Manuel Bodirsky, Simon Knäuer, Jakub Rydval
2021 B conf
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics.
JELIA
Franz Baader, Jakub Rydval
2021 J jnl
Universal Horn Sentences and the Joint Embedding Property.
CoRR
Manuel Bodirsky, Jakub Rydval, André Schrottenloher
2021 J jnl
Universal Horn Sentences and the Joint Embedding Property.
Discret. Math. Theor. Comput. Sci.
Manuel Bodirsky, Jakub Rydval, André Schrottenloher
2020 — conf
Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract).
Description Logics
Franz Baader, Jakub Rydval
2020 — conf
Description Logics with Concrete Domains and General Concept Inclusions Revisited.
IJCAR (1)
Franz Baader, Jakub Rydval
2020 A* conf
Temporal Constraint Satisfaction Problems in Fixed-Point Logic.
LICS
Manuel Bodirsky, Wied Pakusa, Jakub Rydval
2020 J jnl
Temporal Constraint Satisfaction Problems in Fixed-Point Logic.
CoRR
Manuel Bodirsky, Wied Pakusa, Jakub Rydval
2020 J jnl
Tractable Combinations of Temporal CSPs.
CoRR
Manuel Bodirsky, Johannes Greiner, Jakub Rydval