First-order theories of abstract dependence relations.
John T. BaldwinPublished in: Ann. Pure Appl. Log. (1984)
Keyphrases
- theory revision
- logical theories
- higher order
- horn clauses
- first order logic
- stochastic dominance
- higher level
- theoretical framework
- database systems
- pairwise
- temporal relations
- domain theory
- inductive logic programming systems
- logical formulas
- action theories
- real numbers
- relational learning
- data sets
- semantic relations
- fuzzy sets
- low level
- knowledge base