3446 search results - page 406 / 690 » A Reasoning Algorithm for pD* |
195
Voted
AIIDE
2008
15 years 9 months ago
2008
We present a domain independent off-line adaptation technique called Stochastic Plan Optimization for finding and improving plans in real-time strategy games. Our method is based ...
146
Voted
FLAIRS
2008
15 years 9 months ago
2008
In this paper we describe a class of a problem of goal satisfaction in mutual exclusion network that can be solved in polynomial time. This problem provides a common basis for rea...
178
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Handling exceptions represents one of the most important problems in Artificial Intelligence. Several approaches have been proposed for reasoning on default theories. This paper f...
139
click to vote
WSC
2008
15 years 9 months ago
2008
Flight disruptions due to events such as inclement weather or mechanical failure are an increasing occurrence in today's air travel. It is important to develop flight schedul...
181
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...