| Description logics with concrete domains and general concept inclusions revisited F Baader, J Rydval International Joint Conference on Automated Reasoning, 413-431, 2020 | 13 | 2020 |
| Temporal constraint satisfaction problems in fixed-point logic M Bodirsky, W Pakusa, J Rydval Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 10 | 2020 |
| Using model theory to find decidable and tractable description logics with concrete domains F Baader, J Rydval Journal of Automated Reasoning 66 (3), 357-407, 2022 | 8 | 2022 |
| On the descriptive complexity of temporal constraint satisfaction problems M Bodirsky, J Rydval Journal of the ACM 70 (1), 1-58, 2022 | 6 | 2022 |
| An algebraic view on p-admissible concrete domains for lightweight description logics F Baader, J Rydval European Conference on Logics in Artificial Intelligence, 194-209, 2021 | 5 | 2021 |
| Using model-theory to find ω-admissible concrete domains. LTCS-Report 20-01, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden … F Baader, J Rydval | 5 | |
| Universal Horn sentences and the joint embedding property M Bodirsky, J Rydval, A Schrottenloher Discrete Mathematics & Theoretical Computer Science 23 (Special issues), 2022 | 2 | 2022 |
| Tractable Combinations of Temporal CSPs M Bodirsky, J Greiner, J Rydval Logical Methods in Computer Science 18, 2022 | 1 | 2022 |
| Using model theory to find decidable and tractable description logics with concrete domains J Rydval | 1 | 2022 |
| An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics: Extended Version F Baader Deutsche Nationalbibliothek, 2020 | 1 | 2020 |
| Identifying Tractable Quantified Temporal Constraints within Ord-Horn J Rydval, Ž Semanišinová, M Wrona arXiv preprint arXiv:2402.09187, 2024 | | 2024 |
| Homogeneity and Homogenizability: Hard Problems for the Logic SNP J Rydval arXiv preprint arXiv:2108.00452, 2021 | | 2021 |
| Amalgamation is PSPACE-hard M Bodirsky, S Knäuer, J Rydval arXiv e-prints, arXiv: 2108.00452, 2021 | | 2021 |
| LTCS–Report M Bodirsky, W Pakusa, J Rydval | | 2020 |
| Using model theory to find w-admissible concrete domains F Baader, J Rydval | | 2020 |
