1316 search results - page 195 / 264 » Intelligent Agents: Issues and Logics |
119
click to vote
AGENTCL
2003
Springer
15 years 3 months ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...
112
click to vote
WLP
2007
Springer
15 years 4 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
373
click to vote
IJVR
2008
14 years 10 months ago
2008
We are exploring a new application of virtual and augmented reality for a novel direction in human-computer interaction named `cultural computing', which aims to provide a new...
JCS
2006
14 years 10 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
AIIA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Efficiency of the first-order logic proof procedure is a major issue when deduction systems are to be used in real environments, both on their own and as a component of ...