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.

Compact SMB chromatography for binary separation

A thesis submitted for the degree of Doctor of Philosophy

A Logic and tool for local reasoning about security protocols

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

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

Development of integrated separation processes with green solvents

Dissertação para obtenção do Grau de Doutor em Química Sustentável

Alternative solvents in separation processes

Dissertation presented to obtain the Ph.D degree in Sustainable Chemistry

A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Separation of bioactive peptides by electrodialysis with ultrafiltration membranes: membrane characteristics, ex-situ and in-situ digestion and their impact on peptide migration

Dissertation presented to Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa for obtaining the master degree in Membrane Engineering

One-pot enzymatic resolution/separation of enantiomers using green solvents

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

Maintaining the correctness of transactional memory programs

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Experimental high-throughput adsorption unit for multi-evaluation of adsorbents for gas capture, storage and separation applications

Dissertação para obtenção do grau de Mestre em Engenharia Química e Bioquímica

Separation of azeotropic mixtures using high ionicity ionic liquids

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

Facilitated CO2 separation membranes: mixing cyano and amino acid-based ionic liquids

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

Development of new membranes based on ionic liquid materials for gas separation

In the field of energy, natural gas is an essential bridge to a clean, low carbon, renewable energy era. However, natural gas processing and transportation regulation require the removal of contaminant compounds such as carbon dioxide (CO2). Regarding clean air, the increasing atmospheric concentrations of greenhouse gases, specifically CO2, is of particular concern. Therefore, new costeffective, high performance technologies for carbon capture have been researched and the design of materials with the ability to efficiently separate CO2 from other gases is of vital importance.(...)