Franz Baader, Oliver Fernandez Gil, Maximilian Pensel. Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. In Daniel D. Lee, Alexander Steen, Toby Walsh, editors, GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018. Volume 55 of EPiC Series in Computing, pages 1-14, EasyChair, 2018. [doi]
Abstract is missing.