On the parameterized complexity of non-monotonic logics.

Arne Meier Irina Schindler Johannes Schmidt Michael Thomas Heribert Vollmer

Published in: Arch. Math. Log. (2015)

Keyphrases

parameterized complexity
fixed parameter tractable
expressive power
modal logic
global constraints
inference rules
computational problems
symmetry breaking
knowledge representation