1670 search results - page 116 / 334 » On Skolemization in constructive theories |
165
click to vote
DLOG
2007
15 years 8 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
154
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We construct a novel agent-based model of prediction markets in which putative human qualities like learning, reasoning, and profit-seeking are absent. We show that the prices whi...
181
click to vote
DMIN
2006
15 years 7 months ago
2006
In the music information retrieval field, the most important topic is to extract the feature which represents the content from the music objects. The content feature is useful for ...
176
click to vote
DMDW
2000
15 years 7 months ago
2000
Access. permissions in a data warehouse are currently managed in a separate world from the sources' policies. The consequences are inconsistencies, slow response to change, a...
176
click to vote
UAI
1993
15 years 7 months ago
1993
In this paper some initialwork towards a new approach to qualitative reasoning under uncertainty is presented. This method is not only applicable to qualitative probabilistic reas...