Nonstandard model in propositional dynamic logic.
Francine BermanPublished in: Logic of Programs (1980)
Keyphrases
- computational model
- real time
- high level
- formal model
- neural network model
- case study
- theoretical framework
- prior knowledge
- cost function
- probabilistic model
- management system
- general purpose
- theoretical analysis
- parameter estimation
- recommender systems
- process model
- conceptual model
- artificial neural networks
- relational databases