Jakub Rydval

According to our database, Jakub Rydval authored at least 11 papers between 2020 and 2024.

Collaborative distances:

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

2024

Identifying Tractable Quantified Temporal Constraints within Ord-Horn.

Jakub Rydval, Zaneta Semanisinová, Michal Wrona

CoRR, 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