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 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

O estudo do marketing digital versus marketing tradicional e a percepção das suas campanhas por parte dos consumidores no mercado virtual e tradicional

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

O marketing no processo de internacionalização das empresas de construção civil portuguesas – levantamento e análise

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 Civil – Perfil de Construção

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

Health care marketing: the theory of planned behavior applied to patients' choise between private and public providers in the portuguese health care system.

Dissertation submitted in partial fulfillment of the requirements for degree of Master in Statistics and Information Management.

Movie Marketing: o caso português

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

Complementaridade da publicidade nos media tradicionais e o marketing online

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

Que farei com este perfil? Uma aplicação da análise multivariada ao marketing

Neste trabalho esboça-se o perfil de um candidato a Presidente da Câmara Municipal de Lisboa, na perspetiva dos eleitores do segmento de jovens universitários. A polémica nascente em tomo das eleições autárquicas que se aproximavam, abriu caminho à realização deste estudo de interesse imediato. A sua análise sai enriquecida pelo relativo conhecimento dos autores, acerca do ambiente social e político que a enquadra. Os autores simulam a posição de consultores de imagem de um candidato, cujos principais objetivos são: a)Preparar um discurso de campanha CML-93 no Campus da Universidade Nova de Lisboa b)Descobrir aspirações e necessidades dos eleitores potenciais.

Marketing ecológico

O presente documento resulta de um trabalho realizado no âmbito da cadeira de mestrado de “Estratégias de Marketing e Comportamento do Consumidor”. Neste trabalho, discutem-se algumas questões relacionadas com o marketing ecológico e a sua segmentação específica. Procura-se analisar o modo se definem e quais são as forças que estiveram na origem do marketing ecológico.

Location-based Marketing: the academic framework

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

Estratégias de diagnóstico e planeamento de marketing na área editorial - estudo de caso no mercado de formação profissional

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação.

Marketing social nas políticas públicas

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Ciência Política, variante de Políticas Públicas

Projeto de Marketing de Experiências para uma Empresa de Software de Recuperação de Sistemas informáticos

Trabalho de projecto apresentado como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

O Marketing nas pequenas e médias empresas do século XXI – O caso Português

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação