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.

Data queries over heterogeneous sources

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

The internationalization process of born global firms in high-tech and low-tech industries: Is there any difference?

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

Stops and bonanzas in the EU: Does being part of the Euro Area make a difference?

In this paper, we investigate whether being part of the euro area influences the conditional probability of going through a sudden stop or a bonanza of capital flows. Our sample period is from 1995 until 2014. We identify these two phenomena and we evaluate which push and pull factors help predict the conditional probability of experiencing one of them. We find that most countries had significant capital inflows until 2008 and that there were more sudden stops during the recent financial crisis than in any other moment in our sample. The factors that better help forecast the conditional probability of a sudden stop are global uncertainty (represented by the push factor “Volatility Index”), and the domestic economic activity (pull factors “GDP growth” and “consumer confidence”). An indicator of country risk (pull factor “change in credit rating”) is the most significant one for predicting bonanzas. Ultimately, we find no evidence that being part of the euro area influences the conditional probability of going through a sudden stop or a bonanza.

Empirical evidence on the difference between the effective and the statutory tax rates for listed groups in Germany

The difference between the statutory and effective tax rate for listed groups is a complex variable influenced by a variety of factors. This paper aims to analyze whether this difference exists for listed groups in the German market and tests which factors have an impact on it. Thus the sample consists of 130 corporations listed in the three major German stock indices. The findings suggest that the companies that pay less than the statutory rate clearly outweigh the ones that pay more, and that the income earned from associated companies has a significant impact on this difference.