We introduce a declarative approach to kernel design based on background knowledge expressed in the form of logic programs. The theoretical foundation of declarative kernels is mereotopology, a general theory for studying parts and wholes and for defining topological relations among parts. Declarative kernels can be used to specify a broad class of kernels over relational data and represent a s...

In this paper a semantical framework is developed that provides a logical description of the functionality of an interactive reasoning module. In particular it can be made more transparent by this framework whether or not the conclusions that may be drawn by a reasoning module fit to the situation that is concerned (soundness and completeness). It will be established that, considered from the v...

i-footman constitutes a knowledge-based framework aiming to provide assistive services to football managers. More precisely, the system accommodates a number of managing processes (e.g., selection of team composition) in the context of football by adopting a declarative approach. It also takes advantage of Semantic Web technologies in order to represent and manage the required application model...

Intellectualism – the thesis that know-how is a kind of knowthat – has proved difficult to assess by the traditional philosophical method of conceptual analysis. Recently, some authors have argued that we should instead look to results in psychology – specifically whether all procedural knowledge is declarative knowledge. I argue that such an approach is unsatisfactory, since the concepts emplo...

The goal of a mediator system is to provide users a uniform interface to the multitude of information sources. To translate user queries, given in a mediated schema, to queries on the data sources, mediators rely on explicit mappings between the contents of the data sources and the meanings of the relations in the mediated schema. Thus far, contents of data sources were described qualitatively....

A ssessment is an indispensable aspect of academic life a natural partner to curriculum and a central component in medical education (1). Aside from its core objective of gauging student performance, assessment is also crucial for documenting the attainment of learning outcomes, verifying medical competence and, ultimately, minimizing risks to patients arising from an unsatisfactory knowledge b...

The paper introduces a language for representing knowledge in a declarative form. With this language it is possible to define knowledge about a certain domain by introducing a number of concepts and by specifying their interrelations. The paper is meant to be an informal introduction to the language. We present the available constructs, describe their meaning and present a number of examples. I...

In this paper we introduce an Intelligent Web-Based Learning System Virtus which supports role-based collaboration using a group contract model (a charter) based on roles and rules. The originality of our work consists, on the one hand, in proposing a declarative language to express contracts using declarative rules, commitments and role responsibilities and, on the other hand, in automatically...

Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. It is therefore in a natural way that we use Dynamic Logic Programming (DLP), an extension of AnswerSet Programming that allows for the representation of knowledge that changes with time, to represent the goals of the...