(cont.) yield a new proof of a result of Mochizuki yield a new proof of a result of Mochizuki Frobenius-unstable bundles for C general, and hence obtaining a self-contained proof of the resulting formula for the degree of V₂., Using…

Cette dissertation traite la danse comme une catégorie d’analyse permettant de réorienter ou de ré-chorégraphier les théories postcoloniales du corps. Mon étude montre qu’ Edward Said, par exemple, décrit la danse seulement à travers le regard impérial, et que Homi…

Teachers must be able to adapt to a rapidly changing IT knowledge and technology. This requirement is further compounded by the need that this knowledge and technology be incorporated in the curriculum at the same rate.
This paper presents a…

The problem of speeding up ínference has proved to be important in argumentative systems. When computing dialectical structures, several paths are searched (called argumentation lines), many of which will eventually prove useless. Morover, the performance of backward chainers degrades quickly…

The accomplishment of systems with abilities to reason about actions and change and systems that can manage incomplete or not very reliable information with abilities to discuss or argument has been of great importance for artificial intelligence community. These two…

Defeasible Logic Programming (DeLP) is a knowledge representation formalism that combines results from Logic Programming and Defeasible Argumentation to provide reasoning based on contradictory and potentially incomplete information. DeLP allows information representation by using weak rules and provides an argumentation…

In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch with Belief Revision since DL…

When there is a need to understand the data stored in a database, one of the main requirements is being able to extract knowledge in the form of rules. Classification strategies allow extracting rules almost naturally. In this paper, the…

This paper introduces an automatic procedure to assist on the interpretation of a large dataset when a similarity metric is available.
We propose a visualization approach based on a graph layout method- ology that uses a Quadratic Assignment Problem (QAP)…

In this paper an adaptive fuzzy decentralized
control algorithm for trajectory tracking of robot manipulators is developed. The proposed decentralized control algorithm allows the overall closed-loop system to be stabilized while making the tracking error to be uniformly ultimately bounded…