An Automata Theoretic Characterization of Weighted First-Order Logic.
Dhruv NevatiaBenjamin MonmegePublished in: ATVA (1) (2023)
Keyphrases
- first order logic
- automata theoretic
- expressive power
- theorem proving
- probabilistic reasoning
- temporal logic
- inference rules
- knowledge representation
- theorem prover
- markov networks
- regular path queries
- probabilistic graphical models
- transitive closure
- incomplete information
- horn clauses
- relational algebra
- answering queries
- machine learning
- np hard
- temporal reasoning
- automated reasoning
- data management
- model checking
- bayesian networks