Efficient Dependency Analysis for Rule-Based Ontologies

von González, Larry
Veröffentlicht in International Semantic Web Conference (21. : 2022 : Online) The semantic web - ISWC 2022 (2022)

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

von Bromberger, Martin
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)