A Characterization Theorem for a Modal Description Logic (bibtex)
by Paul Wild, Lutz Schröder
Reference:
A Characterization Theorem for a Modal Description Logic (Paul Wild, Lutz Schröder), In International Joint Conference on Artificial Intelligence, IJCAI 2017, IJCAI/AAAI, 2017. [preprint]
Bibtex Entry:
@inproceedings{WildSchroder17,
  author = 	 {Paul Wild and Lutz Schr{\"o}der},
  title = 	 {A Characterization Theorem for a Modal Description Logic},
  year = 	 {2017},
  booktitle = {International Joint Conference on Artificial Intelligence, IJCAI 2017},
  publisher = {IJCAI/AAAI},
  comment = {<a href="https://arxiv.org/abs/1705.06214">[preprint]</a>},
}
Powered by bibtexbrowser