Segui
Jakub Rydval
Jakub Rydval
Email verificata su tuwien.ac.at - Home page
Titolo
Citata da
Citata da
Anno
Description logics with concrete domains and general concept inclusions revisited
F Baader, J Rydval
International Joint Conference on Automated Reasoning, 413-431, 2020
112020
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
92020
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
62022
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
52021
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
On the descriptive complexity of temporal constraint satisfaction problems
M Bodirsky, J Rydval
Journal of the ACM 70 (1), 1-58, 2022
42022
Universal Horn sentences and the joint embedding property
M Bodirsky, J Rydval, A Schrottenloher
Discrete Mathematics & Theoretical Computer Science 23 (Special issues), 2022
22022
Tractable Combinations of Temporal CSPs
M Bodirsky, J Greiner, J Rydval
Logical Methods in Computer Science 18, 2022
12022
Using model theory to find decidable and tractable description logics with concrete domains
J Rydval
12022
An Algebraic View on P-Admissible Concrete Domains for Lightweight Description Logics:(Extended Version)
F Baader, J Rydval
Technische Universität Dresden, 2020
12020
Identifying Tractable Quantified Temporal Constraints within Ord-Horn
J Rydval, Ž Semanišinová, M Wrona
arXiv preprint arXiv:2402.09187, 2024
2024
Amalgamation is PSPACE-hard
M Bodirsky, S Knäuer, J Rydval
arXiv preprint 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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–14