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.

Transformation of Medicago truncatula with the arginine decarboxylase gene to modify polyamine metabolism toward water deficit resistance

Dissertation submitted to obtain a Ph.D. (Doutoramento) degree in Biology at the Instituto de Tecnologia Química e Biológica da Universidade Nova de Lisboa

Integration of crowdsourced information with traditional crises and disaster management information using linked data

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Gold nanoprobes for the detection of mutations associated with antibiotic resistance in Mycobacterium tuberculosis complex

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Strengthening to seismic action of reinforced columns with rectangular cross-section

The first part of this research work regards the assessment of the mathematical modelling of reinforced concrete columns confined with carbon fibre (CFRP) sheets under axial loading. The purpose was to evaluate existing analytical models, contribute to possible improvements and choose the best model(s) to be part of a new model for the prediction of the behaviour of confined columns under bending and compression. For circular columns, a wide group of authors have proposed several models specific for FRP-confined concrete. The analysis of some of the existing models was carried out by comparing these with several tested columns. Although several models predict fairly the peak load only few can properly estimate the load-strain and dilation behaviour of the columns. Square columns confined with CFRP show a more complex interpretation of their behaviour. Accordingly, the analysis of two experimental programs was carried out to propose new modelling equations for the whole behaviour of columns. The modelling results show that the analytical curves are in general agreement with the presented experimental curves for a wide range of dimensions. An analysis similar to the one done for circular columns was this turn carried out for square columns. Few models can fairly estimate the whole behaviour of the columns and with less accuracy at all levels when compared with circular columns. The second part of this study includes seven experimental tests carried out on reinforced concrete rectangular columns with rounded corners, different damage condition and with confinement and longitudinal strengthening systems. It was concluded that the use of CFRP confinement is viable and of effective performance enhancement alone and combined with other techniques, maintaining a good ductile behaviour for established threshold displacements. As regards the use of external longitudinal strengthening combined with CFRP confinement, this system is effective for the performance enhancement and viable in terms of execution. The load capacity was increased significantly, preserving also in this case a good ductile behaviour for threshold displacements. As to the numerical nonlinear modelling of the tested columns, the results show a variation of the peak load of 1% to 10% compared with tests results. The good results are partly due to the inclusion of the concrete constitutive model by Mander et al. modified by Faustino, Chastre & Paula taking into account the confinement effect. Despite the reasonable approximation to tests results, the modelling results showed higher unloading, which leads to an overestimate dissipated energy and residualdisplacement.

Prognostic modelling of breast cancer patients: a benchmark of predictive models with external validation

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores – Sistemas Digitais e Percepcionais pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Dynamic and interaction of cytochrome c with Pf1 virus

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em BioOrgânica

Functional studies on BolA and related genes: increasing the understanding of a protein with pleiotropic effects

Dissertation presented to obtain a Doctoral degree in Biology by Instituto de Tecnologia Química e Biológica

Integration of sediment contamination with multi–biomarker responses in a novel bioindicator candidate (Sepia officinalis) for risk assessment in impacted estuaries

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente

Assessment of metadata associated with geotag pictures

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Studying the impact of co-authorship with external researchers:the case of research community in Portugal using social network analysis.

Project work presented as a partial requirement to obtain a Master Degree in Information Management

The influence of burden of care and perceived stigma on expressed emotions of relatives of stable persons with schizophrenia in Nigerian semi-urban/urban settings

RESUMO: Schizophrenia’s burden defines experience of family members and is associated with high level of distress. Courtesy stigma, a distress concept, worsens caregivers’ burden of care and impacts on schizophrenia. Expressed emotion (EE), another family variable, impacts on schizophrenia. However, relationship between EE, burden of care and stigma has been little explored in western literature but not in sub-Saharan Africa particularly Nigeria. This study explored the impact of burden of care and courtesy stigma on EE among caregivers of persons with schizophrenia in urban and semi-urban settings in Nigeria. Fifty caregivers each from semi-urban and urban areas completed a socio-demographic schedule, family questionnaire, burden interview schedule and perceived devaluation and discrimination scale. The caregivers had a mean age of 42 (± 15.6) years. Majority were females (57%), married (49%), from Yoruba ethnic group (68%), monogamous family (73%) and Christians (82%). A higher proportion of the whole sample (53%) had tertiary education. Three out of ten were sole caregivers. Seventy three (73%) lived with the person they cared for. The average number of hours spent per week by a caregiver with a person with schizophrenia was 35 hours. The urban sample had significantly higher proportion of carers with high global expressed emotion (72.7%) than the semi-urban sample (27.3%). The odds of a caregiver in an urban setting exhibiting high expressed emotion are 4.202 times higher than the odds of caregiver in a semi-urban setting. Additionally, there was significance difference between the urban and semi-urban caregivers in discrimination dimension. High levels of subjective and objective burden were associated with high levels of critical comments. In conclusion, this study is the first demonstration of urban-semi-urban difference in expressed emotion in an African country and its findings provide further support to hypothesized relationship between components of EE and burden of care.

Sensitivity correction of images obtained with the prototype Clear-PEM in pre-clinical environment

Dissertation presented at Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa to obtain a Master Degree in Biomedical Engineering

Chromatic reintegration of historical mortars with lime-based pozzolanic consolidant products

3rd Historic Mortars Conference, 11-14 September 2013, Glasgow, Scotland