On Properties of Update Sequences Based on Causal Rejection

We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current knowledge base subject to a causal rejection principle enforcing that, in case of conflicts, more recent rules are preferred and older rules are overridden. Such a rejection principle is also exploited in other approaches to update logic programs, e.g., in dynamic logic programming by Alferes et al. We give a thorough analysis of properties of our approach, to get a better understanding of the causal rejection principle. We review postulates for update and revision operators from the area of theory change and nonmonotonic reasoning, and some new properties are considered as well. We then consider refinements of our semantics which incorporate a notion of minimality of change. As well, we investigate the relationship to other approaches, showing that our approach is semantically equivalent to inheritance programs by Buccafurri et al. and that it coincides with certain classes of dynamic logic programs, for which we provide characterizations in terms of graph conditions. Therefore, most of our results about properties of causal rejection principle apply to these approaches as well. Finally, we deal with computational complexity of our approach, and outline how the update semantics and its refinements can be implemented on top of existing logic programming engines.Comment: 59 pages, 2 figures, 3 tables, to be published in "Theory and Practice of Logic Programming

Dicembre 1964: Anna Achmatova in Italia. Un caso di diplomazia culturale italo-sovietica.

Achmatova viaggio in Italia. Premio Taormina. Rapporti Comes e Unione degli scrittori sovietici

The Pathos of Holy Foolishness in the Leningrad Underground

Il testo analizza il fenomeno dello jurodstvo nella tarda epoca sovietica, e legato principalmente al movimento artistico indipendente di Leningrado, dove il testo e l'esibizione poetica sono accompagnati da una teatralit\ue0 e da un pathos capaci di richiamare la tradizione dei santi folli della Russia antica

The Pricing Behaviour of Firms in the Euro Area: New Survey Evidence

This study investigates the pricing behaviour of firms in the euro area on the basis of surveys conducted by nine Eurosystem national central banks. Overall, more than 11,000 firms participated in the survey. The results are very robust across countries. Firms operate in monopolistically competitive markets, where prices are mostly set following mark-up rules and where price discrimination is a common practice. Our evidence suggests that both time- and state-dependent pricing strategies are applied by firms in the euro area: around one-third of the companies follow mainly time-dependent pricing rules while two-thirds use pricing rules with some element of state-dependence. Although the majority of firms take into account a wide range of information, including past and expected economic developments, about one-third adopts a purely backward-looking behaviour. The pattern of results lends support to the recent wave of estimations of hybrid versions of the New Keynesian Phillips Curve. Price stickiness arises both at the stage when firms review their prices and again when they actually change prices. The most relevant factors underlying price rigidity are customer relationships – as expressed in the theories about explicit and implicit contracts – and thus, are mainly found at the price changing (second) stage of the price adjustment process. Finally, we provide evidence that firms adjust prices asymmetrically in response to shocks, depending on the direction of the adjustment and the source of the shock: while cost shocks have a greater impact when prices have to be raised than when they have to be reduced, reductions in demand are more likely to induce a price change than increases in demand.

A first assessment of genetic variability in the longhorn beetle Rosalia alpina (Coleoptera: Cerambycidae) from the Italian Apennines

The Rosalia longicorn (Rosalia alpina) is a strictly protected saproxylic beetle, widely distributed in Central and Southern Europe and mainly associated with ancient beech forests. To improve knowledge about the conservation status of R. alpina in Italy, available molecular markers (microsatellites and mitochondrial cytochrome c oxidase I(COI)) were tested for the first time on Italian populations. The study was performed in four sampling sites distributed in two areas placed in Northern (“Foreste Casentinesi” National Park) and Central Apennines (“Abruzzo, Lazio and Molise” National Park) where populational data about Rosalia longicorn were collected in the framework of the European LIFE MIPP Project. The genetic relationship among Apennine and Central/South-eastern European populations was explored by a comparison with mitochondrial DNA (mtDNA) data from literature. Microsatellite markers were only partially informative when applied to R. alpina Italian individuals, although providing some preliminary indication on an extensive gene flow among populations from the Apennines and local ongoing processes of genetic erosion. Genetic data are consistent with previous ecological data suggesting that the maintenance of variability in this species could be related to both habitat continuity and preservation of large senescent or standing dead trees in forests. Finally, a peculiar origin of the Apennine populations of R. alpina from a putative “Glacial Refugium” in Italy was inferred through COI data. The high genetic distance scored among the analysed populations and those from Central and South-eastern Europe indicates that the R. alpina deme from Apennine Mountains might represent a relevant conservation unit in Europe. Further genetic analyses will allow assessing other possible conservation units of R. alpina and, thus, defining large-scale conservation strategies to protect this endangered longhorn beetle in Europe

Sticky prices in the euro area: a summary of new micro evidence

This paper presents original evidence on price setting in the euro area at the individual level. We use micro data on consumer (CPI) and producer (PPI) prices, as well as survey information. Our main findings are: (i) prices in the euro area are sticky and more so than in the US; (ii) there is evidence of heterogeneity and of asymmetries in price setting behaviour; (iii) downward price rigidity is only slightly more marked than upward price rigidity and (iv) implicit or explicit contracts and coordination failure theories are important, whereas menu or information costs are judged much less relevant by firms. JEL Classification: C25, D40, E31consumer prices, price setting, Price stickiness, producer prices, survey data

Migraine and cluster headache show impaired neurosteroids patterns

Background: Perturbation of neuronal excitability contributes to migraine. Neurosteroids modulate the activity of γ-aminobutyric acid A and N-methyl-d-aspartate receptors, and might be involved in the pathogenesis of migraine. Here, we measured plasma levels of four neurosteroids, i.e., allopregnanolone, epiallopregnanolone, dehydroepiandrosterone and deydroepiandrosterone sulfate, in patients affected by episodic migraine, chronic migraine, or cluster headache. Methods: Nineteen female patients affected by episodic migraine, 51 female patients affected by chronic migraine, and 18 male patients affected by cluster headache were recruited to the study. Sex- and age-matched healthy control subjects (31 females and 16 males) were also recruited. Patients were clinically characterized by using validated questionnaires. Plasma neurosteroid levels were measured by liquid chromatography-tandem mass spectrometry. Results: We found disease-specific changes in neurosteroid levels in our study groups. For example, allopregnanolone levels were significantly increased in episodic migraine and chronic migraine patients than in control subjects, whereas they were reduced in patients affected by cluster headache. Dehydroepiandrosterone and dehydroepiandrosterone sulfate levels were reduced in patients affected by chronic migraine, but did not change in patients affected by cluster headache. Conclusion: We have shown for the first time that large and disease-specific changes in circulating neurosteroid levels are associated with chronic headache disorders, raising the interesting possibility that fluctuations of neurosteroids at their site of action might shape the natural course of migraine and cluster headache. Whether the observed changes in neurosteroids are genetically determined or rather result from exposure to environmental or intrinsic stressors is unknown. This might also be matter for further investigation because stress is a known triggering factor for headache attacks in both migraineurs and cluster headache patients

Inhomogeneous Kibble-Zurek mechanism: vortex nucleation during Bose-Einstein condensation

The Kibble-Zurek mechanism is applied to the spontaneous formation of vortices in a harmonically trapped thermal gas following a temperature quench through the critical value for Bose-Einstein condensation. While in the homogeneous scenario vortex nucleation is always expected, we show that it can be completely suppressed in the presence of the confinement potential, whenever the speed of the spatial front undergoing condensation is lower than a threshold velocity. Otherwise, the interplay between the geometry and causality leads to different scaling laws for the density of vortices as a function of the quench rate, as we also illustrate for the case of a toroidal trapping potential.Comment: 11 pages, 3 figure

Causality and defect formation in the dynamics of an engineered quantum phase transition in a coupled binary Bose-Einstein condensate

Continuous phase transitions occur in a wide range of physical systems, and provide a context for the study of non-equilibrium dynamics and the formation of topological defects. The Kibble-Zurek (KZ) mechanism predicts the scaling of the resulting density of defects as a function of the quench rate through a critical point, and this can provide an estimate of the critical exponents of a phase transition. In this work we extend our previous study of the miscible-immiscible phase transition of a binary Bose-Einstein condensate (BEC) composed of two hyperfine states in which the spin dynamics are confined to one dimension [J. Sabbatini et al., Phys. Rev. Lett. 107, 230402 (2011)]. The transition is engineered by controlling a Hamiltonian quench of the coupling amplitude of the two hyperfine states, and results in the formation of a random pattern of spatial domains. Using the numerical truncated Wigner phase space method, we show that in a ring BEC the number of domains formed in the phase transitions scales as predicted by the KZ theory. We also consider the same experiment performed with a harmonically trapped BEC, and investigate how the density inhomogeneity modifies the dynamics of the phase transition and the KZ scaling law for the number of domains. We then make use of the symmetry between inhomogeneous phase transitions in anisotropic systems, and an inhomogeneous quench in a homogeneous system, to engineer coupling quenches that allow us to quantify several aspects of inhomogeneous phase transitions. In particular, we quantify the effect of causality in the propagation of the phase transition front on the resulting formation of domain walls, and find indications that the density of defects is determined during the impulse to adiabatic transition after the crossing of the critical point.Comment: 23 pages, 10 figures. Minor corrections, typos, additional referenc