Natasha Alechina'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. pdf    

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