Syllogistic Reasoning under the Weak Completion Semantics

Ana Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni. Syllogistic Reasoning under the Weak Completion Semantics. In Claudia Schon, Ulrich Furbach, editors, Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, USA, July 9, 2016. Volume 1651 of CEUR Workshop Proceedings, pages 5-19, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.