KLM-Style Defeasibility for Restricted First-Order Logic

Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak. KLM-Style Defeasibility for Restricted First-Order Logic. In Guido Governatori, Anni-Yasmin Turhan, editors, Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Volume 13752 of Lecture Notes in Computer Science, pages 81-94, Springer, 2022. [doi]

Authors

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

Guy Paterson-Jones

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

Ivan Varzinczak

This author has not been identified. Look up 'Ivan Varzinczak' in Google