Brian Logan's Publications

Ontology Debugging with Truth Maintenance Systems (2010)

By: Hai Nguyen, Natasha Alechina, and Brian Logan

Download Information

Hai Nguyen, Natasha Alechina, and Brian Logan (2010). "Ontology Debugging with Truth Maintenance Systems." ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Workshop Notes (pp. 13-14).

Bibtex citation

@inproceedings{Nguyen//:10a,
author =    "Hai Nguyen and Natasha Alechina and Brian Logan",
title =    "Ontology Debugging with Truth Maintenance Systems",
booktitle =    "{ECAI}-10 Workshop on Automated Reasoning about Context and Ontology Evolution ({ARCOE}-10), Workshop Notes",
editor =    "Alan Bundy and Jos Lehmann and Guilin Qi and Ivan Jose Varzinczak",
pages =    "13--14",
year =    2010,
address =    "Lisbon, Portugal",
month =    "August",
}

---

full list