BibTeX record conf/ausai/BaaderBM12

• > Home > conf/ausai/BaaderBM12

@inproceedings{DBLP:conf/ausai/BaaderBM12,
  author       = {Franz Baader and
                  Stefan Borgwardt and
                  Barbara Morawska},
  editor       = {Michael Thielscher and
                  Dongmo Zhang},
  title        = {A Goal-Oriented Algorithm for Unification in {\unicode{8455}}{\(\mathscr{L}\)}{\(\mathscr{H}\)}\({}_{\mbox{R+}}\)
                  w.r.t. Cycle-Restricted Ontologies},
  booktitle    = {{AI} 2012: Advances in Artificial Intelligence - 25th Australasian
                  Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7691},
  pages        = {493--504},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35101-3\_42},
  doi          = {10.1007/978-3-642-35101-3\_42},
  timestamp    = {Sat, 30 Sep 2023 09:34:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ausai/BaaderBM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}