Jakub Rydval

According to our database, Jakub Rydval authored at least 15 papers between 2020 and 2025.

Collaborative distances:

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

2025

Three meta-questions on infinite-domain Constraint Satisfaction Problems.

Michael Pinsker, Jakub Rydval, Moritz Schöbi, Christoph Spiess

CoRR, February, 2025

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction.

Michael Pinsker, Jakub Rydval, Moritz Schöbi, Christoph Spiess

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

Containment for Guarded Monotone Strict NP.

Alexey Barsukov, Michael Pinsker, Jakub Rydval

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

2024

Identifying Tractable Quantified Temporal Constraints Within Ord-Horn.

Jakub Rydval, Zaneta Semanisinová, Michal Wrona

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

Homogeneity and Homogenizability: Hard Problems for the Logic SNP.

Jakub Rydval

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2023

On the Descriptive Complexity of Temporal Constraint Satisfaction Problems.

Manuel Bodirsky, Jakub Rydval

J. ACM, February, 2023

2022

Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains.

Jakub Rydval

PhD thesis, 2022

Tractable Combinations of Temporal CSPs.

Manuel Bodirsky, Johannes Greiner, Jakub Rydval

Log. Methods Comput. Sci., 2022

Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains.

Franz Baader, Jakub Rydval

J. Autom. Reason., 2022

2021

Universal Horn Sentences and the Joint Embedding Property.

Manuel Bodirsky, Jakub Rydval, André Schrottenloher

Discret. Math. Theor. Comput. Sci., 2021

Amalgamation is Undecidable.

Manuel Bodirsky, Simon Knäuer, Jakub Rydval

CoRR, 2021

An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics.

Franz Baader, Jakub Rydval

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

2020

Temporal Constraint Satisfaction Problems in Fixed-Point Logic.

Manuel Bodirsky, Wied Pakusa, Jakub Rydval

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract).

Franz Baader, Jakub Rydval

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Description Logics with Concrete Domains and General Concept Inclusions Revisited.

Franz Baader, Jakub Rydval

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020