Sciweavers

3053 search results - page 41 / 611
» A Logic of Abstract Argumentation
Sort
View
COMMA
2006
15 years 3 months ago
The Carneades Argumentation Framework - Using Presumptions and Exceptions to Model Critical Questions
Abstract. In 2005, Gordon and Walton presented initial ideas for a computational model of defeasible argument [12, 26], which builds on and elaborates Walton's theory of argum...
Thomas F. Gordon, Douglas Walton
ECAI
2004
Springer
15 years 7 months ago
A General Recursive Schema for Argumentation Semantics
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
Pietro Baroni, Massimiliano Giacomin
MFCS
2009
Springer
15 years 8 months ago
FO Model Checking on Nested Pushdown Trees
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
Alexander Kartzow
114
Voted
ICTAI
2007
IEEE
15 years 8 months ago
Harnessing Ontologies for Argument-Based Decision-Making in Breast Cancer
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
Matt Williams, Anthony Hunter
COMMA
2006
15 years 3 months ago
Justifying Actions by Accruing Arguments
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...
Trevor J. M. Bench-Capon, Henry Prakken