A Retrieval Model Based on an Extended Modal Logic and its Application to the RIME Experimental Approach.

Yves Chiaramella Jian-Yun Nie

Published in: SIGIR (1990)

Keyphrases

modal logic
temporal logic
information retrieval
inference rules
decision procedures
real world
higher order
image database
classical logic
multi agent systems
image retrieval
information retrieval systems
default logic
epistemic logic