Hai H. Nguyen, Natasha Alechina, Brian Logan. Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. In Yevgeny Kazakov, Domenico Lembo, Frank Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. Volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]
@inproceedings{NguyenAL12,
title = {Axiom Pinpointing Using an Assumption-Based Truth Maintenance System},
author = {Hai H. Nguyen and Natasha Alechina and Brian Logan},
year = {2012},
url = {http://ceur-ws.org/Vol-846/paper_49.pdf},
researchr = {https://researchr.org/publication/NguyenAL12},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012},
editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter},
volume = {846},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}