Ontology integration is the problem of combining data sources in the SemanticWeb. Concepts in source ontologies are captured in terms of concepts de ned in a global ontology. When some of these ontologies are inconsistent, the knowledge engineer often has…

The appearance and continuous growth of virtual communities on the web imposes the challenge of coping with the large amount of information and knowledge these communities produce. The Semantic Web with its set of standards and technologies provides the basic…

In this work two declarative approaches based on the BDI theory are studied, an agent programming language 3APL and an agent architecture that uses defeasible argumentation for knowledge representation and reasoning. Based on that study and considering that in 3APL…

Eugenia pruniformis Cambess. is an endemic species from Brazilian Atlantic Forest. Essential oils from leaves and fruits from this species were obtained by hydrodistillation and analyzed by GCMS/CG-FID. In all, 25 compounds were identified, with predominance of sesquiterpene hydrocarbons in…

This work belongs to the Project "Teaching and learning Psychology: a study of the educational practice in professors and beginners". It is part of an investigation program developed in the context of the subject "Didactic and Practical Planning of Psychology…

Collaborative systems are becoming a widely used tool particularly among professional communities and research groups. They provide a suitable context for distributed people working on the same subject to concentrate their work in a shared place to which everyone has…

The notion of context and its importance in knowledge representation and nonmonotonic reasoning was first discussed in Artificial Intelligence by John McCarthy.
Ever since, contexts have found many applications in developing knowledge-based reasoning systems.
Defeasible argumentation has gained wide acceptance…

This paper presents a group of elements to improve the teaching and learning in technological education, applied to Information and Communication Technologies (ICT). These elements are based on some contributions issued from contemporary education models, namely, the thematic approach, meaningful…

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…

The development of systems with the ability to reason about change notion and actions has been of great importance for the artificial intelligence community. The definition and implementation of systems capable of managing defeasible, incomplete, unreliable, or uncertain information has…