4595 search results - page 293 / 919 » Reasoning about Plans |
206
click to vote
GIS
2010
ACM
15 years 6 months ago
2010
ACM
The problem of point-to-point shortest path computation in spatial networks is extensively studied with many approaches proposed to speed-up the computation. Most of the existing ...
245
Voted
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
Researchers in the field of multiagent sequential decision making have commonly used the terms “weakly-coupled” and “loosely-coupled” to qualitatively classify problems i...
219
Voted
FLOPS
2010
Springer
16 years 2 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
184
Voted
ITNG
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
191
click to vote
IFL
2005
Springer
16 years 29 days ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...