Hai Nguyen, Natasha Alechina, and Brian Logan (2012). "Axiom Pinpointing Using an Assumption-Based Truth Maintenance System." Proceedings of the 25th International Workshop on Description Logics (DL 2012) (pp. 290-300).
CEUR Workshop Proceedings Vol-846.
| |
|
|