A Formal Semantics for the ODP Computational Model.
Elie NajmJean-Bernard StefaniPublished in: Comput. Networks ISDN Syst. (1995)
Keyphrases
- computational model
- formal semantics
- computational models
- computational framework
- cognitive modeling
- modelling language
- operational semantics
- logical language
- first order logic
- language acquisition
- er model
- logical reasoning
- formal language
- artificial intelligence
- database
- cognitive architecture
- modeling language
- working memory
- theorem prover
- collaborative learning
- computational modeling
- open source
- software engineering
- bayesian networks
- machine learning