Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic.
Luis Henrique BustamanteAna Teresa C. MartinsFrancicleber Martins FerreiraPublished in: WoLLIC (2018)
Keyphrases
- first order logic
- parameterized complexity
- expressive power
- theorem proving
- propositional logic
- probabilistic reasoning
- knowledge representation
- inductive logic programming
- inference rules
- global constraints
- mazurkiewicz traces
- fixed parameter tractable
- theorem prover
- incomplete information
- transitive closure
- symmetry breaking
- tree structure