... This article is published and distributed under the terms of the Oxford University Press, Standard Journals Publication Model ( https://dbpia.nl.go.kr/pages/standard-publication-reuse-rights ) Abstract This study proposes a computational argumentation model for plausible reasoning in judicial proof, using...

... Journals Publication Model ( https://dbpia.nl.go.kr/pages/standard-publication-reuse-rights ) Abstract As a useful reasoning model, higher-order argumentation frameworks (HO-AF) have been studied in many works. This paper contributes to the theory of HO-AFs in three aspects. First, the acceptability...

... Publication Model ( https://dbpia.nl.go.kr/pages/standard-publication-reuse-rights ) Abstract Abstract argumentation is a well-studied model for evaluating arguments. Recently, evaluating argument strength in quantitative argumentation has received increasing attention, in which arguments...

.... I show that a Bayesian analysis of affirming the consequent helps us understand under which conditions abduction may be justified. This provides a Bayesian vindication of explanatory inference. affirming the consequent argumentation abductive inference Bayesian reasoning explanatory...

.... 2024 This article is published and distributed under the terms of the Oxford University Press, Standard Journals Publication Model ( https://dbpia.nl.go.kr/pages/standard-publication-reuse-rights ) Abstract The study of Dung-style Argumentation Frameworks in recent years has focused...

...Julian J Schloeder Expressivists have responded that reasoned argument is a conventionalized activity and that there are standards whereby we judge arguments. For instance, according to Charles Stevenson ( 1944 : 116–20), a moral claim can be undermined by deriving a contradiction from...

... of the Oxford University Press, Standard Journals Publication Model ( https://dbpia.nl.go.kr/pages/standard-publication-reuse-rights ) Abstract Attack principles have been introduced in semi-abstract argumentation frameworks and, in the present work, we interpret them in sequent-based argumentation...

... University Press, Standard Journals Publication Model ( https://dbpia.nl.go.kr/pages/standard-publication-reuse-rights ) Abstract In the research on dynamics of argumentation frameworks (AFs), the enforcement problem deals with changing an AF for the purpose of ensuring that a certain set of desired...

... include the formal analysis and verification of meta-theoretical properties, and the generation of interpretations and extensions under specific semantic constraints. abstract dialectical frameworks formal argumentation higher-order logic automated reasoning Isabelle/HOL Argumentation theory...

... interchange between demography and institutionalist scholarship and argue that questions of macro-level fertility effects of family policies could be better handled in a more explicit debate. family policy fertility argumentation analysis institutionalist theory pro-natalism governmental commission...

... and distributed under the terms of the Oxford University Press, Standard Journals Publication Model ( https://dbpia.nl.go.kr/pages/standard-publication-reuse-rights ) Dung’s theory of argumentation frameworks (abbreviated as AFs) [ 15 ] formally studies the arguments and the attack relation between...

...”, and its compatibility with contemporary understandings of international legal history and argumentation. Divided into four sections, the article focuses on the drivers behind Europe’s migration-development-security objectives in the Sahelout of which the pathways discourse emerges, the EU’s concomitant...

...Zhe Yu; Shier Ju; Weiwei Chen Structured argumentation contexts values consensus People argue to resolve disputes and to achieve consensus on important issues. These arguments must take place in certain contexts involving particular social norms and values. Real-world argumentation is usually...

...Alexander Steen; David Fuenmayor Abstract We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using interactive...

... of In, Out and Undec arguments). Given a labelling of and , we denote , and the sets of all arguments respectively labelled In, Out and Undec by . It is also possible to identify a correspondence between labellings and extensions for a given...

..., Standard Journals Publication Model ( https://dbpia.nl.go.kr/journals/pages/open_access/funder_policies/chorus/standard_publication_model ) Abstract The timed concurrent language for argumentation (tcla) is a framework to model concurrent interactions between communicating agents that reason and take...

... University Press, Standard Journals Publication Model ( https://dbpia.nl.go.kr/journals/pages/open_access/funder_policies/chorus/standard_publication_model ) Abstract The issue of how a semantics should deal with self-attacking arguments was always a subject of debate among argumentation scholars...

...Alexandros Vassiliades; Giorgos Flouris; Theodore Patkos; Antonis Bikakis; Nick Bassiliades; Dimitris Plexousakis We recall that an argumentation framework is defined as a pair , where is the set of arguments and is the set of attacks. An attack classification over an AAF...

...Weiwei Chen In other words, a set of arguments is complete if it is admissible and every argument defended by it is a member of it. There is always exactly one grounded extension, which is a set of acceptable arguments that presents no ambiguity. A set of arguments is preferred if it is a maximal...

... (resp. ) also satisfies (resp. ). Example 1 The prosecutor says that the defendant had the intention to kill the victim (argument ). A witness says that she saw the defendant throwing a sharp knife towards the victim (argument ). Argument can be considered as a support...