On the Parameterized Complexity of Learning First-Order Logic.
Steffen van BergeremMartin GroheMartin RitzertPublished in: PODS (2022)
Keyphrases
- first order logic
- markov logic networks
- expressive power
- propositional logic
- inductive logic programming
- theorem prover
- inference rules
- theorem proving
- markov logic
- relational learning
- global constraints
- probabilistic reasoning
- parameterized complexity
- reinforcement learning
- incomplete information
- constraint propagation