Juan Carlos Acosta Guadarrama

Learn More
Updates of knowledge bases have become an important topic in Artificial Intelligence and a key problem in knowledge representation and reasoning. One of the latest ideas to update logic programs is choosing between models of generalised answer sets to overcome disadvantages of previous approaches. This paper is an extended proposal of a semantics for(More)
Revising and updating beliefs and knowledge bases is an important topic in knowledge representation and reasoning that requires a solid theoretical basis. As a result, various researchers have proposed Answer Set Programming as one of their key components to set up their approaches. In the need to satisfy more general principles, this paper presents a new(More)
In this dissertation I present some aspects of belief-change theory and representation of knowledge as one of the main theoretical basis to formulate semantics for updates of logic programs. Firstly, there is an introduction to relevant principles and postulates, like the classical belief-revision formulation and a following proposal to make a difference(More)
Knowledge representation is an important topic in common-sense reasoning and Artificial Intelligence, and one of the earliest techniques to represent it is by means of knowledge bases encoded into logic clauses. Encoding knowledge, however, is prone to typos and other kinds of consistency mistakes, which may yield incorrect results or even internal(More)