The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
Abstract. Attention, which intervenes at many different levels such as the perception of the environment and the allocation of cognitive resources, appears to represent one of the ...
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...
Abstract. This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm c...
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...