References

AB75

A.R. Anderson and N.D. Belnap. Entailment - the logic of relevance and necessity. Princeton University Press, Princeton, NJ, 1975.

BB83

M. Bates and R. Bobrow. A transportable natural language interface for information retrieval. ACM SIGIR Forum, 17:81-86, 1983.

Bel75

N.D. Belnap. How a computer should think. In Contemporary Aspects of Philosophy: Proceedings of the Oxford International Symposium, pages 30-56, Oxford, GB, 1975.

Bel77

N.D. Belnap. A useful four-valued logic. In G. Epstein and J. M. Dunn, editors, Modern Uses of Multiple-Valued Logic, pages 8-37. Reidel, Dordrecht, NL, 1977.

Ber90

C. Berrut. Indexing medical reports: The RIME approach. Information Processing and Management, Special Issue: Natural Language Processing and Information Retrieval, 26(1):93-110, 1990.

Bru89

M.-F. Bruandet. Outline of a knowledge base model for an intelligent information retrieval system. Information Processing and Management, 25(1):89-115, 1989.

CC92

Y. Chiaramella and J.P. Chevallet. About retrieval models and logic. The Computer Journal, 35(3):233-242, 1992.

CD87

Y. Chiaramella and B. Defude. A prototype of an intelligent system for information retrieval: IOTA. Information Processing and Management, 23(4):285-303, 1987.

CDKB86

Y. Chairamella, B. Defude, D. Kerkouba, and M.F. Bruandet. IOTA: A prototype of an information retrieval system. In Proceedings of SIGIR-86, 9th ACM Conference on Research and Development in Information Retrieval, pages 207-213, Pisa, I, 1986.

Che92

J.P. Chevallet. Un modele logique de recherche d'information appliqué au formalisme des graphes conceptuels. Le prototype Elen et son experimentation sur un corpus de composants logiciels. PhD thesis, Universite Joseph Fourier - Grenoble I, 1992.

CK66

C. Cleverdon and E. Keen. Factors determining the performance of indexing systems. vol. 2: Test results. Technical report, Aslib Cranfield Research Project, Cranfield, GB, 1966.

CL70

V. Cherniavsky and D. Lakhuti. On the problem of retrieval systems evaluation I. Automatic Documentation and Mathematical Linguistics, 4:9-26, 1970.

CN90

Y. Chairamella and J. Nie. A retrieval model based on an extended modal logic and its application to the RIME experimental approach. In Proceedings of SIGIR-90, 13th ACM Conference on Research and Development in Information Retrieval, pages 25-43, Brussels, B, 1990.

CR87

W.B. Croft and Thompson R.H. I3R: A new approach to the design of document retrieval systems. Journal of the American Society of Information Science, 38:389-404, 1987.

DLNN91

F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. In Proceedings of KR-91, 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 151-162, Cambridge, MA, 1991.

Dun76

J.M. Dunn. Intuitive semantics for first-degree entailments and coupled trees. Philosophical studies, 29:149-168, 1976.

Dun86

J.M. Dunn. Relevance logic and entailment. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic. Vol. III, pages 117-224. Reidel, Dordrecht, NL, 1986.

Fag87

J.L. Fagan. Experiments in automatic phrase indexing for document retrieval: A comparison of syntactic and non-syntactic methods. Technical Report 87-868, Cornell University, Ithaca, NY, 1987.

FB89

N. Fuhr and C. Buckley. Models for retrieval with probabilistic indexing. Information Processing and Management, 25(1):55-72, 1989.

FB91

N. Fuhr and C. Buckley. A probabilistic learning approach for document indexing. ACM Transactions on Information Systems, 9(3):223-248, 1991.

FMS91

H. Frei, S. Meienberg, and P. Schäuble. The perils of interpreting recall and precision values. In N. Fuhr, editor, Information Retrieval, pages 1-10. Springer, Berlin, FRG, 1991.

Fox83

E. Fox. Characterization of two new experimental collections in computer and information science containing textual and bibliographic concepts. Technical Report 83-561, Cornell University, Department of Computer Science, Ithaca, NY, 1983.

FS91

H. Frei and P. Schäuble. Determining the effectiveness of retrieval algorithms. Information Processing and Management, 27(2/3):153-164, 1991.

Fuh90

N. Fuhr. A probabilistic framework for vague queries and imprecise information in databases. In Proceedings of VLDB-90, 16th International Conference on Very Large Databases, pages 696-707, Los Altos, CA, 1990.

Fuh92

N. Fuhr. Probabilistic models in information retrieval. The Computer Journal, 35(3):243-255, 1992.

Gil77

J.T. Gill. Probabilistic complexity classes. SIAM Journal of Computing, 6:675-695, 1977.

GKT91

U. Güntzer, W. Kießling, and H. Thöne. New directions for uncertainty reasoning in deductive databases. In Proceedings of the ACM SIGMOD International Conference on the Management of Data, pages 178-187, New York, NY, 1991.

Hal89

G. Halin. Apprentissage pour la recherche interactives d'images: processus Exprim et prototype Rivage. PhD thesis, Université Nancy I-CRIN, 1989.

Har93

D. Harman, editor. The First Text REtrieval Conference (TREC1). National Institute of Standards and Technology Special Publication 500-207, Gaithersburg, MD, 1993.

HMK88

F. Hirabayashi, H. Matoba, and Y. Kasahara. Information retrieval using impression documents as a clue. In Proceedings of SIGIR-88, 11th ACM Conference on Research and Development in Information Retrieval, pages 233-242, Grenoble, F, 1988.

JB90

S. Jarwa and M.-F. Bruandet. A hypertext database model for information management in software engineering. In Proceedings of DEXA-90, International Conference on Database and Expert System Applications, pages 29-31, Wien, Austria, 1990.

JB92

S. Jarwa and M.-F. Bruandet. Elen prototype: an active hypertext system for document management in software engineering. In Proceedings of DEXA-92, International Conference on Database and Expert System Applications, Valencia, E, 1992.

Joh90

D. Johnson. A catalog of complexity classes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Vol. A Algorithms and Complexity, pages 67-161. The MIT Press/Elsevier, Cambridge, MA, 1990.

KK90

T. Kato and T. Kurita. Visual interaction with electronic art gallery. In Proceedings of DEXA-90, International Conference on Database and Expert System Applications, pages 234-240, Wien, Austria, 1990.

KKG93

W. Kießling, G. Köstler, and U. Güntzer. Fixpoint evaluation with subsumption for probabilistic uncertainty. In W. Stucky and A. Oberweis, editors, Datenbanksysteme in Büro, Technik und Wissenschaft, pages 316-333. Springer, Berlin, FRG, 1993.

Lak86

G. Lakemeyer. Step towards a first-order logic of explicit and implicit belief. In Proceedings of the First Conference on Theoretical Aspects of Reasoning About Knowledge, pages 325-340, Asilomar, CA, 1986.

Les91

M. Lesk. The CORE electronic chemistry library. In Proceedings of SIGIR-91, 14th ACM Conference on Research and Development in Information Retrieval, pages 93-113, Chicago, IL, 1991.

Lev84

H.J. Levesque. A logic of implicit and explicit belief. In Proceedings of AAAI-84, 4th Conference of the American Association for Artificial Intelligence, pages 198-202, Austin, TX, 1984.

MB93

P. Mulhem and M.-F. Bruandet. Matching objects: One step. In Proceedings of ICCI, International Conference on Computing and Information, Sudbury, Ontario, 1993.

MK60

M.E. Maron and J.L. Kuhns. On relevance, probabilistic indexing and information retrieval. Journal of the ACM, 66:192-219, 1960.

MRT91

C. Meghini, F. Rabitti, and C. Thanos. Conceptual modelling of multimedia documents. IEEE Computer. Special Issue on Multimedia Systems, 24(10):23-30, 1991.

MSST93

C. Meghini, F. Sebastiani, U. Straccia, and C. Thanos. A model of information retrieval based on a terminological logic. In Proceedings of SIGIR-93, 16th ACM Conference on Research and Development in Information Retrieval, Pittsburgh, PA, 1993. To appear.

Neb90

B. Nebel. Reasoning and revision in hybrid representation systems. Springer, Heidelberg, FRG, 1990.

Nie88

J. Nie. An outline of a general model for information retrieval systems. In Proceedings of SIGIR-88, 11th ACM Conference on Research and Development in Information Retrieval, pages 495-506, Grenoble, F, 1988.

Nie90

J. Nie. Un modele logique general pour les Systemes de Recherche d'Informations: Application au prototype RIME. PhD thesis, Universite Joseph Fourier - Grenoble I, 1990.

Pea88

J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA, 1988.

PS87

P.F. Patel-Schneider. Decidable, logic-based knowledge representation. Technical Report 201/87, Department of Computer Science, University of Toronto, Toronto, Ontario, 1987.

RBJ91

V. Raghavan, P. Bollmann, and G. Jung. Retrieval system evaluation using recall and precision: Problems and answers. In Proceedings of SIGIR-89, 12th ACM Conference on Research and Development in Information Retrieval, pages 59-68, Cambridge, MA, 1991.

RS91a

F. Rabitti and P. Savino. Automatic image indexation and retrieval. In Proceedings of RIAO-91, Barcelona, E, 1991.

RS91b

F. Rabitti and P. Savino. Image query processing based on multi-level signatures. In Proceedings of SIGIR-91, 14th ACM Conference on Research and Development in Information Retrieval, pages 305-314, Chicago, IL, 1991.

RSJ76

S.E. Robertson and K. Sparck Jones. Relevance weighting of search terms. Journal of the American Society of Information Science, 27:129-146, 1976.

Sal72

G. Salton. A new comparison between conventional indexing (Medlars) and automatic text processing (SMART). Journal of the American Society for Information Science, 23(2):75-84, 1972.

Sal89

G. Salton. Automatic Text Processing: The Transformation, Analysis, and Retrieval of Information by Computer. Addison-Wesley, Reading, 1989.

Sch84

U. Schoning. Complexity and Structure. Lecture Notes in Computer Science. Springer, Heidelberg, FRG, 1984.

SJ81

K. Sparck Jones. Retrieval system test (1958-1978). In K. Sparck Jones, editor, Information Retrieval Experiment. Butterworths, London, GB, 1981.

SL71

G. Salton and M. Lesk. Information analysis and dictionary construction. In G. Salton, editor, The SMART Retrieval System - Experiments in Automatic Document Processing. Prentice Hall, Englewood, Cliffs, NJ, 1971.

SM83

G. Salton and M.J. McGill. Introduction to Modern Information Retrieval. McGraw-Hill, New York, NY, 1983.

Sme90

A. Smeaton. Natural language processing and information retrieval. Information Processing and Management, Special Issue: Natural Language Processing and Information Retrieval, 26(1):19-20, 1990.

Sow84

J. Sowa. Conceptual Structures: information processing in mind and machine. Addison Wesley, New York, NY, 1984.

SS91

A. Smeaton and P. Sheridan. Tree structured analytics for matching phrases. Final Report, SIMPR: ESPRIT Project 2083, 1991.

Sta68

R. Stalnaker. A theory of conditionals. In W.L. Harper, R. Stalnaker, and G. Pearce, editors, Ifs, pages 41-55. Basil Blackwell, Oxford, GB, 1968.

SVR90

T.M.T. Sembok and C.J. Van Rijsbergen. SILOL: A simple logical-linguistic document retrieval system. Information Processing and Management, Special Issue: Natural Language Processing and Information Retrieval, 26(1):111-134, 1990.

SW86

J. Sowa and E.C. Way. Implementing a semantic interpreter using conceptual graphs. IBM Journal of Research and Development, 30(1):57-69, 1986.

TAAC86

R.M. Tong, L.A. Applebaum, V.N. Askman, and J.F. Cunningham. RUBRIC III: An object-oriented expert system for information retrieval. In Proceedings of Second Expert Systems in Government Symposium, pages 106-115, 1986.

TC91

H. Turtle and W.B. Croft. Evaluation of an inference network-based retrieval model. ACM Transactions on Information Systems, 9(3):187-222, 1991.

TS89

J. Tague and R. Schultz. Evaluation of the user interface in an information retrieval system: A model. Information Processing and Management, 25(4):377-389, 1989.

Tsi90

D. Tsichritzis. Object management. Technical report, Centre Universitaire d'Informatique, Université de Geneve, Geneve, CH, 1990.

vR77

C.J. van Rijsbergen. A theoretical basis for the use of co-occurrence data in information retrieval. Journal of Documentation, 33:106-119, 1977.

vR79

C.J. van Rijsbergen. Information Retrieval. Butterworths, London, GB, second edition, 1979.

vR86a

C.J. van Rijsbergen. A new theoretical framework for information retrieval. In Proceedings of SIGIR-86, 9th ACM Conference on Research and Development in Information Retrieval, pages 194-200, Pisa, I, 1986.

vR86b

C.J. van Rijsbergen. A non-classical logic for information retrieval. The Computer Journal, 29:481-485, 1986.

vR91

C.J. van Rijsbergen. Towards an information logic. In Proceedings of SIGIR-89, 12th ACM Conference on Research and Development in Information Retrieval, pages 77-86, Cambridge, MA, 1991.

vR92

C.J. van Rijsbergen. Probabilistic retrieval revisited. The Computer Journal, 35(3):291-298, 1992.