A Model Elimination Calculus with Built-in Theories (Extended Abstract).
Peter BaumgartnerPublished in: TABLEAUX (1992)
Keyphrases
- extended abstract
- mathematical model
- statistical model
- computational model
- real time
- theoretical framework
- probabilistic model
- network model
- markov random field
- probability distribution
- cost function
- image segmentation
- machine learning
- neural network
- prior knowledge
- evolutionary algorithm
- reinforcement learning
- high level
- computational models