1056 search results - page 159 / 212 » ijcai 2007 |
191
click to vote
IJCAI
2003
15 years 7 months ago
2003
In constraint programming one models a problem by stating constraints on acceptable solutions. The constraint model is then usually solved by interleaving backtracking search and ...
169
click to vote
IJCAI
2003
15 years 7 months ago
2003
We examine the approach of encoding planning problems as CSPs more closely. First we present a simple CSP encoding for planning problems and then a set of transformations that can...
192
click to vote
IJCAI
2003
15 years 7 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
160
click to vote
IJCAI
2003
15 years 7 months ago
2003
When a security incident occurs it is sometimes necessary to identify its causes for legal and cautionary purposes. In an attempt to hide the origin of her connection, a malicious...
156
click to vote
IJCAI
2003
15 years 7 months ago
2003
Personalization actions that tailor the Web experience to a particular user are an integral component of recommender systems. Here, product knowledge - either hand-coded or “mine...