Humans have always been intrigued by their ability to reason. We have constantly attempted to emulate this process, trying almost everything, from physiological explanations, to sociological accounts. The approach with possibly the longest tradition conceives this process as a mere…

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.

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…

In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also…

Modeling is one of the most important activities throughout any software development life cycle. Within object-oriented modeling, class generalization is a powerful, yet simple concept for abstracting commonalities between classes. Although, as classes evolved in the model, their semantics may…

In the last years there has been an increasing demand of a variety of logical systems, prompted
mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive
Systems (LDS) were developed as a °exible methodology…

Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks.…

The design of intelligent agents is a key issue for many applications. Although there is no universally accepted de nition of intelligence, a notion of rational agency has been proposed as an alternative for the characterization of intelligent agency.
Modeling…

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…

This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct those problems. The key contributions of…