Browsing Computer Science by Type "Conference Paper"

Now showing items 1-3 of 3

BEHAVIOUR AND REASONING DESCRIPTION LANGUAGE (BRDL)

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 ...
A FORMAL MODEL FOR EMULATING THE GENERATION OF HUMAN KNOWLEDGE IN SEMANTIC MEMORY

Cerone, Antonio; Pluck, Graham (From Data to Models and Back, 2021-03)

The transfer of information processed by human beings from their short-term memory (STM) to their semantic memory creates two kinds of knowledge: a semantic network of associations and a structured set of rules to govern ...
A FORMAL MODEL FOR THE SIMULATION AND ANALYSIS OF EARLY BIOFILM FORMATION

Cerone, Antonio; Marsili, Enrico (From Data to Models and Back, 2021-03-05)

Biofilms are structured communities of bacterial cells adherent to a surface. This bacterial state is called sessile. This paper focuses on the modelling of the transition between planktonic and sessile state using ...