3446 search results - page 660 / 690 » A Reasoning Algorithm for pD* |
110
click to vote
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
128
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
138
click to vote
PROMAS
2004
Springer
15 years 6 months ago
2004
Springer
Distributed partially observable Markov decision problems (POMDPs) have emerged as a popular decision-theoretic approach for planning for multiagent teams, where it is imperative f...
113
click to vote
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The shift from Web pages to Web services enables programmatic access to the near limitless information on the World Wide Web. Autonomous agents should generate concise an...