Armstrong's Inference Rules in Dedekind Categories.
Toshikazu IshidaKazumasa HondaYasuo KawaharaPublished in: RelMiCS (2009)
Keyphrases
- inference rules
- first order logic
- functional dependencies
- theorem proving
- logical framework
- modal logic
- theorem prover
- conditional probabilities
- horn clauses
- logic programming language
- set of inference rules
- sequent calculus
- probabilistic knowledge
- truth values
- binary relations
- database design
- tabu search
- decision trees