presentation

Rule-Based Reasoning using State Space Search

Dieter De Paepe, Ruben Verborgh, Erik Mannens, Takahiro Kawamura, Heiko Paulheim Published in 2016

Reference details