The formalization of a cognitive architecture and its application to reasoning about human computer interaction

DOI10.1007/S001659970004zbMath0969.68577OpenAlexW2067391317MaRDI QIDQ5938662

No author found.

Publication date: 1 October 2001

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001659970004

zbMATH Keywords

cognitive modelsHCIinteractormodal action logic

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computer system organization (68M99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

An approach to formal verification of human-computer interaction ⋮ Verification-guided modelling of salience and cognitive load

This page was built for publication: The formalization of a cognitive architecture and its application to reasoning about human computer interaction