666 search results - page 34 / 134 » Modeling Agents with a Theory of Mind |
EXPERT
2006
13 years 7 months ago
2006
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...
ICWL
2003
Springer
14 years 24 days ago
2003
Springer
: This paper presents the design of a web-based learning content authoring tool as well as the way learners can access courseware material, within the scope of a personalized, yet ...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
NN
2008
Springer
13 years 7 months ago
2008
Springer
dely acknowledged that categorically organized abstract knowledge plays a significant role in high-order human cognition. Yet, there are many unknown issues about the nature of ho...
AIMS
2007
Springer
14 years 1 months ago
2007
Springer
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...