2638 search results - page 308 / 528 » Frameworks for Reasoning about Agent Based Systems |
171
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
156
click to vote
ICMI
2004
Springer
15 years 12 months ago
2004
Springer
When talking about spatial domains, humans frequently accompany their explanations with iconic gestures to depict what they are referring to. For example, when giving directions, ...
142
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Both for developing human-like virtual agents and for developing intelligent systems that make use of knowledge about the emotional state of the user, it is important to model the ...
188
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
Collaborative Filtering based on similarity suffers from a variety of problems such as sparsity and scalability. In this paper, we propose an ontological model of trust between us...
123
click to vote
IWC
2011
15 years 1 months ago
2011
The importance of adopting a socio-technical approach to system development is recognised by many but not widely practised. We analyse the reasons for this, considering the histor...