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)

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

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

Avaliação dos efeitos da formação tecnológica nos estabelecimentos de ensino: contribuição para o estudo do impacte de um novo modelo curricular

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

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 construção do estado liberal. Elite política e burocracia na "Regeneração" (1851-1890)

Quem governa ? Qual a configuração e dinâmica da burocracia ? Sinteticamente, estas duas questões enunciam os objectivos principais da presente investigação sobre o sistema politico administrativo no Portugal oitocentista. No essencial, o âmbito cronológico do nosso estudo coincide com os limites temporais da "Regeneração ", no sentido lato do termo, isto e, com o novo ciclo liberal que tem como acto fundador o pronunciamento militar üsaldanhista" de finais de Abril de 1851 e se prolonga até à crise de 1890. comummente identificada pela historiografia portuguesa como um momento crucial de viragem. Este período de cerca de quarenta anos singulariza- se pela combinação de três aspectos fundamentais. Por um lado, tratou-se de uma época de relativa acalmia politica e social - apenas seriamente ameaçada na conjuntura critica de 1868 a 1871 -, durante a qual as manifestações de conflito violento, que tinham marcado a fase inicial do liberalismo, cederam o lugar às formas de conflito regulado. Esta alteração do tipo dominante de conflito, associada à institucionalização dos mecanismos e processos do sistema de "governo representativo", resultou da afirmação de uma lógica de compromisso (a "politica dos acordos") entre as várias parcialidades ou coligações rivais da elite, que implicava a subordinação da luta politica às regras da competição pacifica e a garantia de expectativas credíveis de alternância no poder. Em larga medida, essa transformação não teria sido possível sem uma ampla renovação do pessoal politico dirigente. Por outro lado, correspondeu a uma etapa decisiva na consolidação do aparelho burocrático do Estado liberal, que se traduziu numa dinâmica de expansão e modernização das estruturas e meios de administração. Finalmente, foi um ciclo marcado por importantes "melhoramentos materiais· e um razoável crescimento económico. embora à custa de um elevado endividamento público. Ocupando as principais posições de comando na hierarquia formal de poder e. como tal, intervindo activamente na construção das instituições e regulam o curso da vida colectiva, na elaboração das normas que as elites politicas são um dos actores centrais em todos os processos de mudança social, independentemente da avaliação positiva ou negativa do seu protagonismo histórico . Por essa razão. o estudo da sua formação e composição ou da sua acção transformadora constituem importantes eixos temáticos da investigação em sociologia politica.

Análise de indicadores de produtividade de circuitos de recolha selectiva de RSU com diferentes características operacionais

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 do Ambiente, perfil Engenharia Sanitária

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

Desenvolvimento de um modelo conceptual para a análise do ciclo de vida (ACV) de tecnologias de tratamento e valorização de óleos usados

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 do Ambiente,Perfil de Gestão e Sistemas Ambientais

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

Metodologia para a Taxonomia e estrutura dos procedimentos de análise de riscos ocupacionais

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 e Gestão Industrial

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

Taxonomia e estrutura dos procedimentos de análise de riscos ocupacionai

Neste artigo é apresentada uma taxonomia e estrutura para procedimentos de análise de riscos ocupacionais (designada por Matriz Perigo-Risco-Danos). É apresentada uma classificação normalizada de perigos/riscos, com identificação das consequências potenciais associadas, na Matriz para Identificação de Perigos-Riscos-Danos (dominantes). Para cada perigo/risco são identificados os danos potenciais individuais, em resultado de acidentes de trabalho (lesões), de doenças profissionais legais (patologias ocupacionais), de doenças relacionadas com o trabalho e de incomodidade ocupacional. Para a caracterização dos danos individuais são utilizadas as nomenclaturas existentes na metodologia EEAT (Estatísticas Europeias de acidentes de Trabalho) e no Decreto Regulamentar 76/ 2007. Cada dano é associado à região anatómica potencialmente atingida. A valoração do risco é organizada em termos de riscos para acidentes - doenças profissionais – e incomodidade ocupacional. Para cada perigo/risco são identificadas medidas de controlo, de acordo com a hierarquia referida na NP 4397:2008 (modificada). A implementação das medidas de controlo foi associada a um critério temporal de curto-médio-longo prazo que teve em conta a oportunidade da implementação e os grupos de medidas a implementar conjuntamente. Este procedimento metódico, designado por Matriz Perigo-Risco-Danos foi aplicado a uma empresa de fabricação de produtos de betão para a construção, pretendendo valorizar os procedimentos correntes de an