Sciweavers

31387 search results - page 466 / 6278
» Abstracts
Sort
View
AAAI
1992
15 years 8 months ago
The Expected Value of Hierarchical Problem-Solving
est case using an abstraction hierarchy in problem-solving can yield an exponential speed-up in search e ciency. Such a speed-up is predicted by various analytical models develope...
Fahiem Bacchus, Qiang Yang
ATAL
2010
Springer
15 years 8 months ago
Making norms concrete
In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level of abstractness of the organisational concepts and ...
Huib Aldewereld, Sergio Álvarez-Napagao, Fr...
CSL
2010
Springer
15 years 8 months ago
Exact Exploration and Hanging Algorithms
Abstract. Recent analysis of sequential algorithms resulted in their axiomatization and in a representation theorem stating that, for any sealgorithm, there is an abstract state ma...
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
4OR
2008
79views more  4OR 2008»
15 years 7 months ago
MIP-based heuristic for non-standard 3D-packing problems
This paper is the continuation of a previous work (Fasano 2004), dedicated to a MIP formulation for non-standard three-dimensional packing issues, with additional conditions. The ...
Giorgio Fasano
JCP
2008
139views more  JCP 2008»
15 years 7 months ago
Agent Learning in Relational Domains based on Logical MDPs with Negation
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
Song Zhiwei, Chen Xiaoping, Cong Shuang