BibTeX record conf/ki/AlrabbaaHT21

• > Home > conf/ki/AlrabbaaHT21

@inproceedings{DBLP:conf/ki/AlrabbaaHT21,
  author       = {Christian Alrabbaa and
                  Willi Hieke and
                  Anni{-}Yasmin Turhan},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Matthias Thimm},
  title        = {Counter Model Transformation for Explaining Non-Subsumption in {EL}},
  booktitle    = {Proceedings of the 7th Workshop on Formal and Cognitive Reasoning
                  co-located with the 44th German Conference on Artificial Intelligence
                  {(KI} 2021), September 28, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2961},
  pages        = {9--22},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2961/paper\_2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:53 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/AlrabbaaHT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}