BibTeX record conf/ki/2023fcr

download as .bib file

@proceedings{DBLP:conf/ki/2023fcr,
  editor       = {Christoph Beierle and
                  Kai Sauerwald and
                  Fran{\c{c}}ois Schwarzentruber and
                  Frieder Stolzenburg},
  title        = {Proceedings of the 9th Workshop on Formal and Cognitive Reasoning
                  co-located with the 46th German Conference on Artificial Intelligence
                  {(KI} 2023), Berlin, Germany, September 26, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3500},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3500},
  urn          = {urn:nbn:de:0074-3500-2},
  timestamp    = {Fri, 24 Nov 2023 12:33:41 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/2023fcr.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics