5198 search results - page 721 / 1040 » A Logic of Agent Programs |
167
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
197
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
In this paper, a method of encapsulating camera tasks into well defined units called “camera modules” is described. Through this encapsulation, camera modules can be programm...
184
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...
177
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
182
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
A major trend in the current information society is personalization, which is considered a key business enabler for mobile services because the mobile device is a personal assista...