Jürgen Angele, Kevin Angele. OO-logic: a Successor of F-logic. In Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros Stefaneas, Alexander Steen, Adrian Giurca, editors, Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) DecisionCAMP 2019 (DecisionCAMP 2019), Bolzano, Italy, September 16-24, 2019. Volume 2438 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
Abstract is missing.