Search Sciweavers | Sciweavers

4224 search results - page 7 / 845

» Reasoning about Choice

191

click to vote

CADE
2009
Springer

218views Logical Reasoning» more CADE 2009»

Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival

16 years 6 months ago

Download people.csail.mit.edu

In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...

Martin C. Rinard

claim paper

Read More »

138

click to vote

CPAIOR
2004
Springer

89views Operations Research» more CPAIOR 2004»

Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework

15 years 11 months ago

Download 4c.ucc.ie

We describe using Case Based Reasoning to explore structure at the instance level as a means to distinguish whether to use CP or IP to solve instances of the Bid Evaluation Problem...

Cormac Gebruers, Alessio Guerri, Brahim Hnich, Mic...

claim paper

Read More »

164

click to vote

KR
1998
Springer

143views Automated Reasoning» more KR 1998»

On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc

15 years 10 months ago