BibTeX record conf/kr/GallianiKT23

download as .bib file

@inproceedings{DBLP:conf/kr/GallianiKT23,
  author       = {Pietro Galliani and
                  Oliver Kutz and
                  Nicolas Troquard},
  editor       = {Pierre Marquis and
                  Tran Cao Son and
                  Gabriele Kern{-}Isberner},
  title        = {Succinctness and Complexity of {ALC} with Counting Perceptrons},
  booktitle    = {Proceedings of the 20th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
                  September 2-8, 2023},
  pages        = {291--300},
  year         = {2023},
  url          = {https://doi.org/10.24963/kr.2023/29},
  doi          = {10.24963/KR.2023/29},
  timestamp    = {Tue, 05 Sep 2023 14:50:53 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/GallianiKT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics