Brian Logan's Publications

Axiom Pinpointing Using an Assumption-Based Truth Maintenance System (2012)

By: Hai Nguyen, Natasha Alechina, and Brian Logan

Download Information

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.

Bibtex citation

@inproceedings{Nguyen//:12a,
author =    "Hai Nguyen and Natasha Alechina and Brian Logan",
title =    "Axiom Pinpointing Using an Assumption-Based Truth Maintenance System",
booktitle =    "Proceedings of the 25th International Workshop on Description Logics ({DL} 2012)",
editor =    "Yevgeny Kazakov and Domenico Lembo, and Frank Wolter",
pages =    "290-300",
year =    2012,
address =    "Rome, Italy",
month =    "June",
note =    "{CEUR} Workshop Proceedings Vol-846",
issn =    "1613--0073",
}

---

full list