We present the first vouchered record from Chubut provincein Futaleufú Department. Suburbs of Esquel city, along Ruta Nacional 259 to Trevelin on El Pinar, Roberts Farm. This is the southernmost record for the species; to our knowledge the previous southernmost…

Since the rst programming language taught to students of the faculty of Applied Sciences is Scheme We brie y describe our preference for Scheme and give an overview of the course The controversial language choice induced a lot of reactions…

Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent…

The SemanticWeb is a project intended to create a universal medium for information exchange by giving semantics to the content of documents on the Web by means of ontology definitions.
Ontologies intended for knowledge representation in intelligent agents rely on…

In this paper, we establish a relation between an argumentation based system: Defeasible Logic Programming (DELP), and a nonmonotonic system: Reiter’s Default Logic. This relation is achieved by introducing a variant of DELP and a transformation that maps default theories…

About 10 years ago informatics teacher training did not seem to be too productive. Even though many students graduated, most of them chose well paid jobs as IT specialists rather than underpaid teacher positions in Hungary. What is then the…

Four different leaf extracts of B. microstachya var. massambabensis were studied to evaluate their antioxidant capacity by using three in vitro methods, with Ginkgo biloba and Trolox® as the standards. With the DPPH and ABTS·+ methods, the antioxidant activity of…

La obtención de conocimiento a partir de la información existente es un proceso no trivial que consiste en identificar patrones válidos, novedosos, potencialmente útiles y comprensibles a partir de los datos disponibles. La Minería de Datos es el área de…

Current reasoning systems attempt to model an agent's knowledge and interaction with its environment in a symbolic manner. This environment, its world is generally dynamic and changing due to natural evolution or the actions of other agents that are a…

The purpose of this paper is to describe how some theorems about constructions in categories can be seen as a way of doing generic programming. No prior knowledge of category theory is required to understand the paper.
We explore the…