Defeasible Logic Programming (DeLP) is a knowledge representation and reasoning formalism that by combining Logic Programming with Defeasible Argumentation is able to represent incomplete and potentially contradictory information.
Within the field of Logic Programming, most of the implementations of Prolog…

GPUs are flexible parallel processors capable of accelerating real applications. To exploit them, programmers rewrite programs in new languages using intimate knowledge of the underlying hardware. This is a step backwards in abstraction and ease of use from sequential programming.…

A re-design process implies dealing with complex interactions between stakeholders, especially if we are talking about a personalization re-engineered process, which can be applied to an existing web application. In this context, knowledge becomes a main factor of influence, but…

Data are provided on two hoverfly species new to the Iberian Peninsula, Brachyopa grunewaldensis Kassebeer and Criorhina floccosa (Meigen), and one new to Spain, Eumerus consimilis Šimić & Vujić. New habitat and breeding data are presented., Financial support was provided…

The main purpose of this paper is to highlight the socializing value of motor activity, a factor often overlooked in the planning of the Italian school. To achieve this goal, we developed a research project that can rigorously demonstrate a…

The Semantic Web purports to give computeraccessible meaning to the content of the World Wide Web. The rationale behind this project is to create an environment where all this information could be freely exchanged among diverse entities, yet retaining its…

We discuss how data mining, patternbases and databases can be integrated into inductive databases, which make data mining an inductive query process. We propose a software architecture for such inductive databases, and extend this architecture to support the clustering of…

MoKEx (Mobile Knowledge Experience) is an international project in cooperation with universities and industrial partners. The project focuses on didactical, organizational and technical problems with regard to blended learning and knowledge management scenarios. In a project-based learning approach students of…

Artificial Intelligence has long dealt with the issue of finding a suitable formalization for reasoning with incomplete and potentially inconsistent information. Defeasible argumentation [SL92,CML00,PraVre99] has proven to be a successful approach in many respects, since it naturally resembles many aspects…

In this paper, the two-dimensional strip packing problem with 3-stage level patterns is tackled using genetic algorithms (GAs). We evaluate the usefulness of a greedy seeding procedure for creating the initial population, incorporating problem knowledge. This is motivated by the…