Christoph Beierle, Kai Sauerwald, François Schwarzentruber, Frieder Stolzenburg, editors, 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. Volume 3500 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Conference: ki2023
@proceedings{ki-2023fcr, 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}, year = {2023}, url = {https://nbn-resolving.org/urn:nbn:de:0074-3500-2}, researchr = {https://researchr.org/publication/ki-2023fcr}, cites = {0}, citedby = {0}, booktitle = {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}, conference = {ki}, editor = {Christoph Beierle and Kai Sauerwald and François Schwarzentruber and Frieder Stolzenburg}, volume = {3500}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }