Successor-invariant first-order logic on finite structures.
Benjamin RossmanPublished in: J. Symb. Log. (2007)
Keyphrases
- first order logic
- expressive power
- theorem proving
- inference rules
- function symbols
- propositional logic
- knowledge representation
- theorem prover
- inductive logic programming
- probabilistic reasoning
- relational structures
- probabilistic graphical models
- markov logic networks
- markov networks
- guarded fragment
- predicate calculus
- representation language
- relational algebra
- proof procedure
- horn clauses
- transitive closure
- valued logic
- markov logic
- logical rules
- probabilistic model