Lukas Grätz, Harold Boley, Adrian Paschke. PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine. In Wolfgang Faber 0001, Paul Fodor, Giovanni De Gasperis, Adrian Giurca, Kia Teymourian, editors, Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 20-26, 2018. Volume 2204 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
Abstract is missing.