Meghna Bhadra, Steffen Hölldobler. The Weak Completion Semantics and Counter Examples. In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm, editors, Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021. Volume 2961 of CEUR Workshop Proceedings, pages 60-73, CEUR-WS.org, 2021. [doi]
Abstract is missing.