Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Environmental indicator frameworks to design and assess environmental monitoring programs

Impact Assessment and Project Appraisal, vol. 22, n.1, March 2004, p. 47–62

The Impact of income support programs on transitions to employment

The income support programs are created with the purpose of fighting both, the poverty trap and the inactivity trap. The balance between both is fragile and hard to find. Thus, the goal of this work is to contribute to solve this issue by finding how income support programs, particularly the Portuguese RSI, affect transitions to employment. This is made through duration analysis, namely using Cox and Competing Risks models. A particular feature is introduced in this work as it incorporates the possibility of Defective Risks. The estimated hazard elasticity with respect to the amount of RSI received for individuals who move to employment is -0,41. More than a half of RSI receivers stays for more than a year and the probability of never leaving to employment is 44%. The results appear to indicate that RSI has affected negatively transitions to employment.

Impact of carbon/nitrogen feeding strategy on polyhydroxyalkanoates production using mixed microbial cultures

Polyhydroxyalkanoates (PHA) production using mixed microbial cultures (MMC) requires a multi-stage process involving the microbial selection of PHA-storing microorganisms, typically operated in sequencing batch reactors (SBR), and an accumulation reactor. Since low-cost renewable feedstocks used as process feedstock are often nitrogen-deficient, nutrient supply in the selection stage is required to allow for microbial growth. In this context, the possibility to uncouple nitrogen supply from carbon feeding within the SBR cycle has been investigated in this study. Moreover, three different COD:N ratios (100:3.79, 100:3.03 and 100:2.43) were tested in three different runs which also allowed the study of COD:N ratio on the SBR performance. For each run, a synthetic mixture of acetic and propionic acids at an overall organic load rate of 8.5 gCOD L-1 d-1 was used as carbon feedstock, whereas ammonium sulfate was the nitrogen source in a lab-scale sequence batch reactor (SBR) with 1 L of working volume. Besides, a sludge retention time (SRT) of 1 d was used as well as a 6 h cycle length. The uncoupled feeding strategy significantly enhanced the selective pressure towards PHA-storing microorganisms, resulting in a two-fold increase in the PHA production (up to about 1.3 gCOD L-1). A high storage response was observed for the two runs with the COD:N ratios (gCOD:gN) of 100:3.79 and 100:3.03, whereas the lowest investigated nitrogen load resulted in very poor performance in terms of polymer production. In fact, strong nitrogen limitation caused fungi to grow and a very poor storage ability by microorganisms that thrived in those conditions. The COD:N ratio also affected the polymer composition, indeed the produced poly(3-hydroxybutyrate-co-3-hydroxyvalerate) (PHBV) showed a variable HV content (1-20 %, w/w) among the three runs, lessening as the COD:N increased. This clearly suggests the possibility to use the COD:N ratio as a tool for tuning polymer properties regardless the composition of the feedstock.