Júlia Pukancová, Martin Homola. Tableau-Based ABox Abduction for Description Logics: Preliminary Report. In Maurizio Lenzerini, Rafael Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. Volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]
@inproceedings{PukancovaH16, title = {Tableau-Based ABox Abduction for Description Logics: Preliminary Report}, author = {Júlia Pukancová and Martin Homola}, year = {2016}, url = {http://ceur-ws.org/Vol-1577/paper_23.pdf}, researchr = {https://researchr.org/publication/PukancovaH16}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016}, editor = {Maurizio Lenzerini and Rafael Peñaloza}, volume = {1577}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }