Júlia Pukancová, Martin Homola. Tableau-Based ABox Abduction for the ALCHO Description Logic. In Alessandro Artale, Birte Glimm, Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]
@inproceedings{PukancovaH17, title = {Tableau-Based ABox Abduction for the ALCHO Description Logic}, author = {Júlia Pukancová and Martin Homola}, year = {2017}, url = {http://ceur-ws.org/Vol-1879/paper11.pdf}, researchr = {https://researchr.org/publication/PukancovaH17}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017}, editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov}, volume = {1879}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }