Previous work in software product lines showed an increment of up to 10 times in productivity and product quality [SEI Prod_Line]; because of this, the software product line approach is critical for the success of a development project including a…

In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting conclusions. A conclusion q will be considered valid only when the argument that supports it become a justification. Building a justification involves the construction of…

Disjunctive logic programs have been studied in order to increase expressivity, especially in representing indefinite information. Even though there is no general consensus on any specific semantic for disjunctive logic programs with negation, most of well known semantics are minimal…

In the last few years, several studies have emphasized the use of ontologies as an alternative to organization of the information.
The notion of ontology has become popular in fields such as intelligent information integration, information retrieval on the Internet,…

Este artigo descreve alguns princípios para a produção de objetos educacionais ergonômicos, os quais possibilitam a maximização do processamento dos conhecimentos propostos, evitando-se a sobrecarga cognitiva.
Nesse sentido, os educadores precisam ser capazes de apropriar-se das novas tecnologias para poderem…

The matrix connection method (MCM) is an alternative procedure for theorem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to…

The use of new technologies does not mean that the applied education model is modern. New technologies can be used in a way that follows the traditional education model, with all its deficiencies. The collaborative education model involves students in…

The integral development of a conventional broadcasting radio and its emission through internet is an investigative initiative and a pedagogic development. This idea, together with the creation of educative and local contents, wins great relevance in the TIC and the…

Robotic soccer is a way of putting different developments in intelligent agents into practice, including not only problems such as multi-agent planning and coordination, but also physical problems related to vision and communication subsystems. In this work, we present the…

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…