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.

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

A inteligência emocional na formação em gestão da saúde : estudo de caso e proposta de modelo de avaliação

RESUMO - Introdução: A Inteligência Emocional (IE) é considerada um factor preditivo de sucesso, mais significativo do que outros tipos de inteligência e o seu estudo tem recebido cada vez maior relevância com o objectivo de aumentar os níveis de desempenho em gestão (Goleman, 2009). O desenvolvimento da IE no âmbito da formação em gestão apresenta resultados contraditórios sendo necessário confirmar o potencial de desenvolvimento da IE em programas de formação específicos. Objectivos: Confirmar a importância da IE para a gestão da saúde e perceber o seu potencial de desenvolvimento em programas de formação específicos; analisar o módulo opcional de Emoção, Liderança e Coaching na Gestão em Saúde; e construir uma proposta de modelo que avalie se a participação nessa Unidade Curricular permite aumentar os níveis de IE. Metodologia: Realizou-se uma revisão da literatura, que permitiu ter acesso aos conceitos e teorias e, posteriormente, o estudo de caso do módulo opcional que permitiu compará-lo com outras teorias existentes. Finalmente, construiu-se uma proposta de modelo de avaliação da IE, com um desenho quasi-experimental. Conclusões: A IE é um factor essencial para o sucesso, principalmente na Gestão da Saúde, pelas características do mercado e das organizações. Os instrumentos de avaliação da IE com recurso à medição de competências são os que apresentam menos limitações. O peso do módulo opcional no Curso de Mestrado em Gestão da Saúde, é pouco significativo (3,33% dos ECTS) e apenas 36,6% dos alunos o frequentaram. A estrutura do módulo está alinhada com as directrizes de outras teorias, mas a sua curta duração poderá constituir uma limitação. Sugere-se a criação de apoio tutorial individualizado e prolongado. O modelo de avaliação proposto representa a primeira tentativa de avaliação do desenvolvimento da IE na formação em Gestão da Saúde em Portugal e a sua aplicação permitiria a o aprimoramento do potencial de desenvolvimento das competências dos gestores. ---------------------------------- ABSTRACT - Introduction: Emotional Intelligence (EI) is the most predictive factor of success when compared with other types of intelligence. Since it is believed to increase performance levels, EI study has been given more relevance (Goleman, 2009). EI development studies show contradictory results, becoming necessary to prove the benefits of the development programs. Purposes: This study aimed to confirm the importance of the EI in health care management; to perceive the EI development potential of specific programs; to analyze the optional curricular unit of Emotion, Coaching and Leadership in Health Management; and to build a model that proposes to evaluate the student’s EI development. Methods: After the Literature Revision, the Case Study of the Curricular Unit allowed to compare it with other existing theories. The Model of EI evaluation consists on a quasi-experimental study. Conclusions: EI is an essential factor for success, mainly in Health Care Management, because of its market and organizations characteristics. The ability instruments of EI evaluation are those which show the least limitations. The Curricular Unit represents only 3,33% of the ECTS provided by this Health Management Master. Only 36.6% of master’s students chose to participate in this curricular unit. The structure of the curricular unit is lined up with the guide-lines of other theories. However, being a 6 weeks program, it could represent a limitation. It is suggested to create an individual and longitudinal tutorial support. The EI evaluation model proposed represents the first attempt to evaluate de EI development in Health Management programs in Portugal. Its application could increase the manager’s development efficacy.

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

Spill-over effects in multi-partner loyalty programs

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

Ratio Studiorum, do ensino tutorial ao ensino em sala de aula

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino da Filosofia no Ensino Secundário

Maintaining the correctness of transactional memory programs

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

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Lightweight monitoring of transactional memory programs

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

Promoting healthy eating standards on children through CSR educational programs: An evaluation of impact on eating preferences, attitude towards the brand and perceived brand reputation

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

Positioning of Ontario University Business Programs - Guelph-Humber

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

The Impact of income support programs on transitions to employment

The income support programs are created with the purpose of fighting both, the poverty trap and the inactivity trap. The balance between both is fragile and hard to find. Thus, the goal of this work is to contribute to solve this issue by finding how income support programs, particularly the Portuguese RSI, affect transitions to employment. This is made through duration analysis, namely using Cox and Competing Risks models. A particular feature is introduced in this work as it incorporates the possibility of Defective Risks. The estimated hazard elasticity with respect to the amount of RSI received for individuals who move to employment is -0,41. More than a half of RSI receivers stays for more than a year and the probability of never leaving to employment is 44%. The results appear to indicate that RSI has affected negatively transitions to employment.