Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a defeasible argumentation formalism, could take full advantage of this type of parallel…

During the last years the knowledge about derived eusuchian crocodiles has been increased. Anatomical and phylogenetic approaches as well as new fossil records have lighted the evolutive and biogeographic history of several groups. In this way, paleontological research on Miocene-Pliocene…

El concepto de misericordia divina ha pasado por diversos estadios en su evolución, pero las concepciones de la religión cristiana y de la religión pagana no siempre se oponen. En este artículo se examinan las fuentes filosóficas (Aristóteles, filosofía helenística),…

Esta tesis presenta una estrategia en la Ingeniería de Requisitos, denominada SDRES, que intenta abordar temas poco tratados en la práctica real, tales como los cambios constantes en los requisitos, defectos del software originados en los requisitos, el contexto organizacional…

Lucilia nitens is a herb used in folk medicine for treating diarrhoea and popularly called in Brazil "erva-pombinha". Aiming to expand the knowledge on this medicinal plant, this work has dealt with anatomical analysis of the leaf and stem for…

Se analizan los antecedentes de las linfomas en diferentes especies domésticas, destacando sus características y orígenes histopatológicos. Se describen seis linfomas y linfosarcomas del perro y gato coma casos comprobados en la clínica y estudiados histopatológicamente destacando su estructura citológica…

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…

This work extends the semantics and implementation of fuzzy prolog presented in [VGM02] in order to include Default Knowledge capability. The new semantic allows non-uniform default assumptions and has Closed World Assumption (CWA) and Open World Assumption (OWA) as particular…

Knowledge-intensive processes are widely used to recover from errors, handle exceptional cases and complaints, and to improve or adapt a process itself. In this context, evolved Business-Process Reengineering (BPR) techniques are changing to give some answers to this reality. In…

Ontologies serve as a mean to establish a conceptually concise basis for communicating knowledge for many purposes. Within the information integration area, ontologies are useful to solve heterogeneity problems. They provide a set of knowledge terms, including the vocabulary, the…