Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata

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]

Authors

Franz Baader

This author has not been identified. Look up 'Franz Baader' in Google

Oliver Fernandez Gil

This author has not been identified. Look up 'Oliver Fernandez Gil' in Google

Maximilian Pensel

This author has not been identified. Look up 'Maximilian Pensel' in Google