Filters: Author is Guilin Qi  [Clear All Filters]
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)