A Characterization Theorem for a Modal Description Logic (bibtex)

by Paul Wild and Lutz Schröder

Reference:

Paul Wild and Lutz Schröder: A Characterization Theorem for a Modal Description Logic, 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>},
  doi ={https://doi.org/10.24963/ijcai.2017/181},
  url ={https://doi.org/10.24963/ijcai.2017/181},
}