A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics

A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics

Proceedings of the 16th European Conference on Artificial Intelligence (ECAI '04) - -2004

Authors

Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina

DOI

https://doi.org/10.1016/j.elerap.2005.06.004

BibTex references

@InProceedings{CDDDM04,
  author       = "Colucci, Simona and Di Noia, Tommaso and Di Sciascio, Eugenio and Donini, Francesco M. and Mongiello, Marina",
  title        = "A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics",
  booktitle    = "Proceedings of the 16th European Conference on Artificial Intelligence (ECAI '04)",
  pages        = "975--976",
  year         = "2004",
  publisher    = "IOS Press",
  url          = "http://sisinflab.poliba.it/Publications/2004/CDDDM04"

}