Reasoning about Minimal Belief and Negation as Failure

We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including default logic, autoepistemic logic, circumscription, epistemic queries, and logic programming. We characterize the complexity and provide algorithms for reasoning in propositional MBNF. In particular, we show that entailment in propositional MBNF lies at the third level of the polynomial hierarchy, hence it is harder than reasoning in all the above mentioned propositional formalisms for nonmonotonic reasoning. We also prove the exact correspondence between negation as failure in MBNF and negative introspection in Moore's autoepistemic logic

Improving crop productivity in agroforestry systems: low leaf respiration is a key trait

N/

A note on welfare and the economic shocks

The behaviour of the permanent and transitory economic shocks for different levels of household's welfare is studied using both consumption and income measures. After testing for heteroskedasticity of the economic shocks, we use local polynomial regression models to estimate the variance of the shocks conditional on welfare level. Italian data covering the period 1980-2004 show evidence of heteroskedasticity of both the transitory and the permanent economic shocks, with the poor experiencing higher variances. The permanent shocks seem to have a more uniform effect at all welfare levels.

Breakthroughs on the Dark Matter Issue

Last year observations had a profound impact on our views on the amount and nature of dark matter in the universe. We give a brief review of the recent history of dark matter models beyond the pure cold dark matter universe. In view of the most recent cosmological data, we then go on to discuss models with a positive cosmological constant. Finally we explicitly analyse a class of particle physics models for a dynamical cosmological component with negative pressure (``quintessence''), in the context of supersymmetric theories.Comment: 13 pages; Talk given by Antonio Masiero at the 8^th International Workshop on Neutrino Telescopes, 23-26 Feb. 1999, Venice, Italy. To be published in the Proceeding