BibTeX record conf/lpnmr/PenselT17

download as .bib file

@inproceedings{DBLP:conf/lpnmr/PenselT17,
  author    = {Maximilian Pensel and
               Anni{-}Yasmin Turhan},
  title     = {Including Quantification in Defeasible Reasoning for the Description
               Logic EL\({}_{\mbox{{\(\perp\)}}}\)},
  booktitle = {{LPNMR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10377},
  pages     = {78--84},
  publisher = {Springer},
  year      = {2017}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics