4224 search results - page 196 / 845 » Reasoning about Choice |
229
Voted
AAAI
1996
15 years 8 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
190
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Most of recommender systems try to find items that are most relevant to the older choices of a given user. Here we focus on the "surprise me" query: A user may be bored ...
197
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
183
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
In the future digital TV will offer an unprecedented level of programme choice. We are told that this will lead to dramatic increases in viewer satisfaction as all viewing tastes a...
153
Voted
IVA
2010
Springer
15 years 5 months ago
2010
Springer
We describe a new organization for virtual human responses to dynamically occurring events. In our approach behavioral responses are enumerated in the representation of the event i...