Sciweavers

5243 search results - page 73 / 1049
» Reasoning About Strategies
Sort
View
94
Voted
ISTA
2001
15 years 1 months ago
Reasoning about the Role of Information Systems in Trusting Decisions
: The interest in the study of trust has grown steadily since 1990 in a wide range of scholarly disciplines. The science of information systems is no exception, since the concepts ...
Primoz Perc
109
Voted
IJCAI
2003
15 years 1 months ago
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...
Carmel Domshlak, Francesca Rossi, Kristen Brent Ve...
139
Voted
SCS
2003
15 years 1 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly