Formal Specification of Cognitive Models in CARINA.
Alba J. JeronimoManuel Fernando Caro PiñeresAdan A. GomezPublished in: ICCI*CC (2018)
Keyphrases
- formal specification
- cognitive models
- cognitive processes
- cognitive model
- model checking
- cognitive modeling
- specification languages
- object oriented design
- process algebra
- cognitive science
- reverse engineering
- formal methods
- cognitive architecture
- computational models
- concurrent systems
- causal inferences
- software components
- business rules
- databases
- student model
- computational model
- fine grained
- software engineering