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.

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…

The design of intelligent agents is a key issue for many applications. Since there is no universally accepted definition of intelligence, the notion of rational agency was proposed by Russell as an alternative for the characterization of intelligent agency.
A…

This study investigates an approach of knowledge discovery and data mining in insufficient databases. An application of Computational Taxonomy analysis demonstrates that the approach is effective in such a data mining process. The approach is characterized by the use ot…

Nowadays, data intensive applications are in constant demand and there is need of computing environments with better intelligent capabilities than those present in today's Database Management Systems (DBMS). To build such systems we need formalisms that can perform complicate inferences,…

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…

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…

The objective of this paper is the construction of an Essential Object Model for Information Systems. This model is derived from the organization workflows representing the business processes and follows rules described by the methodology proposed. To achieve the desired…

This paper addresses the problem of contour line extraction from scanned topographic maps in poor condition. A novel method is developed, using knowledge of cartography and graphics to extract contours by removing other layers which overlay the contours, and reconstructing…

This study set sights at the issue of predominance of the attitude and behavior of self medication, medication storage and self treatment among female students of a Pakistani university. Random sampling and cross sectional surveys were conducted after collecting the…