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.

A debugging engine for parallel and distributed programs

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

Derivation methods for hybrid knowledge bases with rules and ontologies

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

Wetland Habitat Studies using various Classification Techniques on Multi-Spectral Landsat Imagery: Case study: Tram chim National Park, Dong Thap Vietnam

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

High-performance flexible hybrid field-effect transistors based on cellulose fiber paper

IEEE Electron Device Letters, VOL. 29, NO. 9,

Bitocast: a hybrid BitTorrent and IP Multicast content distribution solution

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

Environmental indicator frameworks to design and assess environmental monitoring programs

Impact Assessment and Project Appraisal, vol. 22, n.1, March 2004, p. 47–62

Static detection of anomalies in transactional memory programs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

UMA ABORDAGEM YEAST TWO-HYBRID PARA O ESTUDO DA REPLICAÇÃO E PATOGÉNESE DO VÍRUS DA HEPATITE DELTA

O vírus da hepatite delta (HDV) é o agente etiológico de uma das formas mais graves de hepatite viral e é ainda endémico em diversas regiões do globo, nomeadamente em África, na Amazónia e no Extremo Oriente. O HDV co-infecta ou super-infecta hepatócitos infectados com o vírus da hepatite B (HBV) aumentando em cerca de 10 vezes o risco de cirrose e hepatite fulminante. A associação clínica entre os dois vírus deve-se ao facto do invólucro do HDV ser constituído pelos antigénios de superfície do HBV (HBsAgs) que são necessários para a propagação da infecção. O genoma do HDV é constituído por uma molécula de RNA de cadeia simples, circular, com cerca de 1.7 Kb, que possui cerca de 70% de emparelhamento interno. Foi identificada uma única grelha de leitura aberta (ORF) no RNA viral que codifica para o antigénio delta (HDAg). A ocorrência de um mecanismo de editing do RNA, resulta na expressão de duas formas do HDAg, a pequena (S-HDAg) e a grande (L-HDAg). Várias funções essenciais para a replicação do HDV têm sido atribuídas a ambas as formas do HDAg, sendo a S-HDAg essencial para a acumulação de RNA viral e a L-HDAg responsável pela interacção com os HBsAgs para formar partículas virais. No entanto, dada a simplicidade dos seus componentes, admite-se que a replicação viral depende das interacções estabelecidas entre os HDAgs e factores celulares do hospedeiro. Apesar do número considerável de factores celulares descritos como interactores dos HDAgs ou RNA virais, a importância de muitas destas interacções não foi elucidada e muitas etapas do ciclo de replicação do HDV permanecem pouco claras. Para além disso, dado o número limitado de factores do hospedeiro que estão envolvidos na sua replicação, é muito provável que um número elevado de interactores do HDV permaneça por identificar. Este trabalho teve como objectivo a identificação de proteínas de fígado humano capazes de interagir com os HDAgs, utilizando o sistema yeast Two-Hybrid (YTH). Identificaram-se trinta proteínas com capacidade de interagir com a S-HDAg no sistema YTH, sendo que estas proteínas se encontram envolvidas em diferentes processos celulares. Com base nas características funcionais, foram seleccionadas três destas proteínas e as suas interacções com a S-HDAg foram investigadas com maior detalhe. As três proteínas seleccionadas foram a ribonucleoproteína nuclear heterogénea C (hnRNPC), a embryonic lethal abnormal vision like1 (ELAVL1/HuR) e a proteína 2 de ligação a EBNA1 (EBP2). As duas primeiras são proteínas de ligação a RNA, previamente descritas como envolvidas em processos de replicações de outros vírus com genoma RNA, enquanto a EBP2, é uma proteína de localização preferencialmente nucleolar, tal como por vezes acontece com os HDAgs. As interacções foram analisadas recorrendo a vários ensaios bioquímicos. No caso da hnRNPC e da HuR, após validação no sistema YTH, a capacidade de interacção com a S-HDAg foi confirmada quer in vitro por blot overlay quer in vivo por co-imunoprecipitação em células de hepatoma humano. Nas mesmas células, observou-se uma co-localização considerável entre os HDAgs e os RNAs virais. Finalmente, de modo a investigar a contribuição das proteínas hnRNPC e HuR na replicação do HDV, procedeu-se ao silenciamento destas proteínas pela utilização de short hairpin RNAs (shRNAs) específicos para os mRNAs correspondentes Observou-se que o silenciamento de ambas as proteínas hnRNPC e HuR endógenas, individualmente resultou numa diminuição acentuada nos níveis de expressão dos HDAgs. No que respeita à EBP2, a interacção com a S-HDAg foi confirmada em condições in vitro com recurso a ensaios de blot overlay e de cromatografia de afinidade. A análise por imunofluorescência indirecta e microscopia confocal revelou co-localização elevada entre os HDAgs e a EBP2, principalmente nos nucléolos de células de hepatoma humano. Finalmente, foi ainda utilizado o sistema YTH para estudar os mecanismos de importação dos HDAgs. Assim, este sistema foi utilizado com o propósito de identificar proteínas celulares capazes de interagir com um domínio específico dos HDAgs, o sinal de localização nuclear (NLS). Na pesquisa YTH realizada obtiveram-se 161 clones positivos, sendo que um deles mostrou codificar para a carioferina α4 (KPNA4). A interacção da KPNA4 com a S-HDAg foi reproduzida em condições in vitro através de um ensaio de cromatografia de afinidade tendo sido utilizadas formas recombinantes das duas proteínas. Este trabalho permitiu identificar várias proteínas celulares que interagem com a S-HDAg. Obtiveram-se evidências sugestivas de que algumas das proteínas identificadas podem desempenhar funções importantes no ciclo de replicação do HDV e que abrem novas perspectivas para o estudo do ciclo de replicação do vírus.

Hybrid systems biology: application to Escherichia coli

Dissertation presented to obtain a Master degree in Biotechnology

Combining open and closed world reasoning for the semantic web

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

Hybrid link-state path-vector protocol ++

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores Mestrado Integrado em Engenharia Electrotécnica e de Computadores

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Type-based protocol conformance and aliasing control in concurrent java programs

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

How to engage low category users through social media: The case of the make-up sector in Portugal

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