Sciweavers

3053 search results - page 37 / 611
» A Logic of Abstract Argumentation
Sort
View
MLQ
2007
65views more  MLQ 2007»
13 years 9 months ago
Non-standard analysis in ACA0 and Riemann mapping theorem
Abstract. This research is motivated by the program of Reverse Mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second order arithmetic...
Keita Yokoyama
TIME
2005
IEEE
14 years 3 months ago
Temporal Logic with Predicate lambda-Abstraction
Alexei Lisitsa, Igor Potapov
AI
2007
Springer
13 years 9 months ago
Computational properties of argument systems satisfying graph-theoretic constraints
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
Paul E. Dunne
ARGMAS
2006
Springer
14 years 1 months ago
Argumentation and Persuasion in the Cognitive Coherence Theory: Preliminary Report
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
Philippe Pasquier, Iyad Rahwan, Frank Dignum, Liz ...
COMMA
2006
13 years 11 months ago
Argumentation and Persuasion in the Cognitive Coherence Theory
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
Philippe Pasquier, Iyad Rahwan, Frank Dignum, Liz ...