129 search results - page 2 / 26 » Modeling how humans reason about others with partial informa... |
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
IJCAI
1989
13 years 6 months ago
1989
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...
VL
2002
IEEE
13 years 9 months ago
2002
IEEE
To help improve the reliability of spreadsheets created by end users, we are working to allow users to communicate the purpose and other underlying information about their spreads...
LAWEB
2006
IEEE
13 years 11 months ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
AAMAS
2010
Springer
13 years 5 months ago
2010
Springer
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...