A logic fulfilling all these requirements will be the main final result of the project. The other final result will be the evaluation of the logic, both on a theoretical and on an experimental basis, which will assess the retrieval effectiveness that can be expected from information retrieval systems based on the logic.
The project will develop a number of intermediate results:
The project will develop prototypes implementing significant aspects of the underlying theoretical work and will use these prototypes, both on a stand-alone basis and jointly, in experiments against a realistic base of multimedia documents.