In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
Alireza Tamaddoni-Nezhad, Antonis C. Kakas, Stephe...
: During software development projects there is always a particular working “product” that is generated but rarely managed: the knowledge and experience that team members acqui...
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
Inspectable Bayesian student models have been used to support student reflection, knowledge awareness and communication among teacher, students and parents. This paper presents a...