1664 search results - page 149 / 333 » Towards Partial Reasoning |
134
click to vote
RECSYS
2009
ACM
15 years 11 months ago
2009
ACM
Recommender systems aim to substantially reduce information overload by suggesting lists of similar items that users may find interesting. Caching has been a useful technique for...
110
click to vote
TPHOL
2006
IEEE
15 years 10 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
134
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
121
click to vote
NIPS
2008
15 years 6 months ago
2008
Classical game theoretic approaches that make strong rationality assumptions have difficulty modeling human behaviour in economic games. We investigate the role of finite levels o...
133
click to vote
AAAI
1998
15 years 6 months ago
1998
In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actio...