Sciweavers

5378 search results - page 35 / 1076
» Base Logics in Argumentation
Sort
View
IAT
2009
IEEE
13 years 12 months ago
On the Acceptability of Meta-arguments
In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Metaarguments are generated from atomic argum...
Guido Boella, Leendert van der Torre, Serena Villa...
IJCAI
1997
13 years 10 months ago
Content Ordering in the Generation of Persuasive Discourse
A framework is summarized which supports the planning of natural language argument structure. One key aspect of natural argument is the order in which components are presented. Th...
Chris Reed, Derek Long
IDC
2009
Springer
14 years 3 months ago
A Trusted Defeasible Reasoning Service for Brokering Agents in the Semantic Web
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
Kalliopi Kravari, Efstratios Kontopoulos, Nick Bas...
CALCO
2005
Springer
85views Mathematics» more  CALCO 2005»
14 years 2 months ago
Using Proofs by Coinduction to Find "Traditional" Proofs
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
Clemens Grabmayer
ARGMAS
2004
Springer
14 years 2 months ago
Negotiation Among DDeLP Agents
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...
Fernando A. Tohmé, Guillermo Ricardo Simari