5216 search results - page 943 / 1044 » Planning as Model Checking |
184
Voted
ABIALS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In order to establish autonomous behavior for technical systems, the well known trade-off between reactive control and deliberative planning has to be considered. Within ...
133
click to vote
ERCIMDL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we describe the design and implementation of the VDL Generator, a tool to simplify and automatise the Digital Library development process. In particular, we discuss h...
118
click to vote
AAAI
2010
15 years 4 months ago
2010
Embedded systems consisting of collaborating agents capable of interacting with their environment are becoming ubiquitous. It is crucial for these systems to be able to adapt to t...
115
Voted
AGI
2008
15 years 4 months ago
2008
AI has many techniques and tools at its disposal, yet seems to be lacking some special "juice" needed to create a true being. We propose that the missing ingredients are ...
131
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...