The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic.
Jacques CazinRené JacquartP. MichelPublished in: ER (1985)
Keyphrases
- first order logic
- knowledge representation
- probabilistic reasoning
- representation language
- expressive power
- propositional logic
- inference rules
- theorem proving
- inductive logic programming
- markov networks
- temporal knowledge
- relational algebra
- highly expressive
- probabilistic graphical models
- theorem prover
- transitive closure
- database design
- closure operator
- incomplete information
- computational properties
- markov logic networks
- horn clauses
- databases
- constraint databases
- markov logic
- database
- formal model
- conceptual model
- object oriented
- relational structures
- relational databases
- natural language
- monadic second order logic