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.

La presente investigación tiene como objetivo evaluar el funcionamiento tecnológico de 10 fincas pequeñas doble propósito leche-carne del municipio Torres estado Lara. Aplicándose la metodología Diagnóstico Rápido, Perfiles Productivos y
Funcionalidad de Patrones Tecnológicos en Sistemas de Producción con Vacunos;…

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…

This work presents the main theories and models formulated with the purpose of offering a global overview on the acquisition of knowledge and skills involved in the initial development of expert competence. Setting from this background, we developed an empirical…

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…

This paper describes progress to date in the development of a system for representing various forms of real-world knowledge. The knowledge is stored in the form of a net of simple parallel processing elements, which allow certain types of deduction…

A collection of powerful ideas??cription, plans, linearity, insertions, global knowledge and imperative semantics?? explored which are fundamental to debugging skill. To make these concepts precise, a computer monitor called MYCROFT is described that can debug elementary programs for drawing pictures.…

Ontologies serve as a mean to establish a conceptually concise basis for communicating knowledge for many purposes. Within the information integration area, ontologies are useful to solve heterogeneity problems. They provide a set of knowledge terms, including the vocabulary, the…

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…