A Boolean Extension of KLM-Style Conditional Reasoning. - Guy Paterson-Jones; Giovanni Casini; Thomas Meyer 002 (SACAIR, 2020)

KLM-Style Defeasibility for Restricted First-Order Logic. - Giovanni Casini; Thomas Meyer 002; Guy Paterson-Jones; Ivan Varzinczak (RuleML+RR, 2022)