Cerone, Antonio
(Software Engineering and Formal Methods, 2020)
In this paper we present a basic language for describing
human behaviour and reasoning and present the cognitive architecture
underlying the semantics of the language. The language is illustrated
through a number of ...