153 search results - page 17 / 31 » Warrant without truth |
134
Voted
WSDM
2010
ACM
15 years 10 months ago
2010
ACM
We consider a set of views stating possibly conflicting facts. Negative facts in the views may come, e.g., from functional dependencies in the underlying database schema. We want ...
106
Voted
WINE
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of designing auctions with worst case revenue guarantees for sponsored search. This problem differs from previous work because of ad dependent clickthroug...
97
Voted
JCDL
2006
ACM
15 years 6 months ago
2006
ACM
A number of projects are creating searchable digital libraries of printed books. These include the Million Book Project, the Google Book project and similar efforts from Yahoo an...
132
click to vote
SIGCSE
2000
ACM
15 years 5 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
134
click to vote
CORR
2004
Springer
15 years 17 days ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...