Argumentative formalisms have been widely recognized as knowledge representation and reasoning tools able to deal with incomplete and potentially contradictory informa- tion. All such formalisms are computationally demanding. Hence, optimizing argumen- tative systems has been approached from di erent views.

El rendimiento académico estudiantil ha sido definido como el cumplimiento de las metas, logros u objetivos establecidos en el programa o asignatura que está cursando el alumno.
Se puede analizar el rendimiento académico como una medida de las capacidades del…

In a production system it is usual to stress minimum tardiness to achieve higher client satisfaction.
According to the client relevance, job processing costs and requirements, and various other considerations, a weight is assigned to each job. An important, non-trivial,…

Este trabalho mostra uma forma de pensar concorrente. São utilizados algoritmos de grafos, algoritmo do menor caminho, para mostrar desde a especificação até a implementação de algoritmos concorrentes. Objetiva-se mostrar uma outra forma de ensinar a concorrência, sua teoria, propriedades…

Ontologies can be used in Domain Oriented Software Engineering Environments (DOSEEs) to organize and describe knowledge and to support management, acquisition and sharing of knowledge regarding some domain. However, ontology construction is not a simple task. Thus, it is necessary…

A multi-agent system is made up of multiple interacting autonomous agents. It can be viewed as a society in which each agent performs its activity cooperating to achieve common goals, or competing for them. They establish dialogues via some kind…

Actualmente el lugar que se le asigna a la informática en la mayoría de los planes de estudio de las escuelas de enseñanza media es el de una asignatura más, con contenidos, metodologías y quehaceres propios. Dentro de este enfoque…

The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML applications have been developed, such as datamining programs, information-filtering systems, etc. Although ML…

Se describe con un modelo orientado a objetos la estructura de la Lógica Descriptiva ALCN, junto a esta formalización se plantea un diseño que determina la satifactibilidad de conceptos. Un concepto C es satifactible en una A (ABox), si A…