Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation ...

In this paper, we model knowledge dynamics in agents' belief bases in a collaborative multi-agent system (MAS). Four change operators are introduced: expansion, contraction, prioritized revision, and non-prioritized revision. ...

The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations ...

In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch ...

We investigate some legal interpretation techniques from the viewpoint of the Argentinian jurisprudence. This allows the proposal of a logical framework –from a computer science perspective–for modeling such specific ...

As suggested in the literature, revising and updating beliefs and knowledge bases is an important unsolved topic in knowledge representation and reasoning that requires a solid theoretical basis, particularly in current ...