Publications

Filters: Author is Hai Nguyen  [Clear All Filters]
2012
Nguyen, Hai, Natasha Alechina, and Brian Logan. "Axiom Pinpointing Using an Assumption-Based Truth Maintenance System." In Proceedings of the 25th International Workshop on Description Logics (DL 2012), edited by Yevgeny Kazakov, Domenico Lembo and Frank Wolter, 290-300. Rome, Italy, 2012. Download: Nguyen++:12a.pdf (333.1 KB)
2010
Nguyen, Hai, Natasha Alechina, and Brian Logan. "Ontology Debugging with Truth Maintenance Systems." In ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Workshop Notes, edited by Alan Bundy, Jos Lehmann, Guilin Qi and Ivan Jose Varzinczak, 13-14. Lisbon, Portugal, 2010. Download: Nguyen++:10a.pdf (101 KB)