Parameterized Complexity of Propositional Inclusion and Independence Logic.

Yasir Mahmood Jonni Virtema

Published in: WoLLIC (2023)

Keyphrases

parameterized complexity
sound and complete axiomatization
horn clauses
propositional logic
symmetry breaking
modal logic
global constraints
automated reasoning
fixed parameter tractable
logic programming
first order logic
optimal solution
data integration
belief revision