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

Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

Trust region versus line search for computing the optical flow

We consider the numerical treatment of the optical flow problem by evaluating the performance of the trust region method versus the line search method. To the best of our knowledge, the trust region method is studied here for the first time for variational optical flow computation. Four different optical flow models are used to test the performance of the proposed algorithm combining linear and nonlinear data terms with quadratic and TV regularization. We show that trust region often performs better than line search; especially in the presence of non-linearity and non-convexity in the model.

Sierpinski curve Julia sets for quadratic rational maps

We investigate under which dynamical conditions the Julia set of a quadratic rational map is a Sierpiński curve.

Mixed and Hybrid Models of Public Service Delivery

This symposium presents research from different contexts to improve our collective understanding of a variety of aspects of mixed forms of service delivery, be they mixed contracting at the level of the market (which is more common in the U.S.), or mixed management and ownership at the level of the firm (which is more common in Europe). The articles included in this special symposium examine the factors that give rise to mixed forms of service delivery (e.g., economic and fiscal stress, regulatory flexibility, geography, management) and how these factors impact their design and operation. Articles also explore the performance of mixed forms of service delivery relative to more conventional arrangements like contracted or direct service delivery. The articles contribute to a better theoretical and conceptual understanding of mixed/hybrid forms of services delivery.

Narrative discourse in interviews to linguistically mixed couples

This article deals with self-referential storytelling in sociolinguistic interviews. It analyzes the personal stories in ten interviews to linguistically heterogeneous couples. For this purpose, it is applied the model of linguistic analysis of drama (Bruner & Weisser 1991) and it identifies and interprets discursive markers of autobiographical storytelling. Therefore it takes into consideration the elements referred to agents and to their actions, to the sequences of events, to the canon or rule, and to the narrator's perspective. At the same time, it proposes to extend our approach to the existence itself of the participants. Resumen.-"Discurso narrativo en entrevistas a parejas lingüísticamente mixtas". Este artículo trata de las narraciones autorreferenciales en entrevistas sociolingüísticas sobre concepciones y usos de las lenguas en familias lingüísticamente mixtas. Analiza los relatos que aparecen en diez entrevistas a padres y madres que forman parejas lingüísticamente heterogéneas. Aplica el modelo de análisis lingüístico del dramatismo (Bruner & Weisser 1991). Identifica e interpreta los marcadores discursivos de la narración autobiográfica. Con este propósito considera los constituyentes que se refieren a los agentes y sus acciones, a las secuencias de sucesos, al canon o norma y a la perspectiva del narrador. Y propone la ampliación del estudio a los guiones de vida de lo actores. Palabras clave: entrevista, relato, narración, pareja, política lingüística de la familia, multilingüismo, marcador discursivo.

Entry Regulation Asymmetries and Gasoline Competition in a Mixed Motorway Network

Regulatory and funding asymmetries in the Spanish motorway network produce huge differences in the structure of gasoline markets by motorway type: free or toll. While competition is encouraged among gas stations on free motorways, the regulations for toll motorways allow private concessionaires to auction all gas stations to the same provider, thereby limiting competition and consolidating market power. This paper reports how this regulatory asymmetry results in higher prices and fewer gas stations. Specifically, we show that competition is constrained on toll motorways by the granting of geographical monopolies, resulting in a small number of rivals operating in close proximity to each other, and allowing gas stations to operate as local monopolies. The lack of competition would seem to account for the price differential between toll and free motorways. According to available evidence, deregulation measures affecting toll motorway concessions could help to mitigate price inefficiencies and increase consumer welfare.

Beyond pure public and pure private management models: Mixed firms in the European Airport Industry

The use of private funding and management enjoys an increasing trend in airports. The literature has not paid enough attention to the mixed management models in this industry, although many European airports take the form of mixed firms or Institutional PPP, where ownership is shared between public and private sectors. We examine the determinants of the degree of private participation in the European airport sector. Drawing on a sample of the 100 largest European airports we estimate a multivariate equation in order to determine the role of airport characteristics, fiscal variables and political factors on the extent of private involvement. Our results confirm the alignment between public and private interests in PPPs. Fiscal constraints and market attractiveness promote private participation. Integrated governance models and the share of network carriers prevent the presence of private ownership, while the degree of private participation appears to be pragmatic rather than ideological.

A Virtual Laboratory Structure for Developing Programming Labs

Virtual Laboratories are an indispensablespace for developing practical activities in a Virtual Environment. In the field of Computer and Software Engineering different types of practical activities have tobe performed in order to obtain basic competences which are impossible to achieve by other means. This paper specifies an ontology for a general virtual laboratory.The proposed ontology provides a mechanism to select the best resources needed in a Virtual Laboratory once a specific practical activity has been defined and the maincompetences that students have to achieve in the learning process have been fixed. Furthermore, the proposed ontology can be used to develop an automatic and wizardtool that creates a Moodle Classroom using the practical activity specification and the related competences.

Combining Generic Programming and Service-Oriented Architectures for the Effective and Timely Development of Complex e-Learning Systems

Peer-reviewed

Public and Private Production in a Mixed Delivery System: Regulation, Competition and Costs

Academics and policy makers are increasingly shifting the debate concerning the best form of public service provision beyond the traditional dilemma between pure public and pure private delivery modes, because, among other reasons, there is a growing body of evidence that casts doubt on the existence of systematic cost savings from privatization, while any competition seems to be eroded over time. In this paper we compare the relative merits of public and private delivery within a mixed delivery system. We study the role played by ownership, transaction costs, and competition on local public service delivery within the same jurisdiction. Using a stochastic cost frontier, we analyze the public-private urban bus system in the Barcelona Metropolitan Area. Our results suggest that private firms tendering the service have higher delivery costs than those incurred by the public firm, especially when transaction costs are taken into account. Tenders, therefore, do not help to reduce delivery costs. Our results suggest that under a mixed delivery scheme, which permits the co-existence of public and private production, the metropolitan government and the regulator can use private delivery to contain costs in the public firm and, at the same time, benefit from the greater flexibility of private firms for dealing with events not provided for under contract.

Weight filtration on the cohomology of complex analytic spaces

We extend Deligne's weight filtration to the integer cohomology of complex analytic spaces (endowed with an equivalence class of compactifications). In general, the weight filtration that we obtain is not part of a mixed Hodge structure. Our purely geometric proof is based on cubical descent for resolution of singularities and Poincaré-Verdier duality. Using similar techniques, we introduce the singularity filtration on the cohomology of compactificable analytic spaces. This is a new and natural analytic invariant which does not depend on the equivalence class of compactifications and is related to the weight filtration.

Asymptotic analysis of stock price densities and implied volatilities in mixed stochastic models

In this paper, we obtain sharp asymptotic formulas with error estimates for the Mellin con- volution of functions de ned on (0;1), and use these formulas to characterize the asymptotic behavior of marginal distribution densities of stock price processes in mixed stochastic models. Special examples of mixed models are jump-di usion models and stochastic volatility models with jumps. We apply our general results to the Heston model with double exponential jumps, and make a detailed analysis of the asymptotic behavior of the stock price density, the call option pricing function, and the implied volatility in this model. We also obtain similar results for the Heston model with jumps distributed according to the NIG law.

Health-related quality-of-life instruments for Alzheimer's disease and mixed dementia

BACKGROUND: Over the last 20 years, a number of instruments developed for the assessment of health-related quality of life (HRQL) in dementia have been introduced. The aim of this review is to synthesize evidence from published reviews on HRQL measures in dementia and any new literature in order to identify dementia specific HRQL instruments, the domains they measure, and their operationalization. METHODS: An electronic search of PsycINFO and PubMed was conducted, from inception to December 2011 using a combination of key words that included quality of life and dementia. RESULTS: Fifteen dementia-specific HRQL instruments were identified. Instruments varied depending on their country of development/validation, dementia severity, data collection method, operationalization of HRQL in dementia, psychometric properties, and the scoring. The most common domains assessed include mood, self-esteem, social interaction, and enjoyment of activities. CONCLUSIONS: A number of HRQL instruments for dementia are available. The suitability of the scales for different contexts is discussed. Many studies do not specifically set out to measure dementia-specific HRQL but do include related items. Determining how best to operationalize the many HRQL domains will be helpful for mapping measures of HRQL in such studies maximizing the value of existing resources.

Foliar photochemical processes and carbon metabolism under favourable and adverse winter conditions in a Mediterranean mixed forest, Catalonia (Spain)

Evergreen trees in the Mediterranean region must cope with a wide range of environmental stresses from summer drought to winter cold. The mildness of Mediterranean winters can periodically lead to favourable environmental conditions above the threshold for a positive carbon balance, benefitting evergreen woody species more than deciduous ones. The comparatively lower solar energy input in winter decreases the foliar light saturation point. This leads to a higher susceptibility to photoinhibitory stress especially when chilly (< 12 C) or freezing temperatures (< 0 C) coincide with clear skies and relatively high solar irradiances. Nonetheless, the advantage of evergreen species that are able to photosynthesize all year round where a significant fraction can be attributed to winter months, compensates for the lower carbon uptake during spring and summer in comparison to deciduous species. We investigated the ecophysiological behaviour of three co-occurring mature evergreen tree species (Quercus ilex L., Pinus halepensis Mill., and Arbutus unedo L.). Therefore, we collected twigs from the field during a period of mild winter conditions and after a sudden cold period. After both periods, the state of the photosynthetic machinery was tested in the laboratory by estimating the foliar photosynthetic potential with CO2 response curves in parallel with chlorophyll fluorescence measurements. The studied evergreen tree species benefited strongly from mild winter conditions by exhibiting extraordinarily high photosynthetic potentials. A sudden period of frost, however, negatively affected the photosynthetic apparatus, leading to significant decreases in key physiological parameters such as the maximum carboxylation velocity (Vc,max), the maximum photosynthetic electron transport rate (Jmax), and the optimal fluorometric quantum yield of photosystem II (Fv/Fm). The responses of Vc,max and Jmax were highly species specific, with Q. ilex exhibiting the highest and P. halepensis the lowest reductions. In contrast, the optimal fluorometric quantum yield of photosystem II (Fv/Fm) was significantly lower in A. unedo after the cold period. The leaf position played an important role in Q. ilex showing a stronger winter effect on sunlit leaves in comparison to shaded leaves. Our results generally agreed with the previous classifications of photoinhibition-tolerant (P. halepensis) and photoinhibitionavoiding (Q. ilex) species on the basis of their susceptibility to dynamic photoinhibition, whereas A. unedo was the least tolerant to photoinhibition, which was chronic in this species. Q. ilex and P. halepensis seem to follow contrasting photoprotective strategies. However, they seemed equally successful under the prevailing conditions exhibiting an adaptive advantage over A. unedo. These results show that our understanding of the dynamics of interspecific competition in Mediterranean ecosystems requires consideration of the physiological behaviour during winter which may have important implications for long-term carbon budgets and growth trends.