Sciweavers

504 search results - page 1 / 101
» Complexity Properties of Restricted Abstract Argument System...
Sort
View
AI
2007
Springer
13 years 4 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
COMMA
2006
13 years 6 months ago
Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments
The hitherto most abstract, and hence general, argumentation system, is the one described by Dung in a paper from 1995. This framework does not allow for joint attacks on arguments...
Søren Holbech Nielsen, Simon Parsons
AAAI
2006
13 years 6 months ago
On the Complexity of Linking Deductive and Abstract Argument Systems
Michael Wooldridge, Paul E. Dunne, Simon Parsons
GLVLSI
1999
IEEE
74views VLSI» more  GLVLSI 1999»
13 years 8 months ago
Formal Checking of Properties in Complex Systems Using Abstractions
Dinos Moundanos, Jacob A. Abraham