Models for Lattice-Valued First-Order Logic LF(X).
Peishun LiuXue-fang WangPublished in: FSKD (1) (2008)
Keyphrases
- first order logic
- expressive power
- theorem proving
- markov logic networks
- knowledge representation
- inductive logic programming
- probabilistic graphical models
- logical formulas
- inference rules
- valued logic
- representation language
- theorem prover
- propositional logic
- probabilistic reasoning
- constraint databases
- transitive closure
- markov networks
- markov logic
- higher order
- probabilistic model
- database
- quantifier elimination
- latent variables
- fuzzy logic
- relational databases
- knowledge base