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]
@inproceedings{BaaderGP18,
title = {Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata},
author = {Franz Baader and Oliver Fernandez Gil and Maximilian Pensel},
year = {2018},
url = {http://www.easychair.org/publications/paper/H6d9},
researchr = {https://researchr.org/publication/BaaderGP18},
cites = {0},
citedby = {0},
pages = {1-14},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018},
editor = {Daniel D. Lee and Alexander Steen and Toby Walsh},
volume = {55},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}