Classical knowledge production is an author-centered process. The emergence of cooperative internet technologies such as wikis or blogs shows a shift towards stronger cooperative production and communication of knowledge, closing the gap between readers and authors. The incorporation of such…

This paper deals with lifelong learning. Based on a three-year case study it provides evidence of innovations in this area. The paper aims to add to the body of work in blended learning by providing evidence of knowledge, persuasion, decision,…

The software industry blames universities for their graduates lacking necessary skills, meaning that just the possession of knowledge does not necessarily imply the competent performance required by the profession.
Professional maturity in software engineering is one of software industry’s major…

The design of intelligent agents is a key issue for many applications. Although there is no universally accepted de nition of intelligence, a notion of rational agency has been proposed as an alternative for the characterization of intelligent agency.
Modeling…

In this work two declarative approaches based on the BDI theory are studied, an agent programming language 3APL and an agent architecture that uses defeasible argumentation for knowledge representation and reasoning. Based on that study and considering that in 3APL…

We identify different kinds of relevance relations between formulas that emerge in the process of belief revision. Informal definitions for alternative notions of relevance are suggested and a set of schemas and intuitive postulates for formalizing these notions are proposed.

This article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argumentation based formalism for representing knowledge and reasoning) and Abduction in logic. In first place, we introduce a framework that formally states the problem of doing…

This paper presents a proposal for an architecture that integrates knowledge discovery systems (automatic acquisition) and knowledge based systems (experts systems). This work formulates considerations over the viability of the implementation of this architecture according to the advance of the…

When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization…

Current reasoning systems attempt to model an agent's knowledge and interaction with its environment in a symbolic manner. This environment, its world is generally dynamic and changing due to natural evolution or the actions of other agents that are a…