共 50 条
- [1] Formal modelling of cognitive interpretation [J]. INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2007, 4323 : 123 - +
- [4] Formal Verification for Embedded Software with Cognitive Environment Modelling [J]. 2014 IEEE 13TH INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS & COGNITIVE COMPUTING (ICCI-CC), 2014, : 355 - 360
- [5] Evidential Uniqueness in Classical and Formal Cognitive Theory [J]. ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 2017, 71 (02): : 183 - 222
- [7] Towards a Formal Theory of Social Roles in Cognitive Computing and Cognitive Informatics [J]. 2014 IEEE 13TH INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS & COGNITIVE COMPUTING (ICCI-CC), 2014, : 38 - 43
- [10] A formal theory of early cognition development [J]. ADVANCES IN COMPLEX SYSTEMS, 2005, 8 (2-3): : 229 - 260