Parameterised Complexity of Abduction in Schaefer's Framework

Yasir Mahmood, Arne Meier, Johannes Schmidt

Abductive reasoning is a non-monotonic formalism stemming from the work of Peirce. It describes the process of deriving the most plausible explanations of known facts. Considering…