The Implementation of ProTest: a Prolog Debugger for a Refined Box Model.
Adolf SchleiermacherJürgen F. H. WinklerPublished in: Softw. Pract. Exp. (1990)
Keyphrases
- computational model
- mathematical model
- high level
- prior knowledge
- management system
- theoretical analysis
- formal model
- probabilistic model
- experimental data
- statistical model
- abstract machine
- database
- object model
- simulation model
- hierarchical structure
- process model
- parameter estimation
- logic programming
- artificial neural networks
- decision making
- information systems
- machine learning
- data sets