This paper introduces declarative reflection schemata and describes implementation tools for it. The keywords are planning and inference, i.e. a declarative (nonprocedural) description of self must exist and be used for making inferences about the future activities of the reflective system and about consequences of these activities. The NUT system is used as a platform for intelligent agents wi...

This thesis describes a new approach to declarative debugging (error diagnosis) of logic programs. The main contributions are: • “Declarative source debugging”, a new approach requiring less queries from the user. • Improved algorithms for classical “declarative execution debugging”. • Support for Prolog impurities, such as cuts and side-effects. • The use of suspect trees, allowing uniform tre...

‘High-quality talk’ is a fundamental principle of many approaches to teaching grammar. However, relatively few studies have attempted characterize this talk with attention the ways in which classroom dialogue might engender metalinguistic thinking. This paper explores how concepts procedural and declarative knowledge may be applied discourse order identify problems potentials grammatical ‘Metat...

We explore the extent to which Anderson’s (1987) theory of knowledge compilotion con account for the relationship between instructions and practice in learning to use a simple device. Bibby and Payne (1993) reported experimental support for knowledge compilation in this domain. This article replicates the finding of a performance cross-over between instruction type and task type that disappears...

An object-oriented knowledge-based system developed on a new knowledge representation paradigm is presented. The high-level architecture includes a problem-solving engine, a user interface, and tools. The low-level architecture is described by more than fifty different kinds of objects that are implemented in the system as Smalltalk classes. A problem-solving engine implements a knowledge sourc...

This paper reports on progress towards a tool for the representation of shared, procedural and declarative knowledge whose aim is to be used for various functions to do with the automation of a complex process control application primarily to guide the response phase during an emergency situation, but also for supporting normal automated operation. The tool is a Knowledge Engineering Web Interf...

Building military simulations requires bridging the gap between the knowledge of commanders and computer representations of that knowledge. A significant part of this knowledge concerns military tasks, their interactions, and an understanding of how to grade their achievement. Action Models describe the complex spatial and temporal dynamics of goal directed tasks with a graphical notation. Comm...

This study examined the effects of using serious games for training on task performance and declarative knowledge outcomes. The purpose was to determine if serious games are more effective training tools than traditional methods. Self-efficacy, expectations for training, and engagement were considered as moderators of the relationship between type of training and task performance as well as typ...

kLog is a framework for kernel-based learning that has already proven successful in solving a number of relational tasks in natural language processing. In this paper, we present kLogNLP, a natural language processing module for kLog. This module enriches kLog with NLP-specific preprocessors, enabling the use of existing libraries and toolkits within an elegant and powerful declarative machine ...