Frieder Stolzenburg, Raimund Lüderitz. Syllogistic Reasoning in Seven Spaces. In Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, editors, Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), Dortmund, Germany, September 26, 2017. Volume 1928 of CEUR Workshop Proceedings, pages 77-88, CEUR-WS.org, 2017. [doi]
Abstract is missing.