A Boolean Extension of KLM-Style Conditional Reasoning

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]

Authors

Guy Paterson-Jones

This author has not been identified. Look up 'Guy Paterson-Jones' in Google

Giovanni Casini

This author has not been identified. Look up 'Giovanni Casini' in Google

Thomas Meyer

This author has not been identified. Look up 'Thomas Meyer' in Google