First-order theories of subgroups of divisible Hahn products.
F. LucasPublished in: Ann. Pure Appl. Log. (2003)
Keyphrases
- theory revision
- higher order
- first order logic
- subgroup discovery
- action theories
- knowledge base
- logical theories
- theoretical framework
- product information
- logical formulas
- quantifier elimination
- classical first order logic
- propositional theories
- stochastic dominance
- product line
- concept learning
- computational models
- website