On the axiomatizability of some first-order spatio-temporal theories.
Sándor VályiPublished in: Synth. (2015)
Keyphrases
- spatio temporal
- theory revision
- spatial and temporal
- first order logic
- higher order
- image sequences
- knowledge base
- logical theories
- propositional theories
- space time
- quantifier elimination
- spatio temporal patterns
- concept learning
- cognitive psychology
- moving objects
- action theories
- spatio temporal data
- machine learning
- logical formulas
- artificial intelligence
- three dimensional
- bayesian networks
- background knowledge
- stochastic dominance
- video sequences
- expert systems