A note on the first-order theories of equilibrium figures of celestial bodies.
José A. López OrtíManuel Forner GumbauMiguel Barreda RocheraPublished in: Int. J. Comput. Math. (2011)
Keyphrases
- theory revision
- first order logic
- higher order
- game theory
- action theories
- nash equilibrium
- variational inequalities
- logical theories
- classical first order logic
- quantifier elimination
- logical formulas
- concept learning
- cognitive psychology
- theoretical framework
- stochastic dominance
- sensitivity analysis
- background knowledge
- linear temporal logic
- knowledge base
- single commodity
- machine learning