On the merging of Dung's argumentation systems

S Coste-Marquis, C Devred, S Konieczny… - Artificial Intelligence, 2007 - Elsevier
In this paper, the problem of deriving sensible information from a collection of argumentation
systems coming from different agents is addressed. The underlying argumentation theory is …

On dynamics in structured argumentation formalisms

A Rapberger, M Ulbricht - Journal of Artificial Intelligence Research, 2023 - jair.org
This paper is a contribution to the research on dynamics in assumption-based
argumentation (ABA). We investigate situations where a given knowledge base undergoes …

A classification and survey of preference handling approaches in nonmonotonic reasoning

J Delgrande, T Schaub, H Tompits… - Computational …, 2004 - Wiley Online Library
In recent years, there has been a large amount of disparate work concerning the
representation and reasoning with qualitative preferential information by means of …

A logic programming language for multi-agent systems

S Costantini, A Tocchio - European Workshop on Logics in Artificial …, 2002 - Springer
This paper presents a new logic programming language for modelling Agents and Multi-
Agent systems in computational logic. The basic objective of the specification of this new …

On properties of update sequences based on causal rejection

T Eiter, M Fink, G Sabbatini, H Tompits - Theory and Practice of Logic …, 2002 - cambridge.org
In this paper, we consider an approach to update nonmonotonic knowledge bases
represented as extended logic programs under the answer set semantics. In this approach …

Evolving logic programs

JJ Alferes, A Brogi, JA Leite, LM Pereira - Logics in Artificial Intelligence …, 2002 - Springer
Logic programming has often been considered less than adequate for modelling the
dynamics of knowledge changing over time. In this paper we describe a simple though quite …

Semantic forgetting in answer set programming

T Eiter, K Wang - Artificial Intelligence, 2008 - Elsevier
The notion of forgetting, also known as variable elimination, has been investigated
extensively in the context of classical logic, but less so in (nonmonotonic) logic programming …

An abductive framework for computing knowledge base updates

C Sakama, K Inoue - Theory and Practice of Logic Programming, 2003 - cambridge.org
This paper introduces an abductive framework for updating knowledge bases represented
by extended disjunctive programs. We first provide a simple transformation from abductive …

Semantical characterizations and complexity of equivalences in answer set programming

T Eiter, M Fink, S Woltran - ACM Transactions on Computational Logic …, 2007 - dl.acm.org
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of
logic programs P and Q has been considered, which holds if the programs P∪ R and Q∪ R …

Formal modelling of emotions in BDI agents

D Pereira, E Oliveira, N Moreira - … on Computational Logic in Multi-Agent …, 2007 - Springer
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires
and intentions, but also by the role of emotions in reasoning and decision-making. The …