3 papers
cs.DB2026
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
Philipp Hanisch, Markus Krötzsch
Static filtering is a data-independent optimisation method for Datalog, which generalises algebraic query rewriting techniques from relational databases. In spite of its early disc…
cs.AI2025
Grounding Rule-Based Argumentation Using Datalog
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch +2
ASPIC+ is one of the main general frameworks for rule-based argumentation for AI. Although first-order rules are commonly used in ASPIC+ examples, most existing approaches to reaso…
cs.AI2025
Semantic Web and Creative AI -- A Technical Report from ISWS 2023
Raia Abu Ahmad, Reham Alharbi, Roberto Barile +74
The International Semantic Web Research School (ISWS) is a week-long intensive program designed to immerse participants in the field. This document reports a collaborative effort p…