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.

Molybdenum-containing proteins from Sulphate Reducing Bacteria: studying proteins with novel cofactors and revealing new features of old enzymes

Dissertação apresentada para a obtenção do Grau de Doutor em Bioquímica, especialidade de Bioquímica-Física pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Effect of different dopant elements on the properties of ZnO thin films

Vacuum, Vol. 64

Influence of the deposition pressure on the properties of transparent and conductive ZnO: Ga thin-film produced by r.f. sputtering at room temperature

Thin Solid Films, vol. 427, nº 1-2

Generic life cycle assessment of the Jatropha biodiesel system

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Energia e Bioenergia

The influence of inherent properties of building limestones on their bioreceptivity to phototrophic microorganisms

Annals of Microbiology, 59 (4) 705-713 (2009)

Thermodynamic and kinetic modelling of the redox properties of tetrahaem cytochromes C3

Dissertação apresentada para obtenção do grau de Doutor em Bioquímica,especialidade Bioquímica-Física, pela Universidade Nova de Lisboa, Faculdade de Cincias e Tecnologia

Modern techniques for constraint solving the CASPER experience

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Carbon key-properties for microcystin adsorption in drinking water treatment: structure or surface chemistry?

Dissertação para Obtenção de Grau de Mestre em Engenharia Química e Bioquímica

Probabilistic models for mechanical properties of prestressing strands

This study focus on the probabilistic modelling of mechanical properties of prestressing strands based on data collected from tensile tests carried out in Laboratório Nacional de Engenharia Civil (LNEC), Portugal, for certification purposes, and covers a period of about 9 years of production. The strands studied were produced by six manufacturers from four countries, namely Portugal, Spain, Italy and Thailand. Variability of the most important mechanicalproperties is examined and the results are compared with the recommendations of the ProbabilisticModel Code, as well as the Eurocodes and earlier studies. The obtained results show a very low variability which, of course, benefits structural safety. Based on those results, probabilistic modelsfor the most important mechanical properties of prestressing strands are proposed.

EPR and redox properties of periplasmic nitrate reductase from Desulfovibrio desulfuricans ATCC 27774

J Biol Inorg Chem (2006) 11: 609–616 DOI 10.1007/s00775-006-0110-0

Engineering of bacterial exopolysaccharides: from synthesis to properties

Dissertação para obtenção do Grau de Doutor em Engenharia Química e Bioquímica

Financial reporting about investment properties: Evidence from Portuguese listed companies

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

Exopolysaccharide production by Enterobacter A47: optimization of cultivation conditions and study of polymer functional properties

Dissertação para obtenção do Grau de Mestre em Biotecnologia