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]
@inproceedings{AngeleA19,
title = {OO-logic: a Successor of F-logic},
author = {Jürgen Angele and Kevin Angele},
year = {2019},
url = {http://ceur-ws.org/Vol-2438/paper5.pdf},
researchr = {https://researchr.org/publication/AngeleA19},
cites = {0},
citedby = {0},
booktitle = {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},
editor = {Ahmet Soylu and Sotiris Moschoyiannis and Guido Governatori and Mantas Simkus and Petros Stefaneas and Alexander Steen and Adrian Giurca},
volume = {2438},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}