4231 search results - page 609 / 847 » Using Language More Responsibly |
248
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
214
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
246
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Today's models for propagation-based constraint solvers require propagators as implementations of constraints to be at least contracting and monotonic. These models ...
258
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
We consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate explorat...
143
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Long-term search history contains rich information about a user's search preferences. In this paper, we study statistical language modeling based methods to mine contextual i...