Rule-Based Reasoning using State Space Search

Dieter De Paepe, Ruben Verborgh, Erik Mannens. Rule-Based Reasoning using State Space Search. In Takahiro Kawamura, Heiko Paulheim, editors, Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 19, 2016. Volume 1690 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.