|
1 |
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
Hanisch, Philipp. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026
|
|
|
|
2 |
Attributed Logics for Reasoning over Knowledge Graphs
Marx, Maximilian. - Dresden : Technische Universität Dresden, 2025
|
|
|
|
3 |
Modern Datalog: Concepts, Methods, Applications (Invited Paper)
Krötzsch, Markus. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
4 |
Verifying Datalog Reasoning with Lean
Tantow, Johannes. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
5 |
Tuple-Generating Dependencies Capture Complex Values
Marx, Maximilian. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
|
|
|
6 |
Reasoner = Logical Calculus + Rule Engine
Enthalten in Künstliche Intelligenz 30.7.2020: 1-11
|
|
|
|
7 |
The Power of the Terminating Chase (Invited Talk)
Krötzsch, Markus. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
|
|
|
|
8 |
Preserving Constraints with the Stable Chase
Carral, David. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
|
|
|
|
9 |
The Semantic Web – ISWC 2016
Cham : Springer International Publishing, 2016, 1st edition 2016
|
|
|
|
10 |
The Semantic Web – ISWC 2016
Cham : Springer International Publishing, 2016, 1st edition 2016
|
|
Administration
