1143 search results - page 134 / 229 » Prospective Logic Agents |
187
click to vote
AAAI
2010
15 years 7 months ago
2010
Recent research has shown that surprisingly rich models of human behavior can be learned from GPS (positional) data. However, most research to date has concentrated on modeling si...
172
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
143
click to vote
TACAS
2007
Springer
16 years 15 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
140
click to vote
IAT
2005
IEEE
16 years 5 hour ago
2005
IEEE
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...
169
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
iMobile is a platform that addresses the research issues in building mobile services. iMobile acts as a message gateway that allows mobile devices using various protocols on diffe...