Parameterized Complexity of Elimination Distance to First-Order Logic Properties.

Fedor V. Fomin Petr A. Golovach Dimitrios M. Thilikos

Published in: LICS (2021)

Keyphrases

first order logic
expressive power
parameterized complexity
propositional logic
inference rules
theorem proving
theorem prover
probabilistic reasoning
knowledge representation
incomplete information
inductive logic programming
transitive closure
horn clauses
markov logic networks
lower bound
np hard