Gastrointestinal symbionts of chimpanzees in Cantanhez National Park, Guinea-Bissau with respect to habitat fragmentation

One of the major factors threatening chimpanzees (Pan troglodytes verus) in Guinea-Bissau is habitat fragmentation. Such fragmentation may cause changes in symbiont dynamics resulting in increased susceptibility to infection, changes in host specificity and virulence. We monitored gastrointestinal symbiotic fauna of three chimpanzee subpopulations living within Cantanhez National Park (CNP) in Guinea Bissau in the areas with different levels of anthropogenic fragmentation. Using standard coproscopical methods (merthiolate-iodine formalin concentration and Sheather's flotation) we examined 102 fecal samples and identified at least 13 different symbiotic genera (Troglodytella abrassarti, Troglocorys cava, Blastocystis spp., Entamoeba spp., Iodamoeba butschlii, Giardia intestinalis, Chilomastix mesnili, Bertiella sp., Probstmayria gombensis, unidentified strongylids, Strongyloides stercoralis, Strongyloides fuelleborni, and Trichuris sp.). The symbiotic fauna of the CNP chimpanzees is comparable to that reported for other wild chimpanzee populations, although CNP chimpanzees have a higher prevalence of Trichuris sp. Symbiont richness was higher in chimpanzee subpopulations living in fragmented forests compared to the community inhabiting continuous forest area. We reported significantly higher prevalence of G. intestinalis in chimpanzees from fragmented areas, which could be attributed to increased contact with humans and livestock.

Intraday volatility

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

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.