Jakub Rydval

Available identifiers

zbMath Open rydval.jakubMaRDI QIDQ2055792

List of research outcomes

Publication	Date of Publication	Type
On the descriptive complexity of temporal constraint satisfaction problems	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	2022-10-24	Paper
Universal Horn Sentences and the Joint Embedding Property	2022-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q5094139	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	2021-01-21	Paper
Tractable Combinations of Temporal CSPs	2020-12-10	Paper
Homogeneity and Homogenizability: Hard Problems for the Logic SNP	N/A	Paper

Research outcomes over time

This page was built for person: Jakub Rydval