Sciweavers

1894 search results - page 46 / 379
» Towards Mobile Reasoning
Sort
View
CLIMA
2010
14 years 10 months ago
Speculative Abductive Reasoning for Hierarchical Agent Systems
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence e...
Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hos...
PODS
2008
ACM
158views Database» more  PODS 2008»
15 years 12 months ago
Local Hoare reasoning about DOM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...
IJVR
2008
137views more  IJVR 2008»
14 years 11 months ago
Reasoning about Action for Behavioral Animation of Intelligent Virtual Agents
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
Yisong Liu, Shan Zhong, Yongzhao Zhan
ATAL
2005
Springer
15 years 5 months ago
Informed Deliberation During Norm-Governed Practical Reasoning
A norm-governed agent takes social norms into account in its practical reasoning. Such norms characterise its role within a specific organisational context. By adopting a role, th...
Martin J. Kollingbaum, Timothy J. Norman
LFP
1992
153views more  LFP 1992»
15 years 1 months ago
Reasoning About Programs in Continuation-Passing Style
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
Amr Sabry, Matthias Felleisen