4894 search results - page 611 / 979 » Dynamic Abstraction Planning |
210
click to vote
ICAI
2003
15 years 8 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
226
click to vote
NDQA
2003
15 years 8 months ago
2003
Growth in government investment, academic research, and commercial question answering (QA) systems is motivating a need for increased planning and coordination. The internationali...
187
click to vote
IJCAI
1993
15 years 8 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
253
click to vote
AAAI
2008
15 years 8 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
195
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Rising energy costs in large data centers are driving an agenda for energy-efficient computing. In this paper, we focus on the role of database software in affecting, and, ultimat...