1912 search results - page 34 / 383 » On the evaluation of argumentation formalisms |
204
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
127
click to vote
KR
2000
Springer
15 years 9 months ago
2000
Springer
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...
148
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
153
click to vote
ATAL
2009
Springer
16 years 20 days ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
172
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...