Negative information can be represented in several classes of logic programs. These approaches were first motivated by the search for an appropriate declarative semantics for negation as failure. Recently, some formalizations of monotonic negation were also introduced in logic programming…

Descripción completa.

This thesis studies al-Ghazali's theory of knowledge, particularly his concept of knowledge of God in his three later works: "The book of Knowledge" of the Ih&dotbelow;ya', al-Munqidh, and Iljam al-`Awamm. From his conception of knowledge of God the first book…

The contemporary study in the philosophy of language concentrates extensively on a cluster of questions defining the problem of linguistic knowledge (Evans 1981, Davies 1989, Dummett 1991). What explains a speaker's language mastery? Is it knowledge that underwrites our linguistic…

The tools for fault impact analysis are important for the deployment of critical mission systems. These tools can be also used as a development phase aid. We introduce several concepts related to "business alarms". Business alarms are an approximation to…

Este trabajo busca ampliar el conocimiento que se posee sobre variables dentales no métricas en aborígenes argentinos y fortalecer las bases de la antropología dental en nuestro país. Se ha estudiado la prevalencia del rasgo denominado hipocono en una muestra…

It is commonly acknowledged that we need to accept and handle uncertainty when reasoning with real world data. The most profoundly studied measure of uncertainty is the probability. However, the general feeling is that probability cannot express all types of…

La présente étude exploratoire examine la manifestation des schèmes de pensée chez les adolescents agresseurs sexuels. Cela s’est réalisé dans le cadre d’un stage au Centre de psychiatrie légale de Montréal. Les objectifs du stage clinique se sont précisés autour…

Focusing on the A-text (1604) version of Marlowe's Doctor Faustus , this study further assesses biographical information on the poet and intellectual currents of the Counter Reformation, so as to investigate the play's relation to emergent trends of individualism in…

This thesis considers the design of receivers for multi-user communication systems based on asynchronous direct-sequence code-division multiple-access (DS-CDMA). Its primary aim is to improve current receiver designs which exhibit shortcomings in systems using long sequence spreading (where the spreading sequence…