Alternating complexity of counting first-order logic for the subword order.

Dietrich Kuske Christian Schwarz

Published in: Acta Informatica (2023)

Keyphrases

first order logic
expressive power
propositional logic
theorem proving
transitive closure
probabilistic reasoning
inference rules
markov logic networks
computational complexity
inductive logic programming
theorem prover
representation language
markov networks
probabilistic graphical models