La noción de formularios como una manera de organizar y presentar datos ha sido usada desde el comienzo de la World Wide Web. Los formularios web han evolucionado junto con el desarrollo de nuevos lenguajes de marcado, en los cuales…

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…

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…

Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent…

Since the rst programming language taught to students of the faculty of Applied Sciences is Scheme We brie y describe our preference for Scheme and give an overview of the course The controversial language choice induced a lot of reactions…

The SemanticWeb is a project intended to create a universal medium for information exchange by giving semantics to the content of documents on the Web by means of ontology definitions.
Ontologies intended for knowledge representation in intelligent agents rely on…

The accomplishment of systems with abilities to reason about actions and change and systems that can manage incomplete or not very reliable information with abilities to discuss or argument has been of great importance for artificial intelligence community. These two…

Defeasible Logic Programming (DeLP) is an extension of Logic Programming capturing common-sense reasoning features. The DeLP language can manage defeasible reasoning, allowing the representation of defeasible and non- defeasible knowledge. Since DeLP syntax is based on a PROLOG-like notation, the…

In this paper, we establish a relation between an argumentation based system: Defeasible Logic Programming (DELP), and a nonmonotonic system: Reiter’s Default Logic. This relation is achieved by introducing a variant of DELP and a transformation that maps default theories…

About 10 years ago informatics teacher training did not seem to be too productive. Even though many students graduated, most of them chose well paid jobs as IT specialists rather than underpaid teacher positions in Hungary. What is then the…