O futuro da web semântica e sua importância nas organizações

Trabalho realizado sob orientação do Prof. António Brandão Moniz para a disciplina “Factores Sociais da Inovação” do Mestrado Engenharia Informática realizado na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (Portugal)

Paul Churchland e a Problemática da Semântica dos Estados Mentais

Dissertação para obtenção do Grau de Mestre em Filosofia Contemporânea

A semântica do eu: critérios de identidade pessoal

pp. 35-47

Valores de (inter)subjetividade na análise semântica: a marcação da distância

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Linguística – especialização em Linguística Portuguesa

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.

Sistema de ficheiros transaccional sobre FUSE

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

DSLtranslator - ferramenta para transformação de modelos

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

Recuperação de informação multimédia em memórias pessoais

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

JavaCO – uma variante do Java com um sistema de tipos baseado em covariância

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

Extracção e representação de metadados num contexto de produção de vídeo

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

Geração automática de código ANSI C a partir de Redes de Petri IOPT - PNML2C -

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Tradução e análise do humor em “Jeeves Takes Charge” de P.G. Wodehouse

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Tradução

Caracterização espacial utilizando indução orientada aos atributos no SOLAP+

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

O contextualismo na filosofia da linguagem contemporânea

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Filosofia

Problemas de saúde nos países desenvolvidos e planeamento estratégico: evolução das políticas e estratégias de prevenção e combate à pré-obesidade e obesidade infantil e dos jovens em Portugal

A obesidade é uma doença crónica e constitui um factor de risco para outras patologias, como a diabetes ou as doenças cardiovasculares, contribuindo para a diminuição da qualidade de vida de adultos, crianças e jovens, e para o aumento dos custos directos e ndirectos com a saúde. Entre as suas múltiplas causas, destacam-se as mudanças comportamentais, nomeadamente as alterações ao padrão alimentar e a diminuição da actividade física, que resultam num balanço energético positivo. A pré-obesidade e obesidade são um grave problema de saúde nos países desenvolvidos e em desenvolvimento, sendo consideradas como epidemia global e um dos maiores desafios da saúde pública do início do século XXI. Verifica-se que a obesidade tem efeitos negativos imediatos na saúde individual dos mais jovens, aumentando-lhes também o risco de obesidade e suas co-morbilidades na idade adulta. O crescimento do problema entre crianças e jovens, bem como uma maior facilidade na introdução de mudança aos seus comportamentos, está na base de recomendações para que seja dada prioridade à prevenção e combate à pré-obesidade e obesidade nestas faixas etárias. Em Portugal, diversos estudos indicam o agravar do problema entre a população, sendo a prevalência entre crianças e jovens uma das mais ao nível europeu. Este facto, associado aos custos individuais, sociais e económicos da doença, constitui um foco de interesse para quem estuda a evolução dos sistemas de saúde. Com esta investigação procurou-se compreender a evolução das políticas e estratégias de prevenção e combate à pré-obesidade e obesidade infantil e dos jovens e como ela se projecta no futuro. Para tal, fez-se uso de uma metodologia qualitativa, através da análise da semântica e conteúdos de um Corpus documental que incluiu, entre outros, a Estratégia de Saúde para o Virar do Século (1998-2002), o Plano Nacional de Saúde 2004-2010 e a versão preliminar do Plano Nacional de Saúde 2011-2016. Os resultados mostram que o aumento de prevalência de excesso de peso na população portuguesa levou a que o problema ganhasse importância nas preocupações das autoridades de saúde. Verifica-se no entanto que a preocupação com o aumento da prevalência nas crianças e jovens se reflectiu mais tardiamente nos documentos estratégicos. Conclui-se ainda que a centralidade política da prevenção e combate ao problema, em particular, nas idades infanto-juvenis, surge após a aprovação da Carta Europeia de Luta Contra a Obesidade (WHO-Europe, 2006), de que Portugal é signatário. É possível estabelecer uma correspondência entre os princípios da Carta e as orientações estratégicas do PNS 2011-2016, recomendando-se o reforço deste alinhamento. PALAVRAS-CHAVE: Pré-obesidade, Obesidade, Portugal, Infantil, Crianças, Adolescentes, Jovens, Excesso de Peso, Plano Nacional de Saúde, Sistemas de Saúde, Planeamento em Saúde, Carta Europeia de Luta contra a Obesidade, Planeamento Estratégico.