Guy Paterson-Jones, Giovanni Casini, Thomas Meyer. A Boolean Extension of KLM-Style Conditional Reasoning. In Aurona J. Gerber, editor, Artificial Intelligence Research - First Southern African Conference for AI Research, SACAIR 2020, Muldersdrift, South Africa, February 22-26, 2021, Proceedings. Volume 1342 of Communications in Computer and Information Science, pages 236-252, Springer, 2020. [doi]
Abstract is missing.