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 galeria de exposições temporarias do Mosteiro de Alcobaça. Reflexões e contributos na óptica do discurso expositivo

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

Curadoria de Exposições Temporárias de Arte Contemporânea em Contexto Museológico no Século XXI – O Museu da Fundação de Serralves

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

EWDY: uma plataforma online para planeamento de viagens

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Novos Media e Práticas Web

O Uso de Câmaras Digitais e a Imaginação Cinematográfica. Um Novo Cinema na Era das Câmaras Fotográficas Digitais DSLR e dos Smartphones

O presente trabalho propõe o estudo do contexto contemporâneo de grandes desenvolvimentos de dispositivos móveis e de câmaras digitais. Considerando as novas práticas na comunicação e no entretenimento audiovisual, podemos estabelecer uma relação com a nova fenomenologia de produção de vídeos com equipamentos não convencionais na medida que se estabelecem como um meio de perturbação das normas históricas de produção e distribuição do cinema convencional. É extraordinária a evolução tecnológica na era moderna, mas nem sempre nos apresenta todas as suas utilidades. Em muitos casos é através da experimentação que se vislumbram determinados benefícios do uso de um equipamento. Torna-se necessário então perceber as diferentes características que inicialmente não foram indicadas para uma determinada tecnologia. Temos de experimentar diversas variações e registar as suas vicissitudes de modo a compreender as suas possibilidades. Só assim se perfilam as funcionalidades especiais de um determinado equipamento, pela unificação do potencial criativo que se conquista através da experiência empírica. É necessário reflectir o cinema independente moderno do ponto de vista desta busca por um paradigma próprio, muito impulsionado pela liberdade criativa dos realizadores contemporâneos. O baixo custo dos novos equipamentos tecnológicos suprime à partida diversas restrições, que embora invisíveis, reduzem a liberdade de realizadores independentes sem fundos de apoio para a produção dos seus projectos. As novas tecnologias constituem uma abertura para maior actividade de produção de vídeo, possibilitando inúmeras abordagens estéticas que buscam outras soluções visuais e novas linguagens cinematográficas, além do standard.

CrowdProcess: design numa startup de computação distribuída

Este estágio, realizado na CrowdProcess, consistiu em integrar a equipa da empresa, trabalhando na área do Design de Comunicação, Web e Gráfico, integrado no Departamento de Comunicação da empresa. A CrowdProcess é uma plataforma de computação distribuída que utiliza o poder de processamento dos browsers ligados para correr tarefas de computação distribuída. Uma vez que se trata de um produto online, a maioria do trabalho desenvolvido diz respeito a design e desenvolvimento web e apenas uma pequena parte dedicada a design gráfico. O trabalho foi desenvolvido com as linguagens HTML, CSS e JavaScript. Foram tidos em consideração os princípios de Design, Usabilidade e Arquitectura de Informação, com principal foco na prototipagem dos vários objectos desenvolvidos.

Take Care4All: Gestor Pessoal para o Bem-Estar na Saúde, Exercício Físico e Alimentação

Este trabalho de Projecto consiste numa plataforma online que possibilita ao seu utilizador gerir simultaneamente a saúde, o exercício físico e o regime alimentar. A plataforma é uma ferramenta que ajuda a promover o bem-estar do indivíduo, porque auxilia a monitorizar a toma de medicação e a agendar consultas e/ou exames. Permite ainda identificar o exercício físico e a dieta adequada para o estado de saúde do utilizador, através do teste de aptidão física e das calculadoras de IMC, TMB e NCD. Para o desenvolvimento da plataforma foram considerados os princípios da usabilidade e acessibilidade heurística de Jacob Nielsen. O desenvolvimento do projecto assenta nas linguagens de Programação de HTML5, CSS3, PHP, MySQL, Javascript (JQuery) e na plataforma de RWD do Twitter-Bootstrap.

Especificidades da tradução para palco: o caso do espectáculo Dr. Jekyll & Mr. Hyde da Companhia do Chapitô

A tradução para palco é uma tarefa particularmente complexa, dados os problemas que coloca ao tradutor não só a nível linguístico e cultural, mas também porque envolve linguagens não-verbais e ainda a noção de performability do texto a ser levado ao palco, o que implica um conhecimento profundo dos códigos teatrais implícitos no texto e na sua performance. O presente trabalho de projecto tem por objectivo uma análise do processo de criação e tradução do guião do espectáculo Dr. Jekyll & Mr. Hyde, realizado pela Companhia do Chapitô (Lisboa) entre 2013 e 2014. Através de um processo de adaptação peculiar, inspirado na commedia dell’arte, a Companhia do Chapitô criou a peça através de uma improvisação sobre o texto original em língua inglesa, o que conduziu à criação de um guião-base em inglês que foi posteriormente traduzido para a língua portuguesa pela mestranda. O trabalho que aqui se apresenta descreve tal processo, que se reveste de características especiais devido ao método de trabalho colaborativo seguido pela referida companhia de teatro que acolheu este projecto

A Definição em Terminologia: Perspetivas Teóricas e Metodológicas

Este estudo tem como objetivo a delineação dos pressupostos epistemológicos subjacentes ao tratamento da definição em terminologia, enquanto atividade e produto, considerando os seguintes aspetos: a entidade a definir, a definição de definição e suas tipologias, métodos e regras de formulação de boas definições, refletindo sobre os seus limites. Começando por nos situar no período clássico, em que surgiram os primeiros questionamentos sobre a definição, avança-se para a análise das teorias terministas integradas no contexto da linguagem da mente. Percorremos, em seguida, uma época em que se deu especial atenção às questões conceptuais e na qual surgiram propostas de linguagens formais que ambicionavam ultrapassar os constrangimentos da língua natural. Não poderíamos seguir este trajeto sem nos fixarmos sobre as teorias referenciais da filosofia e da linguagem, num momento em que as ciências afirmavam o seu estatuto e metodologias. Na contemporaneidade, é estabelecida uma ponte entre os estudos epistemológicos e a terminologia, detendo-nos sobre as problemáticas teóricas e metodológicas subjacentes à formulação de definições.