Sciweavers

1094 search results - page 49 / 219
» On Computing Explanations in Argumentation
Sort
View
APL
1998
ACM
15 years 3 months ago
Reducing computational complexity with array predicates
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...
Robert Bernecky
94
Voted
COMMA
2010
14 years 5 months ago
Qualitative Evidence Aggregation using Argumentation
Evidence-based decision making is becoming increasingly important in many diverse domains, including healthcare, environmental management, and government. This has raised the need ...
Anthony Hunter, Matthew Williams
STOC
2002
ACM
80views Algorithms» more  STOC 2002»
15 years 11 months ago
Strict polynomial-time in simulation and extraction
The notion of efficient computation is usually identified in cryptography and complexity with (strict) probabilistic polynomial time. However, until recently, in order to obtain c...
Boaz Barak, Yehuda Lindell
95
Voted
KR
2010
Springer
15 years 3 months ago
Towards Fixed-Parameter Tractable Algorithms for Argumentation
Abstract argumentation frameworks have received a lot of interest in recent years. Most computational problems in this area are intractable but several tractable fragments have be...
Wolfgang Dvorák, Reinhard Pichler, Stefan W...
KI
2009
Springer
15 years 5 months ago
An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
Xiaowang Zhang, Zuoquan Lin