Little has been written about the component provision problem (programming plans and domain concepts) for the repositories of knowledge in program understanding systems and reports that specifically address this issue are unknown. Model-driven and plan-driven approaches use repositories where construction…

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…

In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals.
They possess the singular properties of…

The reform of Spanish University System occurs for allow that the universities to board the needs derived from the new kinds of knowledge generation and transmission. The university’s objective is the formation of professionals capable of taking, analysing and elaborating…

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…

Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applications. Each method addresses different concerns using separate models (content, navigation, presentation, business…

This paper presents AWAC, a prototype CAWE tool for the automatic generation of adaptive Web applications based on the A-OOH methodology. A-OOH (Adaptive OO-H) is an extension of the OO-H approach to support the modeling of personalized Websites. A-OOH allows…

Frequently we become amazed with the increasing number of problems to be solved that fiourish while facing daily activities. Often, related to these problems we llave also an incredible amount oí data. Since we cannot allways afford time and resources…

While entertainment web forums provide a dynamic medium for interaction, not many researchers feel the need to go deeply into the contents.
One of the reasons behind this attitude lies on a widely perceived assumption that web forums do not…

Teachers must be able to adapt to a rapidly changing IT knowledge and technology. This requirement is further compounded by the need that this knowledge and technology be incorporated in the curriculum at the same rate.
This paper presents a…