134
click to vote
AAAI
2007
15 years 8 months ago
2007
Performing experiments with human-robot interfaces often requires the allocation of expensive and complex hardware and large physical spaces. Those costs constrain development and...
163
Voted
AAAI
2008
15 years 8 months ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
143
Voted
FLAIRS
2010
15 years 8 months ago
2010
A novel `play-by-play' based procedure learning system has been successfully applied to automate Web tasks. In the transition to a non-Web domain, for a system widely used at...
132
click to vote
AAAI
2007
15 years 8 months ago
2007
In recent years, planning and scheduling research has paid increasing attention to problems that involve resource oversubscription, where cumulative demand for resources outstrips...
153
click to vote
AAAI
2008
15 years 8 months ago
2008
Heuristic search using algorithms such as A and IDA is the prevalent method for obtaining optimal sequential solutions for classical planning tasks. Theoretical analyses of these ...