Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
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 …
systems coming from different agents is addressed. The underlying argumentation theory is …
On dynamics in structured argumentation formalisms
This paper is a contribution to the research on dynamics in assumption-based
argumentation (ABA). We investigate situations where a given knowledge base undergoes …
argumentation (ABA). We investigate situations where a given knowledge base undergoes …
A classification and survey of preference handling approaches in nonmonotonic reasoning
In recent years, there has been a large amount of disparate work concerning the
representation and reasoning with qualitative preferential information by means of …
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 …
Agent systems in computational logic. The basic objective of the specification of this new …
On properties of update sequences based on causal rejection
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 …
represented as extended logic programs under the answer set semantics. In this approach …
Evolving logic programs
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 …
dynamics of knowledge changing over time. In this paper we describe a simple though quite …
Semantic forgetting in answer set programming
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 …
extensively in the context of classical logic, but less so in (nonmonotonic) logic programming …
An abductive framework for computing knowledge base updates
This paper introduces an abductive framework for updating knowledge bases represented
by extended disjunctive programs. We first provide a simple transformation from abductive …
by extended disjunctive programs. We first provide a simple transformation from abductive …
Semantical characterizations and complexity of equivalences in answer set programming
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 …
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
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 …
and intentions, but also by the role of emotions in reasoning and decision-making. The …