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

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

EDP InovCity pilot study proposal: A set-top box interface

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

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

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

Conhecimento das jovens acerca da infeção genital por HPV : um estudo piloto

RESUMO - A infeção por Vírus do Papiloma Humano (HPV) constitui uma das infeções de transmissão sexual mais comuns em mulheres adolescentes e jovens sexualmente ativas, sendo responsável por 99,7% dos casos de cancro do colo do útero (CCU). O desenvolvimento de duas vacinas de segurança e eficácia comprovadas e a introdução da vacinação contra os HPV 6, 11, 16 e 18 nos programas de imunização de diversos países constituiu um marco muito importante para a investigação no âmbito do conhecimento das populações nesta temática. O presente trabalho de projeto teve como objetivo geral avaliar o conhecimento dos adolescentes/jovens entre os 15 e os 19 anos acerca da infeção genital por HPV. Foi efetuado um estudo piloto cuja amostra foi constituída por 20 jovens, género feminino, que acorreram à Consulta de Obstetrícia e Ginecologia do Adolescente dos Serviços de Assistência Médico-Social do Sindicato dos Bancários do Sul e Ilhas, acompanhadas dos respetivos encarregados de educação. Foi-lhes solicitado o consentimento informado e entregue um questionário de caráter anónimo e confidencial com questões para avaliação do conhecimento geral acerca da infeção por HPV, formas de transmissão, manifestações clínicas, prevenção, relação entre HPV e CCU e necessidades de informação. Este estudo piloto poder-se-á revelar útil na aferição de resultados quando aplicado em larga escala, para posterior avaliação comparativa do conhecimento no âmbito do HPV. Pode igualmente ser útil no desenvolvimento de mensagens apropriadas que acompanham os programas de rastreio nesta coorte, no futuro, com vista ao aumento da literacianos jovens.

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

Implementation of a pilot project for the treatment and prevention of substance abuse in children and adolescents : strengthening families for parents and youths 12-16

RESUMO: Antecendentes: Uma avaliação dos serviços de abuso de substâncias em Barbados identificou a necessidade de programas e serviços que são projetados especificamente para crianças e adolescentes. Objetivo: Realizar programa com base em evidências para reduzir a incidência de abuso de drogas entre crianças e adolescentes por meio do fortalecimento da unidade familiar através de parentalidade positiva, de maior funcionamento familiar e de resistência dos jovens. Método: Dois projetos-piloto foram realizadas com base no programa "Fortalecer as Famílias para Pais e Jovens de 12 a 16 anos (SFPY). O programa de nove semanas foi empregado como uma intervenção para criar laços familiares mais fortes, aumentar a resistência dos jovens e reduzir o abuso de drogas entre crianças e adolescentes de idades de 11 a 16 anos. A decisão foi tomada para incluir participantes de 11 anos desde que as crianças possam estar no primeiro ano da escola secundária nessa idade. IMPLEMENTATION OF SUBSTANCE ABUSE PILOT PROJECT FOR CHILDREN AND ADOLESCENTS 5 Resultados: Quinze famílias participaram em dois projetos-piloto e a avaliação final mostrou que os jovens após o programa, geralmente tornaram-se mais positivos sobre o seu lugar na unidade familiar e sentiram que sua participação no programa foi benéfica. Os pais, da mesma forma, relataram que eles conquistaram, com o programa uma relação mais positiva, uma melhor compreensão das necessidades, e consciência das mudanças de desenvolvimento de seus jovens. Desta forma, considera-se que o programa atingiu o resultado desejado de criar unidades familiares mais fortes. Conclusão: O Projeto Piloto “SFPY” foi bem sucedido em fazer pais e jovens mais conscientes de suas necessidades individuais e de responsabilidades dentro da unidade familiar. Como resultado, o relacionamentos das respectivas famílias melhorou. Estudos baseados em evidências têm demonstrado que um relação familiar mais forte diminui a incidência de uso e abuso de drogas na população adolescente, aumentando os fatores de proteção e diminuindo os fatores de risco. A implementação do programa, que foi desenvolvido e testado no ambiente norte-americano, demonstrou que era transferível para a sociedade de Barbados. No entanto, seu impacto total só pode ser determinado através de um estudo comparativo envolvendo um grupo de controle e / ou uma intervenção alternativa ao abuso de substâncias. Portanto, é recomendável que um estudo comparativo da intervenção SFPY deve envolver uma amostra representativa de adolescentes que estão em estágio de desenvolvimento anterior mais cedo. Evidências já demonstram que o programa é mais eficaz, com impacto mais longo sobre os jovens que participam em uma idade maisABSTRACT:Background: An evaluation of substance abuse services in Barbados has identified the need for programmes and services that are specifically designed for children and adolescents. Aim: To conduct an evidence-based programme to reduce the incidence of substance abuse among children and adolescents by strengthening the family unit through positive parenting, enhanced family functioning and youth resilience. Method: Two pilot projects were conducted based on the ‘Strengthening Families for Parents and Youths 12– 16’ (SFPY) programme. The nine-week programme was employed as an intervention to create stronger family connections, increase youth resiliency and reduce drug abuse among children and adolescents between the ages of 11 to 16. The decision was made to include participants from age 11 since children may be in the first year of secondary school at this age. IMPLEMENTATION OF SUBSTANCE ABUSE PILOT PROJECT FOR CHILDREN AND ADOLESCENTS 3 Results: Fifteen families participated in two pilot projects and an evaluation conducted at the conclusion showed that the youth were generally more positive about their perceived place in the family unit and felt that the being in the programme was generally beneficial. The parents similarly reported they had a more positive relationship with their youths and also had a better understanding of their needs, and an awareness of their developmental changes. This affirmed that the programme had achieved its desired outcome to create stronger family units. Conclusion: The SFPY Pilot Project was successful in making parents and youths more aware of their individual needs and responsibilities within the family unit. As a result relationships within their respective families were strengthened. Evidence-based studies have shown that enhanced family functioning decreases the incidence of substance use and abuse in the adolescent population by increasing protective factors and decreasing risk factors. The implementation of the programme, which was developed and tested in the North American environment, demonstrated that it was transferable to the Barbadian society. However, its full impact can only be determined through a comparative study involving a control group and/or an alternative substance abuse intervention. It is therefore recommended that a comparative study of the SFPY intervention should be delivered to a representative sample of adolescents who are at an earlier developmental stage. Evidence has shown that the programme is more effective, with longer impact on youths who participate at a younger age.