An Automata Theoretic Characterization of Weighted First-Order Logic.
Dhruv NevatiaBenjamin MonmegePublished in: CoRR (2023)
Keyphrases
- first order logic
- automata theoretic
- expressive power
- theorem proving
- probabilistic reasoning
- regular path queries
- inference rules
- incomplete information
- temporal logic
- knowledge representation
- probabilistic graphical models
- transitive closure
- theorem prover
- markov networks
- data complexity
- relational algebra
- horn clauses
- relational databases
- query language
- databases
- special case
- regular expressions
- query containment
- expert systems