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…

Artificial Intelligence deals with the challenge of modeling commonsense reasoning. In the last fifteen years argument-based systems have came forward to meet this challenge as knowledge representation and reasoning tools able to model incomplete and conflicting information. We believe that…

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…

Information systems play an ever-increasing key role in our society. In particular, data intensive applications are in constant demand and there is need of computing environments with much more intelligent capabilities than those present in today’s Data-base Management Systems (DBMS).…