{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T22:40:21Z","timestamp":1737067221504,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":108,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419334"},{"type":"electronic","value":"9783540453680"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45368-7_9","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T20:54:44Z","timestamp":1180904084000},"page":"179-206","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Logic and Uncertainty in Information Retrieval"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Crestani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mounia","family":"Lalmas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"unstructured":"G. Amati and P. D. Bruza. A logical approach to query reformulation motivated from belief change. In Proceedings of the Workshop on Logical and Uncertainty Models for Information Systems, pages 36\u201345, London, UK, July 1999.","key":"9_CR1"},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/978-3-7908-1849-9_12","volume-title":"Soft Computing in Information Retrieval: techniques and application","author":"G. Amati","year":"2000","unstructured":"G. Amati and F. Crestani. Probabilistic learning by uncertain samplying with non-binary relevance. In F. Crestani and G. Pasi, editors, Soft Computing in Information Retrieval: techniques and application, pages 292\u2013314. Physica-Verlag, Heidelberg, Germany, 2000."},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/978-1-4615-5617-6_8","volume-title":"Information Retrieval: Uncer-tainty and Logics","author":"G. Amati","year":"1998","unstructured":"G. Amati and C. J. van Rijsbergen. Semantic Information Retrieval. In F. Crestani, M. Lalmas, and C. J. van Rijsbergen, editors, Information Retrieval: Uncer-tainty and Logics, pages 189\u2013220. Kluwer Academic Publishers, Norwell, MA, USA, 1998."},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-1-4615-5617-6_11","volume-title":"Information Retrieval: Uncertainty and Logics","author":"G. Amati","year":"1998","unstructured":"G. Amati and C. J. van Rijsbergen. Simplicity and Information Retrieval. In F. Crestani, M. Lalmas, and C. J. van Rijsbergen, editors, Information Retrieval: Uncertainty and Logics, pages 281\u2013293. Kluwer Academic Publishers, Norwell, MA, USA, 1998."},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0888-613X(93)90002-U","volume":"8","author":"Z. An","year":"1993","unstructured":"Z. An, A. Bell, and J. G. Hughes. Res-a logic for relative evidential support. International Journal of Approximate Reasoning, 8:205\u2013230, 1993.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9_CR6","volume-title":"Handbook of Mathematical Logic","author":"J. Barwise","year":"1993","unstructured":"J. Barwise. Handbook of Mathematical Logic. Elsevier Science Publishers B.V., Amsterdam, The Netherlands, 8th edition, 1993.","edition":"8th edition"},{"unstructured":"R. K. Belew. Rave reviews: acquiring relevance assessments from multiple users. In Proceedings of the AAAI Spring Symposium on Machine Learning in Information Access, Stanford, CA, USA, March 1996.","key":"9_CR7"},{"unstructured":"F. C. Berger and T. W. C Huibers. A framework based on situation theory for searching on a thesaurus. In J. Rowley, editor, The New Review of Document and text Management, volume 1, pages 253\u2013276, Crewe, England, 1995.","key":"9_CR8"},{"unstructured":"A. W. Black. A Situation Theoretic Approach to Computational Semantics. PhD thesis, University of Edinburgh, 1992.","key":"9_CR9"},{"doi-asserted-by":"crossref","unstructured":"P. D. Bruza and T. W. C. Huibers. Investigating aboutness axioms using information fields. In Proceedings of ACM SIGIR, pages 112\u2013121, Dublin, Ireland, 1994.","key":"9_CR10","DOI":"10.1007\/978-1-4471-2099-5_12"},{"unstructured":"P. D. Bruza and T. W. C Huibers. How monotonic is aboutness? Technical report, Utrecht University, The Netherlands, 1995. Technical Report UU-CS-1995-09.","key":"9_CR11"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00130692","volume":"10","author":"P. D. Bruza","year":"1996","unstructured":"P. D. Bruza and T. W. C Huibers. A study of aboutness in information retrieval. Artificial Intelligence Review, 10:1\u201327, 1996.","journal-title":"Artificial Intelligence Review"},{"unstructured":"P. D. Bruza. Stratified Information Disclosure: a synthesis between Hypermedia and Information Retrieval. PhD Thesis, Katholieke Universiteit Nijmegen, The Netherlands, 1993.","key":"9_CR13"},{"unstructured":"P. D. Bruza. Intelligent filtering using nonmonotonic inference. In Proceedings of the Australian Document Computing Symposium, pages 1\u20137, Royal Melbourne Institute of Technology, Melbourne, Australia, 1996.","key":"9_CR14"},{"unstructured":"P. D. Bruza, F. Crestani, and M. Lalmas. Second Workshop on Logical and Uncertainty Models for Information Systems (DEXA-LUMIS 2000). In Proceedings of DEXA 2000. IEEE Press, Greenwich, London, UK, 2000.","key":"9_CR15"},{"unstructured":"P. Buongarzoni, C. Meghini, R. Salis, F. Sebastiani, and U. Straccia. Logical and computational properties of the description logic MIRTL. In Proceedings of DL 95, pages 80\u201384, Rome, Italy, 1995.","key":"9_CR16"},{"unstructured":"J. P. Chevallet. Un mod\u00e8le logique de recherche d\u2019information appliqu\u00e9 au formalisme des graphes conceptuels. Le prototype ELEN et son exp\u00e9rimentation sur un corpus de composants logiciels. PhD thesis, Universit\u00e9 Joseph Fourier, Grenoble I, 1992.","key":"9_CR17"},{"issue":"3","key":"9_CR18","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1093\/comjnl\/35.3.233","volume":"35","author":"Y. Chiaramella","year":"1992","unstructured":"Y. Chiaramella and J. P. Chevallet. About retrieval models and logic. The Computer Journal, 35(3):233\u2013242, 1992.","journal-title":"The Computer Journal"},{"unstructured":"Y. Chiaramella, P. Mulhem, and F. Fourel. A model for multimedia information retrieval. Technical report, ESPRIT Basic Research Action, Project Number 8134-FERMI, Department of Computing Science, Glasgow University, Glasgow, UK, 1996.","key":"9_CR19"},{"doi-asserted-by":"crossref","unstructured":"Y. Chiaramella and J. Nie. A retrieval model based on an extended Modal Logic and its application to the RIME experiment approach. In Proceedings of ACM SIGIR, pages 25\u201343, Brussels, Belgium, 1990.","key":"9_CR20","DOI":"10.1145\/96749.98007"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0020-0271(71)90024-6","volume":"7","author":"W. S. Cooper","year":"1971","unstructured":"W. S. Cooper. A definition of relevance for Information Retrieval. Information Storage and Retrieval, 7:19\u201337, 1971.","journal-title":"Information Storage and Retrieval"},{"issue":"1","key":"9_CR22","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/195705.195735","volume":"13","author":"W. S. Cooper","year":"1995","unstructured":"W. S. Cooper. Some inconsistencies and misnomers in probabilistic Information Retrieval. ACM Transactions on Information Systems, 13(1):100\u2013111, 1995.","journal-title":"ACM Transactions on Information Systems"},{"unstructured":"F. Crestani and M. Lalmas, editors. Proceedings of the First Workshop on Logical and Uncertainty Models for Information Systems (LUMIS 99), London, UK, July 1999. Available online at: http:\/\/www.dcs.gla.ac.uk\/lumis99\/ .","key":"9_CR23"},{"volume-title":"Information Retrieval: Uncertainty and Logics","year":"1998","unstructured":"F. Crestani, M. Lalmas, and C. J. van Rijsbergen, editors. Information Retrieval: Uncertainty and Logics. Kluwer Academic Publisher, Norwell, MA, USA, 1998.","key":"9_CR24"},{"issue":"4","key":"9_CR25","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/299917.299920","volume":"30","author":"F. Crestani","year":"1998","unstructured":"F. Crestani, M. Lalmas, C. J. van Rijsbergen, and I. Campbell. Is this document relevant?::: probably. A survey of probabilistic models in Information Retrieval. ACM Computing Surveys, 30(4):528\u2013552, 1998.","journal-title":"ACM Computing Surveys"},{"key":"9_CR26","first-page":"287","volume-title":"Neuro-fuzzy Techniques for Intelligent Information Systems","author":"F. Crestani","year":"1999","unstructured":"F. Crestani and G. Pasi. Soft Information Retrieval: applications of fuzzy sets theory and neural networks. In N. Kasabov and R. Kozma, editors, Neuro-fuzzy Techniques for Intelligent Information Systems, pages 287\u2013315. Physica Verlag, Heidelberg, Germany, 1999."},{"volume-title":"Soft Computing in Information Retrieval: techniques and applications","year":"2000","unstructured":"F. Crestani and G. Pasi, editors. Soft Computing in Information Retrieval: techniques and applications. Physica-Verlag, Heidelberg, Germany, 2000.","key":"9_CR27"},{"unstructured":"F. Crestani and T. R\u00f6lleke. Issues on the implementation of imaging on top of probabilistic datalog. In Proceedings of the First Workshop in IR, Uncertainty and Logic. Glasgow, Scotland, UK, September 1995.","key":"9_CR28"},{"doi-asserted-by":"crossref","unstructured":"F. Crestani, I. Ruthven, M. Sanderson, and C. J. van Rijsbergen. The troubles with using a logical model of IR on a large collection of documents. Experimenting retrieval by logical imaging on TREC. In Proceedings of the TREC Conference, pages 509\u2013525, Washington D.C., USA, November 1995.","key":"9_CR29","DOI":"10.6028\/NIST.SP.500-236.adhoc-glasgow"},{"key":"9_CR30","first-page":"277","volume":"1","author":"F. Crestani","year":"1996","unstructured":"F. Crestani, M. Sanderson, and C. J. van Rijsbergen. Sense resolution properties of logical imaging. The New Review of Document and Text Management, 1:277\u2013298, 1996.","journal-title":"The New Review of Document and Text Management"},{"issue":"1","key":"9_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1108\/eb026939","volume":"51","author":"F. Crestani","year":"1995","unstructured":"F. Crestani and C. J. van Rijsbergen. Information Retrieval by Logical Imaging. Journal of Documentation, 51(1):1\u201315, 1995.","journal-title":"Journal of Documentation"},{"issue":"3","key":"9_CR32","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/290159.290161","volume":"16","author":"F. Crestani","year":"1998","unstructured":"F. Crestani and C. J. van Rijsbergen. A study of probability kinematics in rnformation retrieval. ACM Transactions on Information Systems, 16(3):225\u2013255, 1998.","journal-title":"ACM Transactions on Information Systems"},{"issue":"6","key":"9_CR33","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1002\/(SICI)1097-4571(198711)38:6<389::AID-ASI1>3.0.CO;2-4","volume":"38","author":"W. B. Croft","year":"1987","unstructured":"W. B. Croft and R. H. Thompson. I 3 R: a new approach to the design of Document Retrieval Systems. Journal of the American Society for Information Science, 38(6):389\u2013404, 1987.","journal-title":"Journal of the American Society for Information Science"},{"issue":"1","key":"9_CR34","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1002\/(SICI)1097-4571(199301)44:1<10::AID-ASI2>3.0.CO;2-V","volume":"44","author":"W. T. Silva da","year":"1993","unstructured":"W. T. da Silva and R. L. Milidi\u00fa. Belief function model for Information Retrieval. Journal of the American Society for Information Science, 44(1):10\u201318, 1993.","journal-title":"Journal of the American Society for Information Science"},{"key":"9_CR35","volume-title":"Logic and Information","author":"K. Devlin","year":"1991","unstructured":"K. Devlin. Logic and Information. Cambridge University Press, Cambridge, UK, 1991."},{"issue":"3","key":"9_CR36","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1093\/comjnl\/35.3.243","volume":"35","author":"N. Fuhr","year":"1992","unstructured":"N. Fuhr. Probabilistic models in Information Retrieval. The Computer Journal, 35(3):243\u2013254, 1992.","journal-title":"The Computer Journal"},{"doi-asserted-by":"crossref","unstructured":"N. Fuhr. Probabilistic Datalog-a logic for powerful retrieval methods. In Proceedings of ACM SIGIR, pages 282\u2013290, Seattle, WA, USA, 1995.","key":"9_CR37","DOI":"10.1145\/215206.215372"},{"issue":"3","key":"9_CR38","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/203330.203340","volume":"38","author":"R. Fung","year":"1995","unstructured":"R. Fung and B. Del Favero. Applying bayesian networks to Information Retrieval. Communications of the ACM, 38(3):42\u201348, 1995.","journal-title":"Communications of the ACM"},{"key":"9_CR39","doi-asserted-by":"publisher","first-page":"747","DOI":"10.2307\/2026039","volume":"79","author":"P. G\u00e4rdenfors","year":"1982","unstructured":"P. G\u00e4rdenfors. Imaging and conditionalization. Journal of Philosophy, 79:747\u2013760, 1982.","journal-title":"Journal of Philosophy"},{"key":"9_CR40","volume-title":"Knowledge in flux: modelling the dynamics of epistemic states","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors. Knowledge in flux: modelling the dynamics of epistemic states. The MIT Press, Cambridge, Massachusetts, USA, 1988."},{"volume-title":"Belief Revision","year":"1992","unstructured":"P. G\u00e4rdenfors, editor. Belief Revision. Cambridge University Press, Cambridge, UK, 1992.","key":"9_CR41"},{"key":"9_CR42","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-3296-4","volume-title":"Information and inference","author":"J. Hintikka","year":"1970","unstructured":"J. Hintikka. On semantic information. In Information and inference. Synthese Library, Reidel, Dordrecht, The Netherlands, 1970."},{"key":"9_CR43","volume-title":"An Introduction to Modal Logic","author":"G. E. Hughes","year":"1968","unstructured":"G. E. Hughes and M. K. Cresswell. An Introduction to Modal Logic. Muthuen and Co. Ltd, London, UK, 1968."},{"unstructured":"T. Huibers, I. Ounis, and J. P. Chevallet. Axiomatization of a conceptual graph formalism for information retrieval in a situated framework. Technical Report RAP95-004, Group MRIM of the Laboratoire de G\u00e9nie Informatique, Grenoble, France, 1995.","key":"9_CR44"},{"unstructured":"T. W. C. Huibers and P. D. Bruza. Situations, a general framework for studying information retrieval. In Proceedings of the 16th British Computer Society Colloquium in Information Retrieval, Drymen, Scotland, UK, March 1994.","key":"9_CR45"},{"unstructured":"T. W. C Huibers and N. Denos. A qualitative ranking method for logical information retrieval models. Technical Report RAP95-005, Groupe MRIM of the Laboratoire de G\u00e9nie Informatique, Grenoble, France, 1995.","key":"9_CR46"},{"unstructured":"T. W. C Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, Utrecht University, The Netherlands, 1996.","key":"9_CR47"},{"unstructured":"A. Hunter. Intelligent text handling using default logic. In Proceedings of IEEE Conference on Tools with Artificial Intelligence, 1996. (to appear).","key":"9_CR48"},{"key":"9_CR49","volume-title":"Qualitative and Quantitative Practical Reasoning (ECSQARU\u201997\/FAPR\u201997)","author":"A. Hunter","year":"1997","unstructured":"A. Hunter. Using default logic for lexical knowledge. In Qualitative and Quantitative Practical Reasoning (ECSQARU\u201997\/FAPR\u201997). Springer-Verlag, Heidelberg, Germany, 1997."},{"key":"9_CR50","volume-title":"The logic of decision","author":"R. C. Jeffrey","year":"1965","unstructured":"R. C. Jeffrey. The logic of decision. McGraw-Hill, New York, USA, 1965."},{"volume-title":"Neuro-fuzzy techniques for intelligent information systems","year":"1998","unstructured":"N. Kasabov and R. Kozma, editors. Neuro-fuzzy techniques for intelligent information systems. Physica Verlag, Heidelberg, Germany, 1998.","key":"9_CR51"},{"key":"9_CR52","first-page":"63","volume-title":"Reference and modality","author":"S. A. Kripke","year":"1971","unstructured":"S. A. Kripke. Semantical considerations on modal logic. In L. Linsky, editor, Reference and modality, chapter 5, pages 63\u201373. Oxford University Press, Oxford, UK, 1971."},{"unstructured":"M. Lalmas. From a qualitative towards a quantitative representation of uncertainty on a situation theory based model of an information retrieval system. Technical report, Department of Computing Science, Technical Report TR-1995-18, University of Glasgow, Scotland, 1995.","key":"9_CR53"},{"volume-title":"Proceedings of the First International Workshop on Information Retrieval, Uncertainty and Logics","year":"1995","unstructured":"M. Lalmas, editor. Proceedings of the First International Workshop on Information Retrieval, Uncertainty and Logics, Glasgow, Scotland, UK, July 1995.","key":"9_CR54"},{"unstructured":"M. Lalmas. Modelling Information Retrieval with Dempster-Shafer\u2019s theory of evidence: a study. In Proceedings of the ECAI Workshop on Uncertainty in Information Systems: questions of viability, Budapest (Hungary), September 1996.","key":"9_CR55"},{"issue":"1","key":"9_CR56","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0306-4573(97)00041-1","volume":"34","author":"M. Lalmas","year":"1998","unstructured":"M. Lalmas. Logical models in Information Retrieval: introduction and overview. Information Processing & Management, 34(1):19\u201333, 1998.","journal-title":"Information Processing & Management"},{"issue":"2","key":"9_CR57","first-page":"19","volume":"13","author":"M. Lalmas","year":"1998","unstructured":"M. Lalmas and P. D. Bruza. The use of logic in information retrieval modelling. Knowledge Engineering Review, 13(2):19\u201333, 1998.","journal-title":"Knowledge Engineering Review"},{"issue":"5","key":"9_CR58","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1108\/EUM0000000007180","volume":"54","author":"M. Lalmas","year":"1998","unstructured":"M. Lalmas and I. Ruthven. Representing and retrieving structured documents with Dempster-Shafer\u2019s theory of evidence: Modelling and evaluation. Journal of Documentation, 54(5):529\u2013565, 1998.","journal-title":"Journal of Documentation"},{"unstructured":"M. Lalmas and C. J. van Rijsbergen. A model of an Information Retrieval system based on Situation Theory and Dempster-Shafer theory of evidence. In Proceedings of the 1st Workshop on Incompleteness and Uncertainty in Information Systems, pages 62\u201367, Montreal, Canada, 1993.","key":"9_CR59"},{"key":"9_CR60","volume-title":"Conterfactuals","author":"D. Lewis","year":"1986","unstructured":"D. Lewis. Conterfactuals. Basil Blackwell, Oxford, UK, 2nd edition, 1986.","edition":"2nd edition"},{"doi-asserted-by":"crossref","unstructured":"D. E. Losada and A. Barreiro. Using a belief revision operator for document ranking in extended boolean model. In Proceedings of ACM SIGIR, pages 66\u201373, Berkeley, CA, USA, 1999.","key":"9_CR61","DOI":"10.1145\/312624.312654"},{"unstructured":"D. E. Losada and A. Barreiro. Efficient algorithms for ranking documents. In Proceedings of SIGIR Workshop on Formal\/Mathematical Methods for Information Retrieval, pages 16\u201324, Athens, Greece, 2000.","key":"9_CR62"},{"unstructured":"D. E. Losada and A. Barreiro. Retrieval situations and belief changes. In Proceedings of DEXA-LUMIS 2000, Greenwich, London, UK, 2000.","key":"9_CR63"},{"doi-asserted-by":"crossref","unstructured":"C. Meghini, F. Sebastiani, U. Straccia, and C. Thanos. A model of Information Retrieval based on a Terminological Logic. In Proceedings of ACM SIGIR, pages 298\u2013307, Pittsburgh, PA, USA, June 1993.","key":"9_CR64","DOI":"10.1145\/160688.160753"},{"doi-asserted-by":"crossref","unstructured":"C. Meghini and U. Straccia. A relevance terminological logic for information retrieval. In Proceedings of ACM SIGIR, Zurich, CH, August 1996.","key":"9_CR65","DOI":"10.1145\/243199.243267"},{"issue":"4","key":"9_CR66","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/ijl\/3.4.235","volume":"3","author":"G. A. Miller","year":"1990","unstructured":"G. A. Miller. WordNet: An on-line lexical database. International Journal of Lexicography, 3(4):235\u2013312, 1990.","journal-title":"International Journal of Lexicography"},{"key":"9_CR67","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/978-1-4615-5617-6_5","volume-title":"Information Retrieval: Uncertainty and Logics","author":"A. M\u00fcller","year":"1998","unstructured":"A. M\u00fcller. A flexible framework formultimedia Information Retrieval. In F. Crestani, M. Lalmas, and C. J. van Rijsbergen, editors, Information Retrieval: Uncertainty and Logics, pages 97\u2013128. Kluwer Academic Publishers, Norwell, MA, USA, 1998."},{"key":"9_CR68","volume-title":"Probabilistic reasoning in expert systems","author":"R. E. Neapolitan","year":"1990","unstructured":"R. E. Neapolitan. Probabilistic reasoning in expert systems. John Wiley and Son Inc., New York, USA, 1990."},{"unstructured":"J. Y. Nie. Un Mod\u00e8le de Logique G\u00e9n\u00e9rale pour les Systemes de Recherche d\u2019Informations. Application au Prototype RIME. PhD Thesis, Universit\u00e9 Joseph Fourrier, Grenoble, France, 1990.","key":"9_CR69"},{"doi-asserted-by":"crossref","unstructured":"J. Y. Nie. An outline of a general model for Information Retrieval. In Proceedings of ACM SIGIR, pages 495\u2013506, Grenoble, France, June 1988.","key":"9_CR70","DOI":"10.1145\/62437.62493"},{"issue":"5","key":"9_CR71","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1016\/0306-4573(89)90019-8","volume":"25","author":"J. Y. Nie","year":"1989","unstructured":"J. Y. Nie. An Information Retrieval model based on Modal Logic. Information Processing & Management, 25(5):477\u2013491, 1989.","journal-title":"Information Processing & Management"},{"doi-asserted-by":"crossref","unstructured":"J. Y. Nie. Towards a probabilistic modal logic for semantic based Information Retrieval. In Proceedings of ACM SIGIR, pages 140\u2013151, Copenhagen, Denmark, June 1992.","key":"9_CR72","DOI":"10.1145\/133160.133188"},{"unstructured":"J. Y. Nie. CLIR and query expansion as logical inference. In Proceedings of SIGIR Workshop on Formal\/Mathematical Methods for Information Retrieval, pages 8\u201315, Athens, Greece, 2000.","key":"9_CR73"},{"key":"9_CR74","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/BF00130693","volume":"10","author":"J. Y. Nie","year":"1996","unstructured":"J. Y. Nie and M. Brisebois. An inferential approach to information retrieval and its implementation using a manual thesausrus. Artificial Intelligence Review, 10:409\u2013439, 1996.","journal-title":"Artificial Intelligence Review"},{"issue":"8","key":"9_CR75","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1093\/comjnl\/38.8.643","volume":"38","author":"J. Y. Nie","year":"1995","unstructured":"J. Y. Nie, F. Lepage, and M. Brisebois. Information Retrieval as counterfactuals. The Computer Journal, 38(8):643\u2013657, 1995.","journal-title":"The Computer Journal"},{"unstructured":"I. Ounis. Un modele d\u2019indexation relationnel pour les graphes conceptuels fonde sur une interpretation logique. PhD Thesis, Universit\u00e9 Joseph Fourrier, Grenoble I, 1998.","key":"9_CR76"},{"unstructured":"P. F. Patel-Schneider. A four-valued semantics for frame-based description languages. In AAAI-86, 5th Conference of the American Association for Artificial Intelligence, pages 344\u2013348, Philadelphia, 1986.","key":"9_CR77"},{"key":"9_CR78","volume-title":"Probabilistic reasoning in intelligent systems: networks of plausible in-ference","author":"J. Pearl","year":"1988","unstructured":"J. Pearl. Probabilistic reasoning in intelligent systems: networks of plausible in-ference. Morgan Kaufmann, San Mateo, California, 1988."},{"unstructured":"J. Picard. Logic as a tool in a term matching information retrieval system. In Proceedings of the Workshop on Logical and Uncertainty Models for Information Systems, pages 77\u201390, London, UK, July 1999.","key":"9_CR79"},{"doi-asserted-by":"crossref","unstructured":"Y. Qiu and H. P. Frei. Concept based query expansion. In Proceedings of ACM SIGIR, pages 160\u2013171, Pittsburgh, PA, USA, June 1993.","key":"9_CR80","DOI":"10.1145\/160688.160713"},{"issue":"1","key":"9_CR81","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"9_CR82","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/978-3-7908-1849-9_11","volume-title":"Soft Computing in Information Retrieval: techniques and application","author":"B. Ribeiro-Neto","year":"2000","unstructured":"B. Ribeiro-Neto, I. Silvia, and R. Muntz. Bayesian network models for Information Retrieval. In F. Crestani and G. Pasi, editors, Soft Computing in Information Retrieval: techniques and application, pages 259\u2013291. Physica-Verlag, Heidelberg, Germany, 2000."},{"issue":"4","key":"9_CR83","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1108\/eb026647","volume":"33","author":"S. E. Robertson","year":"1977","unstructured":"S. E. Robertson. The probability ranking principle in IR. Journal of Documentation, 33(4):294\u2013304, December 1977.","journal-title":"Journal of Documentation"},{"unstructured":"T. R\u00f6lleke. POOL: Probabilistic Object-Oriented Logical Representation and Retrieval of Complex Objects-A Model for Hypermedia Retrieva. PhD Thesis, Department of Computer Science, University of Dortmund, Germany, 1999.","key":"9_CR84"},{"unstructured":"T. R\u00f6lleke and M. Bl\u00f6mer. Probabilistic logical Information Retrieval for content, hypertext and database querying. In Proccedings of HIM Conference, Dortmund, Germany, September 1997.","key":"9_CR85"},{"doi-asserted-by":"crossref","unstructured":"T. R\u00f6lleke and N. Fuhr. Retrieval of complex objects using a four-valued logic. In Proceedings of ACM SIGIR, pages 206\u2013214, Zurich, Switzerland, 1996.","key":"9_CR86","DOI":"10.1145\/243199.243268"},{"doi-asserted-by":"crossref","unstructured":"I. Ruthven, M. Lalmas, and C. J. van Rijsbergen. Retrieval through explanation: Inference approach to relevance feedback. In Proceedings of 10th Annual Irish Conference on Artificial Intelligence & Cognitive Science (AICS), Cork, Ireland, 1999.","key":"9_CR87","DOI":"10.1049\/ic:19990903"},{"key":"9_CR88","volume-title":"Automatic information organization and retrieval","author":"G. Salton","year":"1968","unstructured":"G. Salton. Automatic information organization and retrieval. McGraw Hill, New York, 1968."},{"unstructured":"S. Dominich. Formal foundation of classical information retrieval. In Proceedings of SIGIR Workshop on Formal\/Mathematical Methods for Information Retrieval, pages 69\u201375, Athens, Greece, 2000.","key":"9_CR89"},{"doi-asserted-by":"crossref","unstructured":"S. Dominich, M. Lalmas, and C. J. van Rijsbergen. SIGIR Workshop on Formal\/Mathematical Methods for Information Retrieval. Technology Letters, 4(1), 2000.","key":"9_CR90","DOI":"10.1145\/373593.373617"},{"unstructured":"T. Saracevic. The concept of \u201crelevance\u201d in information science: a historical review. In T. Seracevic, editor, Introduction to Information Science, chapter 14. R. R. Bower Company, New York, USA, 1970.","key":"9_CR91"},{"issue":"3","key":"9_CR92","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/0306-4573(92)90082-B","volume":"28","author":"J. Savoy","year":"1992","unstructured":"J. Savoy. Bayesian inference networks and spreading activation in hypertext systems. Information Processing & Management, 28(3):389\u2013406, 1992.","journal-title":"Information Processing & Management"},{"issue":"4","key":"9_CR93","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1016\/0306-4573(94)90037-X","volume":"30","author":"J. Savoy","year":"1994","unstructured":"J. Savoy. A learning scheme for Information Retrieval in hypertext. Information Processing & Management, 30(4):515\u2013533, 1994.","journal-title":"Information Processing & Management"},{"doi-asserted-by":"crossref","unstructured":"F. Sebastiani. A probabilistic terminological logic for modelling Information Retrieval. In Proceedings of ACM SIGIR, pages 122\u2013131, Dublin, Ireland, 1994.","key":"9_CR94","DOI":"10.1007\/978-1-4471-2099-5_13"},{"unstructured":"F. Sebastiani. On the role of logics in Information Retrieval. In Proceedings of the MIRO Workshop, Glasgow, September 1995.","key":"9_CR95"},{"key":"9_CR96","volume-title":"Conceptual structures: information processing in mind and machine","author":"J. F. Sowa","year":"1984","unstructured":"J. F. Sowa. Conceptual structures: information processing in mind and machine. Addison-Wesley Publishing Company, Reading, MA, USA, 1984."},{"key":"9_CR97","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-1-4613-1373-1_8","volume-title":"Information Retrieval and Hypertext","author":"U. Thiel","year":"1996","unstructured":"U. Thiel and A. M\u00fcller. Why was this item retrieved?: new ways to explore retrieval results. In M. Agosti and A. F. Smeaton, editors, Information Retrieval and Hypertext, chapter 8, pages 181\u2013201. Kluwer Academic Publishers, Dordrecht, NL, 1996."},{"doi-asserted-by":"crossref","unstructured":"H. R. Turtle and W. B. Croft. Inference networks for document Retrieval. In Proceedings of ACM SIGIR, Brussels, Belgium, September 1990.","key":"9_CR98","DOI":"10.1145\/96749.98006"},{"issue":"3","key":"9_CR99","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/125187.125188","volume":"9","author":"H. R. Turtle","year":"1991","unstructured":"H. R. Turtle and W. B. Croft. Evaluation of an inference network-based retrieval model. ACM Transactions on Information Systems, 9(3):187\u2013222, July 1991.","journal-title":"ACM Transactions on Information Systems"},{"issue":"3","key":"9_CR100","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1093\/comjnl\/35.3.279","volume":"35","author":"H. R. Turtle","year":"1992","unstructured":"H. R. Turtle and W. B. Croft. A comparison of text retrieval models. The Computer Journal, 35(3):279\u2013290, 1992.","journal-title":"The Computer Journal"},{"issue":"2","key":"9_CR101","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1108\/eb026637","volume":"33","author":"C. J. Rijsbergen van","year":"1977","unstructured":"C. J. van Rijsbergen. A theoretical basis for the use of co-occurence data in Information Retrieval. Journal of Documentation, 33(2):106\u2013119, June 1977.","journal-title":"Journal of Documentation"},{"doi-asserted-by":"crossref","unstructured":"C. J. van Rijsbergen. A new theoretical framework for Information Retrieval. In Proceedings of ACM SIGIR, pages 194\u2013200, Pisa, Italy, 1986.","key":"9_CR102","DOI":"10.1145\/253168.253208"},{"issue":"6","key":"9_CR103","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1093\/comjnl\/29.6.481","volume":"29","author":"C. J. Rijsbergen van","year":"1986","unstructured":"C. J. van Rijsbergen. A non-classical logic for Information Retrieval. The Computer Journal, 29(6):481\u2013485, 1986.","journal-title":"The Computer Journal"},{"doi-asserted-by":"crossref","unstructured":"C. J. van Rijsbergen. Toward a new information logic. In Proceedings of ACM SIGIR, pages 77\u201386, Cambridge, USA, June 1989.","key":"9_CR104","DOI":"10.1145\/75335.75344"},{"issue":"3","key":"9_CR105","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1093\/comjnl\/35.3.291","volume":"35","author":"C. J. Rijsbergen van","year":"1992","unstructured":"C. J. van Rijsbergen. Probabilistic retrieval revisited. The Computer Journal, 35(3):291\u2013298, 1992.","journal-title":"The Computer Journal"},{"issue":"5","key":"9_CR106","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1002\/(SICI)1097-4571(199605)47:5<385::AID-ASI6>3.0.CO;2-S","volume":"47","author":"C. J. Rijsbergen van","year":"1996","unstructured":"C. J. van Rijsbergen and M. Lalmas. An information calculus for information retrieval. Journal of the American Society of Information Science, 47(5):385\u2013398, 1996.","journal-title":"Journal of the American Society of Information Science"},{"issue":"1","key":"9_CR107","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/195705.195713","volume":"13","author":"S. K. M. Wong","year":"1995","unstructured":"S. K. M. Wong and Y. Y. Yao. On modelling Information Retrieval with probabilistic inference. ACM Transactions on Information Systems, 13(1):38\u201368, 1995.","journal-title":"ACM Transactions on Information Systems"},{"key":"9_CR108","volume-title":"Fuzzy sets and Applications: Selected Papers","author":"L. A. Zadeh","year":"1987","unstructured":"L. A. Zadeh. Fuzzy sets and Applications: Selected Papers. Wiley, New York, 1987."}],"container-title":["Lecture Notes in Computer Science","Lectures on Information Retrieval"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45368-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T22:06:36Z","timestamp":1737065196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45368-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540419334","9783540453680"],"references-count":108,"URL":"https:\/\/doi.org\/10.1007\/3-540-45368-7_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"28 June 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}