Sciweavers

2303 search results - page 35 / 461
» On the logic of argumentation theory
Sort
View
SYNASC
2007
IEEE
138views Algorithms» more  SYNASC 2007»
15 years 8 months ago
Some Applications of Weakly Picard Operators
Abstract. In this paper we give some applications of weakly Picard operators theory to linear positive approximation operators, to difference equations with deviating argument and...
Ioan A. Rus
NGC
2002
Springer
15 years 1 months ago
Chance Discovery and Scenario Analysis
Scenario analysis is often used to identify possible chance events. However, no formal, computational theory yet exists for scenario analysis. In this paper, we commence developme...
Peter McBurney, Simon Parsons
ICFP
2007
ACM
16 years 1 months ago
Relating complexity and precision in control flow analysis
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
David Van Horn, Harry G. Mairson
115
Voted
ARGMAS
2005
Springer
15 years 7 months ago
Practical Strategic Reasoning and Adaptation in Rational Argument-Based Negotiation
Recent years have seen an increasing interest of multiagent system research in employing the theory of argumentation for the development of communication protocols. While signific...
Michael Rovatsos, Iyad Rahwan, Felix A. Fischer, G...
COMMA
2008
15 years 3 months ago
Political Engagement Through Tools for Argumentation
In this paper we discuss the development of tools to support a system for edemocracy that is based upon and makes use of existing theories of argument representation and evaluatio...
Dan Cartwright, Katie Atkinson