3155 search results - page 497 / 631 » Maintenance: Less Is Not More |
170
click to vote
LPKR
1997
Springer
15 years 10 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
135
Voted
FSTTCS
1993
Springer
15 years 10 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
171
click to vote
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the me...
180
click to vote
SIGIR
2010
ACM
15 years 9 months ago
2010
ACM
Sponsored search is one of the major sources of revenue for search engines on the World Wide Web. It has been observed that while showing ads for every query maximizes shortterm r...
200
click to vote
SIGIR
2010
ACM
15 years 9 months ago
2010
ACM
As a principled approach to capturing semantic relations of words in information retrieval, statistical translation models have been shown to outperform simple document language m...