First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words.
Bharat AdsulSaptarshi SarkarA. V. SreejithPublished in: FCT (2021)
Keyphrases
- first order logic
- quantifier elimination
- expressive power
- propositional logic
- theorem proving
- knowledge representation
- inference rules
- theorem prover
- probabilistic reasoning
- markov networks
- inductive logic programming
- representation language
- probabilistic graphical models
- markov chain
- horn clauses
- relational algebra
- guarded fragment
- markov logic
- logical rules
- transitive closure
- higher order
- constraint databases
- quantifier free
- default logic
- query language
- expert systems
- data mining
- database