1912 search results - page 12 / 383 » On the evaluation of argumentation formalisms |
167
click to vote
AGENTCL
2003
Springer
15 years 5 months ago
2003
Springer
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...
JSYML
2010
14 years 6 months ago
2010
In this paper, we introduce the systems ns-ACA0 and ns-WKL0 of non-standard second-order arithmetic in which we can formalize non-standard arguments in ACA0 and WKL0, respectively...
COLING
2002
14 years 11 months ago
2002
We propose a formal characterization of variation in the syntactic realization of semantic arguments, using hierarchies of syntactic relations and thematic roles, and a mechanism ...
103
click to vote
FSS
2008
14 years 11 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
100
click to vote
IJAR
2008
14 years 11 months ago
2008
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...