Search Sciweavers | Sciweavers

4595 search results - page 84 / 919

» Reasoning about Plans

150

click to vote

IJCAI
2003

104views Artificial Intelligence» more IJCAI 2003»

Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques

15 years 6 months ago

Download ijcai.org

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...

claim paper

Read More »

182

click to vote

SCS
2003

180views Software Engineering» more SCS 2003»

A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments

15 years 6 months ago

Download crpit.com

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

claim paper

Read More »

106

click to vote

AAAI
1998

105views Intelligent Agents» more AAAI 1998»

Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations

15 years 6 months ago