Robert A. Kowalski, Fariba Sadri, Miguel Calejo. How to do it with LPS (Logic-Based Production System). In Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel, editors, Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017. Volume 1875 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]
Abstract is missing.