1 citations · 1 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.CC2019
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…
cs.LO2019★ 1 cited
Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
Yasir Mahmood, Arne Meier
In this paper, we initiate a systematic study of the parametrised complexity in the field of Dependence Logics which finds its origin in the Dependence Logic of Väänänen from 2007.…