3053 search results - page 36 / 611 » A Logic of Abstract Argumentation |
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. In the past few years there have been a number of proposals for mechanisms for negotiation between agents that make use of argumentation. These proposals have largely bee...
KR
2000
Springer
14 years 1 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...
ENTCS
2002
13 years 9 months ago
2002
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
ICAIL
2005
ACM
14 years 3 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
PPDP
2010
Springer
13 years 8 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...