Descripción completa.

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…

Much Learning is done by way of studying precedents and exercises. A teacher supplies a story, gives a problem, and expects a student both to solve a problem and to discover a principle. The student must find the correspondence between…

There are many situations in which a very detailed low-level description encodes, through a hierarchical organization, a recognizable higher-order pattern. The macro-molecular structural conformations of proteins exhibit higher order regularities whose recognition is complicated by many factors. ARIADNE searches for…

A survey of lignicolous freshwater ascomycetes was carried out in Las Ilusiones Lagoon located in the metropolitan area of Villahermosa City State of Tabasco, Mexico. Aniptodera inflatiascigera, Ascosacculus aquaticus and A. heteroguttulatus are recorded for the first time from Mexico.…

Reverse logistics activities require the ability to generate new knowledge to reduce high uncertainty and to solve problems resulting of these activities. In this sense the purpose of this research is to understand how the modes of knowledge conversion (Nonaka…

This research looks at the efficiency and effectiveness of the United States Child
Welfare System. Specifically, it focuses on the lack of standardization in the system
as well as the relationship between the two main institutions involved in the
system—Child…

This paper presents a novel algorithm for learning in a class of stochastic Markov decision processes (MDPs) with continuous state and action spaces that trades speed for accuracy. A transform of the stochastic MDP into a deterministic one is presented…

We had previously shown that regularization principles lead to approximation schemes, as Radial Basis Functions, which are equivalent to networks with one layer of hidden units, called Regularization Networks. In this paper we show that regularization networks encompass a much…

This paper describes a new method for cross-lingual textual entailment (CLTE) detection based on machine translation (MT). We use sub-segment translations from different MT systems available online as a source of cross-lingual knowledge. In this work we describe and evaluate…