This article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argumentation based formalism for representing knowledge and reasoning) and Abduction in logic. In first place, we introduce a framework that formally states the problem of doing…

In this paper, the two-dimensional strip packing problem with 3-stage level patterns is tackled using genetic algorithms (GAs). We evaluate the usefulness of a greedy seeding procedure for creating the initial population, incorporating problem knowledge. This is motivated by the…

The Knowledge Engineering Suite is an ontology production method, based on relationship networks, for knowledge representation inside specific contexts. The production of these ontologies has three basic steps, since catching the client data, knowledge base creation, and information retrieval and…

The cognitive diagnosis is defined as the abstract process of gathering information about the student's learning and transforming that information based on instructional decisions. A model that captures the expert knowledge of experienced professors and is used to design a…

Tardigrades constitute one of three clades of Xenarthra. Whereas modern tree sloths are common in the Amazonian Basin, their giant ground sloth "kin" were abundant throughout the Americas. During the Miocene, sloths were conspicuous faunal elements in Patagonia, generally considered…

Recent contributions to the knowledge of Gondwanan cynodonts highlight the presence in Africa of taxa previously recognized in South America and vice-versa. This is the case for the Middle Triassic Namibian fauna from the upper Omingonde Formation, where the first…

Talampaya and Tarjados Formations correspond to the initial stage of the Ischigualasto-Villa Unión Basin filling, and record the oldest post-Permian events in the region. The sequence consists of red beds deposited essentially by ephemeral alluvial and fluvial systems, and overlay…

This paper proposes an original generic hierarchical framework in order to facilitate the modeling stage of complex autonomous robotics mission planning problems with action uncertainties. Such stochastic planning problems can be modeled as Markov Decision Processes [5]. This work is…

Given an instance of an optimization problem together with an optimal solution, we consider the scenario in which this instance is modified locally. In graph problems, e. g., a singular edge might be removed or added, or an edge weight…

Species of Brunfelsia, whose flowers change colour progressively from violet to white, are popularly known as yesterday-today-tomorrow and used in folk medicine, mainly as anesthetic and diuretic. Based on ethnobotanical surveys, they have been investigated chemically and pharmacologically for expanding…