Jakub Rydval

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 15

Top Topics

Constraint Satisfaction Problems

Description Logics

Top Venues

Description Logics

Publications

Jakub Rydval
Homogeneity and Homogenizability: Hard Problems for the Logic SNP. ICALP (2024)
Jakub Rydval, Zaneta Semanisinová, Michal Wrona
Identifying Tractable Quantified Temporal Constraints within Ord-Horn. CoRR (2024)
Jakub Rydval, Zaneta Semanisinová, Michal Wrona
Identifying Tractable Quantified Temporal Constraints Within Ord-Horn. ICALP (2024)
Manuel Bodirsky, Jakub Rydval
On the Descriptive Complexity of Temporal Constraint Satisfaction Problems. J. ACM 70 (1) (2023)
Franz Baader, Jakub Rydval
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains. J. Autom. Reason. 66 (3) (2022)
Manuel Bodirsky, Johannes Greiner, Jakub Rydval
Tractable Combinations of Temporal CSPs. Log. Methods Comput. Sci. 18 (2) (2022)
Franz Baader, Jakub Rydval
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. JELIA (2021)
Manuel Bodirsky, Jakub Rydval, André Schrottenloher
Universal Horn Sentences and the Joint Embedding Property. Discret. Math. Theor. Comput. Sci. 23 (2) (2021)
Manuel Bodirsky, Jakub Rydval, André Schrottenloher
Universal Horn Sentences and the Joint Embedding Property. CoRR (2021)
Manuel Bodirsky, Simon Knäuer, Jakub Rydval
Amalgamation is Undecidable. CoRR (2021)
Franz Baader, Jakub Rydval
Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract). Description Logics (2020)
Manuel Bodirsky, Johannes Greiner, Jakub Rydval
Tractable Combinations of Temporal CSPs. CoRR (2020)
Franz Baader, Jakub Rydval
Description Logics with Concrete Domains and General Concept Inclusions Revisited. IJCAR (1) (2020)
Manuel Bodirsky, Wied Pakusa, Jakub Rydval
Temporal Constraint Satisfaction Problems in Fixed-Point Logic. LICS (2020)
Manuel Bodirsky, Wied Pakusa, Jakub Rydval
Temporal Constraint Satisfaction Problems in Fixed-Point Logic. CoRR (2020)