15 search results - page 1 / 3 » Decision-theoretic Refinement Planning Using Inheritance Abs... |
190
Voted
AIPS
1998
15 years 8 months ago
1998
This paper addresses the search control problemof selecting whichplan to refine next for decision-theoretic planners, a choice point commonto the decision theoretic planners creat...
121
Voted
AIPS
1994
15 years 8 months ago
1994
183
Voted
KI
2007
Springer
16 years 1 months ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
214
Voted
ETRICS
2006
15 years 11 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
152
Voted
AIPS
1996
15 years 8 months ago
1996
Weintroduce a method of deduction-based refinement planning where prefabricated general solutions are adapted to special problems. Refmementproceeds by stepwise transforming nonco...