A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

BEX Mejora continua framework

Memoria de la implementación de un software que permite la gestión y control de todo el framework que requiere gestionar el departamento de mejora continua (BEX Business Excelence).

The Evolution of the European Regulatory Framework for Electronic Communications

The paper reviews the historical transformation of the European regulatory framework for electronic communications from the era dominated by state-owned enterprises to the presence of regulated competition. In the course of these developments, the vision of the roles of the public and private sectors in electronic communications changed in expected and unexpected ways. While the period is characterized by a shift toward less direct state intervention, the intensity of regulation has increased in many areas. Most recently, in the wake of the financial crisis, new forms of state intervention can be observed, including public investment in communications infrastructure and public-private partnerships. As a result of the reforms, Europe has been able to achieve major successes but it also suffered unanticipated setbacks compared to other regions. The European Union emerged as the global leader in mobile communications during the 1990s and was able to roll-out first-generation broadband access networks more rapidly than many of its peers. Recently, however, Europe as a whole has not performed as well in deploying next-generation networks and advanced mobile communications services. The paper offers a political-economic explanation for these developments and assesses their effects on the performance of the European electronic communications sector and the economy. From this analysis, the European model emerges as a unique institutional arrangement with peculiar advantages and disadvantages. Once these are recognized, sensible next steps to build the strengths while avoiding the weaknesses of the model can be seen more clearly.

A framework for the analysis of CLIL lecturers’ discourse from a genre perspective

Internationalization strategies and the European Space of Higher Education are causing a growing interest in English medium instruction (EMI). University linguistic and internationalization policies are attempting to provide lectures with the required training and education. Linguists can supply not only the knowledge of the language but the knowledge about language which may enable lecturers to increase their academic language competence autonomously. This paper presents a framework for the analysis of lecturers’ discourse to trigger reflection about the linguistic needs in CLIL/EMI contexts.

A Formal Framework for Specifying, Reusing and Implementing Educational Settings. Second level

Peer-reviewed

Framework for Traffic Pattern Identification: Required Step for Short-term Forecasting

In the world of transport management, the term ‘anticipation’ is gradually replacing ‘reaction’. Indeed, the ability to forecast traffic evolution in a network should ideally form the basis for many traffic management strategies and multiple ITS applications. Real-time prediction capabilities are therefore becoming a concrete need for the management of networks, both for urban and interurban environments, and today’s road operator has increasingly complex and exacting requirements. Recognising temporal patterns in traffic or the manner in which sequential traffic events evolve over time have been important considerations in short-term traffic forecasting. However, little work has been conducted in the area of identifying or associating traffic pattern occurrence with prevailing traffic conditions. This paper presents a framework for detection pattern identification based on finite mixture models using the EM algorithm for parameter estimation. The computation results have been conducted taking into account the traffic data available in an urban network.

Diseño e implementación de un framework de presentación

Análisis, diseño e implementación de un framework de presentación para aplicaciones web 'thin client' desarrolladas en la plataforma Java EE.

Framework J2EE capa de presentación

Treball final de carrera per a la creació d'un nou framework Java fent referència als patrons de disseny.

Regulatory framework of local citizen participation: Instruments of Direct and Participative Democracy in the Municipal Field

This article focuses on the analysis of the regulatory framework of citizen participation in the local government, which organises direct and participatory democracy at the local level, and identifies the laws and mechanisms through which the constitutional requirements for participation are accomplished. Mu nicipalities, the authority closest to citizens, are the best level of government since they directly involve civil society in the decision-making process experiencing the scope and appropriateness of the instruments by which it is channeled.

Does human capital stimulate investment in physical capital? Evidence from a cost system framework

The direct effect of human capital on economic growth has been widely analysed in the economic literature. This paper, however, focuses on its indirect effect as a stimulus for private investment in physical capital. The methodological framework used is the duality theory, estimating a cost system aggregated with human capital. Empirical evidence is given for Spain for the period 1980-2000. We provide evidence on the indirect effect of human capital in making private capital investment more attractive. Among the main explanations for this process, we observe that higher worker skill levels enable higher returns to be extracted from investment in physical capital.

Optimización del framework de paralelización de tareas COMPSs

El propósito de este trabajo es optimizar el sistema de gestión de workflows COMPSs caracterizando el comportamiento de diferentes dispositivos de memoria a nivel de consumo energético y tiempo de ejecución. Para llevar a cabo este propósito, se ha implementado un servicio de caché para COMPSs para conseguir que sea consciente de la jerarquía de memoria y se han realizado múltiples experimentos para caracterizar los dispositivos de memoria y las mejoras en el rendimiento.

The methodological criteria of counterpropositions within the Roman social legal framework

Partiendo de la difundida distinción, entre unos ordenamientos jurídicos abiertos, como el derecho inglés y el anglo americano, que se vinculan en el pasado al Derecho Romano, y otros cerrados o codificados, como los derechos del continente europeo, y tras detenernos en el origen terminológico de ambos sistemas y en su rígida contraposición, se procura destacar en este trabajo que Roma y su Derecho tampoco abrazan en toda su pureza, un sistema abierto.

Ninety-day oral toxicity studies on two genetically modified maize MON810 varieties in Wistar Han RCC rats (EU 7th Framework Programme project GRACE)

The GMO Risk Assessment and Communication of Evidence (GRACE; www.grace-fp7.eu) project is funded by the European Commission within the 7th Framework Programme. A key objective of GRACE is to conduct 90-day animal feeding trials, animal studies with an extended time frame as well as analytical, in vitro and in silico studies on genetically modified (GM) maize in order to comparatively evaluate their use in GM plant risk assessment. In the present study, the results of two 90-day feeding trials with two different GM maize MON810 varieties, their near-isogenic non-GM varieties and four additional conventional maize varieties are presented. The feeding trials were performed by taking into account the guidance for such studies published by the EFSA Scientific Committee in 2011 and the OECD Test Guideline 408. The results obtained show that the MON810 maize at a level of up to 33 % in the diet did not induce adverse effects in male and female Wistar Han RCC rats after subchronic exposure, independently of the two different genetic backgrounds of the event