This is a paper of two halves. First, a description of a logical model of IR known as imaging will be presented. Unfortunately due to constraints of time and computing resource this model was not implemented in time for this round of TREC. Therefore this paper's second half describes the more conventional IR model and system used to generate the Glasgow IR result set (glair1)

Crestani, F.

Ruthven, I.

Sanderson, M.

van Rijsbergen, C.J.

CiteSeerX

English

A non-classical logic for

Stratified Information Disclosure: a synthesis between Hypermedia and Information Retrieval” Phd thesis, Katholieke Universiteit Nijmegen, The Netherlands,

Toward a new information logic”

The troubles with using a logical model of IR on a large collection of documents