5378 search results - page 17 / 1076 » Base Logics in Argumentation |
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
FOIKS
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. Argumentation is a reasoning model based on the construction and the evaluation of arguments. In his seminal paper, Dung has proe most abstract argumentation framework. I...
SGAI
2007
Springer
14 years 2 months ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...
ICALT
2009
IEEE
14 years 3 months ago
2009
IEEE
Supporting students in the acquisition of argumentation skills is an important goal of educational technology. However, there has not been much work done towards developing generi...
COMMA
2006
13 years 10 months ago
2006
In the context of Dung's theory of abstract argumentation frameworks, the comparison between different semantics is often carried out by resorting to some specific examples co...