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…

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…

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…

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…

La obtención de conocimiento a partir de la información existente es un proceso no trivial que consiste en identificar patrones válidos, novedosos, potencialmente útiles y comprensibles a partir de los datos disponibles. La Minería de Datos es el área de…

Component Based Software Development (CBSD) relies upon utilization of previously developed software components OTS (Off-The-Shelf), which are appropriately merged to satisfy particular system requirements. However, wide acceptance of this paradigm at industry requires efficient component identification and selection, aspects which…

The following research proposes a first approximation to the Dynamic Hypermedial Device modeling based on the analysis of interactions. In addition, the DEVS (Discrete EVents dynamic Systems) formalism is employed, which is particularly suitable for the modeling of discrete event…

Ontology integration is the problem of combining data sources in the SemanticWeb. Concepts in source ontologies are captured in terms of concepts de ned in a global ontology. When some of these ontologies are inconsistent, the knowledge engineer often has…

Our research project intends to build knowledge about HPC problems to be able to help local researchers. In order to advise users in choosing parallel machines to run their applications, we want to establish a general methodology, requiring as shallow…