Sciweavers

10 search results - page 1 / 2
» Argumentation about Treatment Efficacy
Sort
View
AIME
2009
Springer
13 years 6 months ago
Argumentation about Treatment Efficacy
Abstract The volume and complexity of knowledge produced by medical research calls for the development of technology for automated management and analysis of such knowledge. In thi...
Nikos Gorogiannis, Anthony Hunter, Vivek Patkar, M...
DEXA
2006
Springer
181views Database» more  DEXA 2006»
13 years 8 months ago
Argumentation for Decision Support
In this paper we describe an application based on a general approach towards modelling practical reasoning through defeasible argumentation. The purpose of the paper is to show how...
Katie Atkinson, Trevor J. M. Bench-Capon, Sanjay M...
EUROCRYPT
2007
Springer
13 years 11 months ago
Zero Knowledge and Soundness Are Symmetric
We give a complexity-theoretic characterization of the class of problems in NP having zero-knowledge argument systems. This characterization is symmetric in its treatment of the ze...
Shien Jin Ong, Salil P. Vadhan
PSSE
2004
Springer
13 years 10 months ago
Developing and Reasoning About Probabilistic Programs in pGCL
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
Annabelle McIver, Carroll Morgan
COMMA
2010
12 years 11 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