4224 search results - page 547 / 845 » Reasoning about Choice |
168
click to vote
ISMB
1993
15 years 8 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
204
click to vote
SEC
1996
15 years 8 months ago
1996
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
238
click to vote
TPCD
1994
15 years 8 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
170
click to vote
AAAI
1990
15 years 8 months ago
1990
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
167
click to vote
IJCAI
1989
15 years 8 months ago
1989
The difficulty of maintaining very large software systems is becoming more widely acknowledged. One of the primary problems is the need to access information about a complex and e...