83 search results - page 16 / 17 » An Algebraic Prolog for Reasoning about Possible Worlds |
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
144
click to vote
FUIN
2007
14 years 11 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
185
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
MIDDLEWARE
2005
Springer
15 years 4 months ago
2005
Springer
The vision of pervasive or ubiquitous computing, conceived by Mark Weiser, foresees a world where computing is embedded in every day objects. Such objects interact with each other...
JUCS
2008
14 years 11 months ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...