789 search results - page 44 / 158 » On Theory Revision with Queries |
109
click to vote
RULEML
2009
Springer
15 years 6 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
JCDL
2006
ACM
15 years 5 months ago
2006
ACM
Currently in document retrieval there are many algorithms each with different strengths and weakness. There is some difficulty, however, in evaluating the impact of the test quer...
208
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
People are seldom aware that their search queries frequently mismatch a majority of the relevant documents. This may not be a big problem for topics with a large and diverse set o...
112
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoid...