Observational semantics of the Prolog Resolution Box Model
Pierre DeransartMireille DucasséGérard FerrandPublished in: CoRR (2007)
Keyphrases
- theoretical analysis
- computational model
- statistical model
- high level
- formal model
- prior knowledge
- probabilistic model
- conceptual model
- database
- experimental data
- semantic description
- formal semantics
- neural network model
- mathematical model
- management system
- probability distribution
- objective function
- genetic algorithm
- machine learning