4573 search results - page 673 / 915 » Automated Reasoning |
123
Voted
ICCBR
2009
Springer
15 years 10 months ago
2009
Springer
Personalizing the product recommendation task is a major focus of research in the area of conversational recommender systems. Conversational case-based recommender systems help use...
102
Voted
ICCBR
2009
Springer
15 years 10 months ago
2009
Springer
Web search is the main way for millions of users to access information every day, but we continue to struggle when it comes to finding the right information at the right time. In ...
120
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
148
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
153
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...