First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies.
Jean-Marie NicolasPublished in: SIGMOD Conference (1978)
Keyphrases
- first order logic
- knowledge representation
- expressive power
- theorem proving
- multi valued
- inference rules
- theorem prover
- propositional logic
- probabilistic reasoning
- markov networks
- representation language
- inductive logic programming
- probabilistic graphical models
- transitive closure
- artificial intelligence
- formal semantics
- quantifier elimination
- horn clauses
- markov logic networks
- multivalued dependencies
- natural language
- relational algebra
- probabilistic model
- operational semantics
- highly expressive
- quantifier free
- function symbols
- logic programming