Jakub Rydval

MaRDI QIDQ2055792zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the descriptive complexity of temporal constraint satisfaction problems Journal of the ACM	2024-07-04	Paper
Description logics with concrete domains and general concept inclusions revisited	2022-11-09	Paper
Using model theory to find decidable and tractable description logics with concrete domains Journal of Automated Reasoning	2022-10-24	Paper
Universal Horn Sentences and the Joint Embedding Property Discrete Mathematics & Theoretical Computer Science	2022-09-30	Paper
Universal Horn Sentences and the Joint Embedding Property Discrete Mathematics & Theoretical Computer Science	2022-09-30	Paper
Tractable combinations of temporal CSPs (available as arXiv preprint)	2022-08-02	Paper
Tractable combinations of temporal CSPs	2022-08-02	Paper
An algebraic view on p-admissible concrete domains for lightweight description logics	2021-12-01	Paper
Temporal constraint satisfaction problems in fixed-point logic Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Tractable Combinations of Temporal CSPs (available as arXiv preprint)	2020-12-10	Paper
Homogeneity and Homogenizability: Hard Problems for the Logic SNP (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Jakub Rydval