Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha. The Weak Completion Semantics. In Claudia Schon, Ulrich Furbach, editors, Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017. Volume 1994 of CEUR Workshop Proceedings, pages 18-30, CEUR-WS.org, 2017. [doi]
Abstract is missing.