Sciweavers

3053 search results - page 67 / 611
» A Logic of Abstract Argumentation
Sort
View
ATAL
2010
Springer
15 years 7 months ago
Collective argument evaluation as judgement aggregation
cting knowledge base can be seen abstractly as a set of arguments and a binary relation characterising conflict among them. There may be multiple plausible ways to evaluate confli...
Iyad Rahwan, Fernando Tohmé
AI
2005
Springer
15 years 6 months ago
SCC-recursiveness: a general schema for argumentation semantics
entation theory, Dung's abstract framework provides a unifying view of several alternative semantics based on the notion of extension. In this context, we propose a general r...
Pietro Baroni, Massimiliano Giacomin, Giovanni Gui...
ARGMAS
2007
Springer
15 years 10 months ago
Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents
Argumentation can serve as an effective computational tool and as a useful abstraction for various agent activities and in particular for agent reasoning. In this paper we further ...
Dorian Gaertner, Francesca Toni
ARGMAS
2006
Springer
15 years 10 months ago
Specification and Complexity of Strategic-Based Reasoning Using Argumentation
Abstract. In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a rel...
Mohamed Mbarki, Jamal Bentahar, Bernard Moulin
IGPL
2008
67views more  IGPL 2008»
15 years 6 months ago
Complete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
Thomas Ågotnes, Michal Walicki