Frame Theory, Dependence Logic and Strategies.
Ralf NaumannWiebke PetersenPublished in: TbiLLC (2013)
Keyphrases
- theoretical framework
- formal theory
- computer algebra
- set theory
- proof theory
- commonsense reasoning
- probability theory
- deductive reasoning
- modal logic
- classical logic
- general theory
- search strategies
- video frames
- information systems
- decision theory
- learning algorithm
- multi valued
- bayesian networks
- algebraic structure
- image sequences
- feature selection