95 search results - page 1 / 19 » Towards a Logical Reconstruction of Information Retrieval Th... |
CAS
1999
13 years 5 months ago
1999
We here expand on a previous paper concerning the role of logic in information retrieval (IR) modelling. In that paper, among other things, we had pointed out how different ways of...
TODS
2010
13 years 3 months ago
2010
EUSFLAT
2009
13 years 3 months ago
2009
Abstract--When 60 years ago Shannon established "A Mathematical Theory of Communication" nobody could know the consequences for science and technology in the second half ...
DEXAW
2008
IEEE
13 years 11 months ago
2008
IEEE
JSAI
2007
Springer
13 years 11 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...