|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 |  | Haldimann, Jonas ; Šimkus, Mantas ; Meyer, Thomas | Towards Defeasible Reasoning about Actions and Their Effects | Inproceedings Konferenzbeitrag    | 16-Aug-2026 |
| 2 |  | Šimkus, Mantas | A Definitional Fragment of Temporal Equilibrium Logic: from Temporal Programs to Compact Automata | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 3 |  | Buraglio, Giovanni ; Di Stefano, Federica ; Šimkus, Mantas | Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 4 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Shapes from Examples: Foundations of Shape Learning in Recursive SHACL | Preprint Preprint | 30-Jul-2026 |
| 5 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Reaching for the Stars in EL* Concept Learning | Inproceedings Konferenzbeitrag | 25-Jul-2026 |
| 6 | | Oudshoorn, Anouk Michelle ; Ortiz, Magdalena ; Šimkus, Mantas | Static Analysis of Recursive SHACL | Inproceedings Konferenzbeitrag | 17-Jul-2026 |
| 7 | | Oudshoorn, Anouk ; Ortiz, Magdalena ; Šimkus, Mantas | SHACL validation in the presence of ontologies: Semantics and rewriting techniques | Article Artikel | Mar-2026 |
| 8 | | Ahmetaj, Shqiponja ; Boneva, Iovka ; Hidders, Jan ; Jakubowski, Maxime ; Labra-Gayo, Jose-Emilio ; Martens, Wim ; Mogavero, Fabio ; Murlak, Filip ; Okulmus, Cem ; Savkovic, Ognjen ; Šimkus, Mantas ; Tomaszuk, Dominik | Common Foundations for Recursive Shape Languages | Inproceedings Konferenzbeitrag | 2026 |
| 9 | | Haldimann, Jonas ; Ortiz, Magdalena ; Šimkus, Mantas | Towards Practicable Defeasible Reasoning for ABoxes | Inproceedings Konferenzbeitrag | 2-Sep-2025 |
| 10 | | Bednarczyk, Bartosz Jan ; Kojelis, Daumantas ; Pratt-Hartmann, Ian | The adjacent fragment and Quine’s limits of decision | Article Artikel | Sep-2025 |
| 11 | | Löhnert, Bianca ; Augsten, Nikolaus ; Okulmus, Cem ; Ortiz, Magdalena | Towards Practicable Algorithms for Rewriting Graph Queries Beyond DL-Lite | Inproceedings Konferenzbeitrag | 1-Jun-2025 |
| 12 | | Di Stefano, Federica ; Manière, Quentin ; Ortiz, Magdalena ; Simkus, Mantas | Minimal Model Reasoning in Description Logics: Don’t Try This at Home! | Inproceedings Konferenzbeitrag | 2025 |
| 13 | | Di Stefano, Federica ; Lukumbuzya, Sanja ; Ortiz, Magdalena ; Simkus, Mantas | Expressive Description Logics with Rich Yet Affordable Numeric Constraints | Inproceedings Konferenzbeitrag | 2025 |
| 14 | | Ortiz, Magdalena ; Wassermann, Renata ; Schaub, Torsten | Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning | Proceedings Tagungsband | 2025 |
