Ulrike Barthelmeß, Claudia Schon, Ulrich Furbach. Consciousness and Automated Reasoning. In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm, editors, Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020. Volume 2680 of CEUR Workshop Proceedings, pages 12-26, CEUR-WS.org, 2020. [doi]
Abstract is missing.