Publications

Filters: Author is Yevgeny Kazakov  [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)