Guy Paterson-Jones

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Reasoning Mechanisms

Representation Language

Propositional Logic

Top Venues

Publications

Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak
KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR (2022)
Guy Paterson-Jones, Giovanni Casini, Thomas Meyer
A Boolean Extension of KLM-Style Conditional Reasoning. SACAIR (2020)