The Complexity of Reasoning for Fragments of Default Logic

Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as \SigmaPtwo-complete, and the complexity of the credulous and skeptical reasoning problem as SigmaP2-complete, resp. PiP2-complete. Additionally, he investigated restrictions on the default rules, i.e., semi-normal default rules. Selman made in 1992 a similar approach with disjunction-free and unary default rules. In this paper we systematically restrict the set of allowed propositional connectives. We give a complete complexity classification for all sets of Boolean functions in the meaning of Post's lattice for all three common decision problems for propositional default logic. We show that the complexity is a hexachotomy (SigmaP2-, DeltaP2-, NP-, P-, NL-complete, trivial) for the extension existence problem, while for the credulous and skeptical reasoning problem we obtain similar classifications without trivial cases.Comment: Corrected versio

High-resolution microwave frequency dissemination on an 86-km urban optical link

We report the first demonstration of a long-distance ultra stable frequency dissemination in the microwave range. A 9.15 GHz signal is transferred through a 86-km urban optical link with a fractional frequency stability of 1.3x10-15 at 1 s integration time and below 10-18 at one day. The optical link phase noise compensation is performed with a round-trip method. To achieve such a result we implement light polarisation scrambling and dispersion compensation. This link outperforms all the previous radiofrequency links and compares well with recently demonstrated full optical links.Comment: 11 pages, 5 figure

Observation of phase noise reduction in photonically synthesized sub-THz signals using a passively mode-locked laser diode and highly selective optical filtering

A Continuous Wave (CW) sub-THz photonic synthesis setup based on a single Passively Mode-Locked Laser Diode (PMLLD) acting as a monolithic Optical Frequency Comb Generator (OFCG) and highly selective optical filtering has been implemented to evaluate the phase noise performance of the generated sub-THz signals. The analysis of the synthesized sub-THz signals up to 120 GHz gives as a result an effective reduction of the electrical linewidth when compared to direct harmonic generation that begins at 50 GHz and becomes greater as the frequency increases. The phase noise reduction offered by the setup, along with its integration potential, cost and bandwidth, make it a promising candidate to the development of an integrated and high performance low phase noise local oscillator in the sub-THz range.Work supported by the Spanish Ministry of Science and Technology through the project TEC2009-14525-C02-02 and by the European Commission FP7 iPHOS Project. The work by A.R. Criado has been supported by the Spanish Ministry of Science and Technology under the FPI Program, Grant# BES2010-030290.Publicad

The DLV System for Knowledge Representation and Reasoning

This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to $\Delta^P_3$-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of DLV, and by deriving new complexity results we chart a complete picture of the complexity of this language and important fragments thereof. Furthermore, we illustrate the general architecture of the DLV system which has been influenced by these results. As for applications, we overview application front-ends which have been developed on top of DLV to solve specific knowledge representation tasks, and we briefly describe the main international projects investigating the potential of the system for industrial exploitation. Finally, we report about thorough experimentation and benchmarking, which has been carried out to assess the efficiency of the system. The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration.Comment: 56 pages, 9 figures, 6 table

Do Stress Responses Promote Leukemia Progression? An Animal Study Suggesting a Role for Epinephrine and Prostaglandin-E2 through Reduced NK Activity

In leukemia patients, stress and anxiety were suggested to predict poorer prognosis. Oncological patients experience ample physiological and psychological stress, potentially leading to increased secretion of stress factors, including epinephrine, corticosteroids, and prostaglandins. Here we tested whether environmental stress and these stress factors impact survival of leukemia-challenged rats, and studied mediating mechanisms. F344 rats were administered with a miniscule dose of 60 CRNK-16 leukemia cells, and were subjected to intermittent forced swim stress or to administration of physiologically relevant doses of epinephrine, prostaglandin-E2 or corticosterone. Stress and each stress factor, and/or their combinations, doubled mortality rates when acutely applied simultaneously with, or two or six days after tumor challenge. Acute administration of the β-adrenergic blocker nadolol diminished the effects of environmental stress, without affecting baseline survival rates. Prolonged β-adrenergic blockade or COX inhibition (using etodolac) also increased baseline survival rates, possibly by blocking tumor-related or normal levels of catecholamines and prostaglandins. Searching for mediating mechanisms, we found that each of the stress factors transiently suppressed NK activity against CRNK-16 and YAC-1 lines on a per NK basis. In contrast, the direct effects of stress factors on CRNK-16 proliferation, vitality, and VEGF secretion could not explain or even contradicted the in vivo survival findings. Overall, it seems that environmental stress, epinephrine, and prostaglandins promote leukemia progression in rats, potentially through suppressing cell mediated immunity. Thus, patients with hematological malignancies, which often exhibit diminished NK activity, may benefit from extended β-blockade and COX inhibition