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

Three essays in risky behaviors

A PhD Dissertation, presented as part of the requirements for the Degree of Doctor of Philosophy from the NOVA - School of Business and Economics

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.

On and off air: an ethnographic exploration of minority radio in Portugal

Taking a Media Anthropology’s approach to dynamics of mediated selfrepresentation in migratory contexts, this thesis starts by mapping radio initiatives produced by, for and/or with migrants in Portugal. To further explore dynamics of support of initial settlement in the country, community-making, cultural reproduction, and transnational connectivity - found both in the mapping stage and the minority media literature (e.g. Kosnick, 2007; Rigoni & Saitta, 2012; Silverstone & Georgiou, 2005) - a case study was selected: the station awarded with the first bilingual license in Portugal. The station in question caters largely to the British population presenting themselves as “expats” and residing in the Algarve. The ethnographic strategy to research it consisted of “following the radio” (Marcus, 1995) beyond the station and into the events and establishments it announces on air, so as to relate production and consumption realms. The leading research question asks how does locally produced radio play into “expats” processes of management of cultural identity – and what are the specificities of its role? Drawing on conceptualizations of lifestyle migration (Benson & O’Reilly, 2009), production of locality (Appadurai 1996) and the public sphere (Butsch, 2007; Calhoun & et al, 1992; Dahlgren, 2006), this thesis contributes to valuing radio as a productive gateway to research migrants’ construction of belonging, to inscribe a counterpoint in the field of minority media, and to debate conceptualizations of migratory categories and flows. Specifically, this thesis argues that the station fulfills similar roles to other minority radio initiatives but in ways that are specific to the population being catered to. Namely, unlike other minority stations, radio facilitates the process of transitioning between categories along on a continuum linking tourists and migrants. It also reflects and participates in strategies of reterritorialization that rest on functional and partial modes of incorporation. While contributing to sustain a translocality (Appadurai, 1996) it indexes and fosters a stance of connection that is symbolically and materially connected to the UK and other “neighborhoods” but is, simultaneously, oriented to engaging with the Algarve as “home”. Yet, besides reifying a British cultural identity, radio’s oral, repetitive and ephemeral discourse particularly trivializes the reproduction of an ambivalent stance of connection with place that is shared by other “expats”. This dynamic is related to migratory projects driven by social imaginaries fostered by international media that stimulate the search for idealized ways of living, which the radio associates with the Algarve. While recurrently localizing and validating the narrative projecting an idealized “good life”, radio amplifies dynamics among migrants that seem to reaffirm the migratory move as a good choice.