1941 search results - page 177 / 389 » Reasoning about Computations Using Two-Levels of Logic |
112
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
120
click to vote
AMAI
2000
Springer
15 years 3 months ago
2000
Springer
An event space is a set of instantaneous events that vary both in time and specificity. The concept of an event space provides a foundation for a logical--i.e., modular and open-a...
126
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
140
click to vote
HCI
2009
15 years 1 months ago
2009
Recent work demonstrates the potential for extracting patterns from users' behavior as detected by sensors. Since there is currently no generalized framework for reasoning abo...
147
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...