{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T11:47:58Z","timestamp":1774352878299,"version":"3.50.1"},"reference-count":99,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T00:00:00Z","timestamp":1550707200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2020,1,31]]},"abstract":"<jats:p>Several mathematical frameworks have been used to model the information retrieval (IR) process, among them, formal logics. Logic-based IR models upgrade the IR process from document-query comparison to an inference process, in which both documents and queries are expressed as sentences of the selected formal logic. The underlying formal logic also permits one to represent and integrate knowledge in the IR process. One of the main obstacles that has prevented the adoption and large-scale diffusion of logic-based IR systems is their complexity. However, several logic-based IR models have been recently proposed that are applicable to large-scale data collections. In this survey, we present an overview of the most prominent logical IR models that have been proposed in the literature. The considered logical models are categorized under different axes, which include the considered logics and the way in which uncertainty has been modeled, for example, degrees of belief or degrees of truth. Accordingly, the main contribution of the article is to categorize the state-of-the-art logical models on a fine-grained basis, and for the considered models the related implementation aspects are described. Consequently, the proposed survey is finalized to better understand and compare the different logical IR models. Last, but not least, this article aims at reconsidering the potentials of logical approaches to IR by outlining the advances of logic-based approaches in close research areas.<\/jats:p>","DOI":"10.1145\/3291043","type":"journal-article","created":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T17:01:44Z","timestamp":1550854904000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Modeling Information Retrieval by Formal Logic"],"prefix":"10.1145","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0041-7047","authenticated-orcid":false,"given":"Karam","family":"Abdulahhad","sequence":"first","affiliation":[{"name":"GESIS - Leibniz institute for the Social Sciences, Germany and University Grenoble Alpes - CNRS - LIG, Grenoble Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Berrut","sequence":"additional","affiliation":[{"name":"University Grenoble Alpes - CNRS - LIG, Grenoble Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Chevallet","sequence":"additional","affiliation":[{"name":"University Grenoble Alpes - CNRS - LIG, Grenoble Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriella","family":"Pasi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Milano Bicocca, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,2,21]]},"reference":[{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2484028.2484152"},{"key":"e_1_2_1_3_1","first-page":"995","article-title":"Logics, lattices and probability: The missing links to information retrieval","volume":"60","author":"Abdulahhad Karam","year":"2017","unstructured":"Karam Abdulahhad , Jean-Pierre Chevallet , and Catherine Berrut . 2017 . Logics, lattices and probability: The missing links to information retrieval . Comput. J. 60 , 7 (2017), 995 -- 1018 . arXiv:\/oup\/backfile\/content_public\/journal\/comjnl\/60\/7\/10.1093_comjnl_bxw034\/1\/bxw034.pdf Karam Abdulahhad, Jean-Pierre Chevallet, and Catherine Berrut. 2017. Logics, lattices and probability: The missing links to information retrieval. Comput. J. 60, 7 (2017), 995--1018. arXiv:\/oup\/backfile\/content_public\/journal\/comjnl\/60\/7\/10.1093_comjnl_bxw034\/1\/bxw034.pdf","journal-title":"Comput. J."},{"key":"e_1_2_1_4_1","volume-title":"Kerpedjiev","author":"Amati Gianni","year":"1992","unstructured":"Gianni Amati and Stephan S . Kerpedjiev . 1992 . An information retrieval logic model: Implementation and experiments. IEEE Transactions on Reliability 48 (1992). Gianni Amati and Stephan S. Kerpedjiev. 1992. An information retrieval logic model: Implementation and experiments. IEEE Transactions on Reliability 48 (1992)."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/582415.582416"},{"key":"e_1_2_1_6_1","volume-title":"The Stanford Encyclopedia of Philosophy (Winter 2016 ed.), Edward N","author":"Arlo-Costa Horacio","unstructured":"Horacio Arlo-Costa and Paul Egr\u00e9 . 2016. The logic of conditionals . In The Stanford Encyclopedia of Philosophy (Winter 2016 ed.), Edward N . Zalta (Ed.). Metaphysics Research Lab, Stanford University . Horacio Arlo-Costa and Paul Egr\u00e9. 2016. The logic of conditionals. In The Stanford Encyclopedia of Philosophy (Winter 2016 ed.), Edward N. Zalta (Ed.). Metaphysics Research Lab, Stanford University."},{"key":"e_1_2_1_7_1","unstructured":"Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi and Peter F. Patel-Schneider (Eds.). 2003. The Description Logic Handbook: Theory Implementation and Applications. Cambridge University Press New York NY.   Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi and Peter F. Patel-Schneider (Eds.). 2003. The Description Logic Handbook: Theory Implementation and Applications. Cambridge University Press New York NY."},{"key":"e_1_2_1_8_1","volume-title":"Baeza-Yates and Berthier Ribeiro-Neto","author":"Ricardo","year":"1999","unstructured":"Ricardo A. Baeza-Yates and Berthier Ribeiro-Neto . 1999 . Modern Information Retrieval. Addison-Wesley Longman Publishing Co. , Inc., Boston, MA. Ricardo A. Baeza-Yates and Berthier Ribeiro-Neto. 1999. Modern Information Retrieval. Addison-Wesley Longman Publishing Co., Inc., Boston, MA."},{"key":"e_1_2_1_9_1","volume-title":"The Situation in Logic","author":"Barwise J.","unstructured":"J. Barwise . 1989. The Situation in Logic . Center for the Study of Language and Information, Stanford, CA. http:\/\/books.google.fr\/books?id&equals;aX7RKgvpJw8C. J. Barwise. 1989. The Situation in Logic. Center for the Study of Language and Information, Stanford, CA. http:\/\/books.google.fr\/books?id&equals;aX7RKgvpJw8C."},{"key":"e_1_2_1_10_1","unstructured":"J. Barwise and J. Perry. 1983. Situations and Attitudes. MIT Press Cambridge MA. http:\/\/books.google.fr\/books?id&equals;DCTXAAAAMAAJ.  J. Barwise and J. Perry. 1983. Situations and Attitudes. MIT Press Cambridge MA. http:\/\/books.google.fr\/books?id&equals;DCTXAAAAMAAJ."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/3171642.3171643"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00958-7_24"},{"key":"e_1_2_1_13_1","volume-title":"2017 International Conference on High Performance Computing Simulation (HPCS\u201917)","author":"Boukhari K.","unstructured":"K. Boukhari and M. N. Omri . 2017. Information retrieval based on description logic: Application to biomedical documents . In 2017 International Conference on High Performance Computing Simulation (HPCS\u201917) . 846--853. K. Boukhari and M. N. Omri. 2017. Information retrieval based on description logic: Application to biomedical documents. In 2017 International Conference on High Performance Computing Simulation (HPCS\u201917). 846--853."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.22"},{"key":"e_1_2_1_15_1","volume-title":"Conceptual graphs: Fundamental notions. Revue d\u2019Intelligence Artificielle 6","author":"Chein Michel","year":"1992","unstructured":"Michel Chein and Marie-laure Mugnier. 1992. Conceptual graphs: Fundamental notions. Revue d\u2019Intelligence Artificielle 6 ( 1992 ), 365--406. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi&equals;10.1.1.37.848. Michel Chein and Marie-laure Mugnier. 1992. Conceptual graphs: Fundamental notions. Revue d\u2019Intelligence Artificielle 6 (1992), 365--406. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi&equals;10.1.1.37.848."},{"key":"e_1_2_1_16_1","volume-title":"Final Workshop. 9 pages. https:\/\/hal.inria.fr\/hal-00953974","author":"Chevallet Jean-Pierre","year":"1995","unstructured":"Jean-Pierre Chevallet and Yves Chiaramella . 1995 . Extending a logic-based retrieval model with algebraic knowledge. In MIRO Multimedia Information Retrieval , Final Workshop. 9 pages. https:\/\/hal.inria.fr\/hal-00953974 . Jean-Pierre Chevallet and Yves Chiaramella. 1995. Extending a logic-based retrieval model with algebraic knowledge. In MIRO Multimedia Information Retrieval, Final Workshop. 9 pages. https:\/\/hal.inria.fr\/hal-00953974."},{"key":"e_1_2_1_17_1","volume-title":"Information Retrieval: Uncertainty and Logics","author":"Chevallet Jean-Pierre","unstructured":"Jean-Pierre Chevallet and Yves Chiaramella . 1998. Experiences in information retrieval modelling using structured formalisms and modal logic . In Information Retrieval: Uncertainty and Logics , Fabio Crestani, Mounia Lalmas, and CornelisJoost Rijsbergen (Eds.). Springer US , New York , 39--72. Jean-Pierre Chevallet and Yves Chiaramella. 1998. Experiences in information retrieval modelling using structured formalisms and modal logic. In Information Retrieval: Uncertainty and Logics, Fabio Crestani, Mounia Lalmas, and CornelisJoost Rijsbergen (Eds.). Springer US, New York, 39--72."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1835449.1835490"},{"key":"e_1_2_1_19_1","volume-title":"Foundations of Logico-Linguistics: A Unified Theory of Information, Language, and Logic","author":"Cooper W. S.","unstructured":"W. S. Cooper . 1978. Foundations of Logico-Linguistics: A Unified Theory of Information, Language, and Logic . Springer , the Netherlands. https:\/\/books.google.it\/books?id&equals;QZ0tLAwn0yMC. W. S. Cooper. 1978. Foundations of Logico-Linguistics: A Unified Theory of Information, Language, and Logic. Springer, the Netherlands. https:\/\/books.google.it\/books?id&equals;QZ0tLAwn0yMC."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1119\/1.1990764"},{"key":"e_1_2_1_21_1","volume-title":"Information Retrieval: Uncertainty and Logics","author":"Crestani Fabio","unstructured":"Fabio Crestani . 1998. Logical imaging and probabilistic information retrieval . In Information Retrieval: Uncertainty and Logics , Fabio Crestani, Mounia Lalmas, and CornelisJoost Rijsbergen (Eds.). The Kluwer International Series on Information Retrieval, Vol. 4 . Springer US , 247--279. Fabio Crestani. 1998. Logical imaging and probabilistic information retrieval. In Information Retrieval: Uncertainty and Logics, Fabio Crestani, Mounia Lalmas, and CornelisJoost Rijsbergen (Eds.). The Kluwer International Series on Information Retrieval, Vol. 4. Springer US, 247--279."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/567292.567301"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1108\/eb026939"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the Fourth Text Retrieval Conference (TREC-4'95)","author":"Crestani Fabio","year":"1995","unstructured":"Fabio Crestani , Ian Ruthven , Marc Sanderson , and C. J. van Rijsbergen . 1995 . The troubles with using a logical model of IR on a large collection of documents . In Proceedings of the Fourth Text Retrieval Conference (TREC-4'95) , D. K. Harman (Eds.). 509--526. Fabio Crestani, Ian Ruthven, Marc Sanderson, and C. J. van Rijsbergen. 1995. The troubles with using a logical model of IR on a large collection of documents. In Proceedings of the Fourth Text Retrieval Conference (TREC-4'95), D. K. Harman (Eds.). 509--526."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/215206.215373"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 7th National Conference on Artificial Intelligence, Paul Rosenbloom and Peter Szolovits (Eds.)","volume":"2","author":"Dalal Mukesh","year":"1988","unstructured":"Mukesh Dalal . 1988 . Investigations into a theory of knowledge base revision: Preliminary report . In Proceedings of the 7th National Conference on Artificial Intelligence, Paul Rosenbloom and Peter Szolovits (Eds.) , Vol. 2 . AAAI Press, Menlo Park, CA, 475--479. Mukesh Dalal. 1988. Investigations into a theory of knowledge base revision: Preliminary report. In Proceedings of the 7th National Conference on Artificial Intelligence, Paul Rosenbloom and Peter Szolovits (Eds.), Vol. 2. AAAI Press, Menlo Park, CA, 475--479."},{"key":"e_1_2_1_27_1","volume-title":"The Modern Algebra of Information Retrieval","author":"Dominich Sandor","unstructured":"Sandor Dominich . 2008. The Modern Algebra of Information Retrieval . Springer , Berlin . http:\/\/books.google.fr\/books?id&equals;uEedNKV3nlUC. Sandor Dominich. 2008. The Modern Algebra of Information Retrieval. Springer, Berlin. http:\/\/books.google.fr\/books?id&equals;uEedNKV3nlUC."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4429-6"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016740830286"},{"key":"e_1_2_1_30_1","volume-title":"The Stanford Encyclopedia of Philosophy (Winter 2014 ed.), Edward N","author":"Edgington Dorothy","year":"2014","unstructured":"Dorothy Edgington . 2014. Indicative conditionals . In The Stanford Encyclopedia of Philosophy (Winter 2014 ed.), Edward N . Zalta (Ed.). Metaphysics Research Lab, Stanford University . https:\/\/plato.stanford.edu\/archives\/win 2014 \/entries\/conditionals\/. Dorothy Edgington. 2014. Indicative conditionals. In The Stanford Encyclopedia of Philosophy (Winter 2014 ed.), Edward N. Zalta (Ed.). Metaphysics Research Lab, Stanford University. https:\/\/plato.stanford.edu\/archives\/win2014\/entries\/conditionals\/."},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the Web of Linked Entities Workshop in Conjunction with the 11th International Semantic Web Conference (ISWC\u201912)","author":"Exner Peter","year":"2012","unstructured":"Peter Exner and Pierre Nugues . 2012 . Entity extraction: From unstructured text to DBpedia RDF triples . In Proceedings of the Web of Linked Entities Workshop in Conjunction with the 11th International Semantic Web Conference (ISWC\u201912) . CEUR, 58--69. Peter Exner and Pierre Nugues. 2012. Entity extraction: From unstructured text to DBpedia RDF triples. In Proceedings of the Web of Linked Entities Workshop in Conjunction with the 11th International Semantic Web Conference (ISWC\u201912). CEUR, 58--69."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2010.11.003"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/186141.186143"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/215206.215372"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/326194.326195"},{"key":"e_1_2_1_36_1","volume-title":"Advances in database technology \u2014 EDBT\u201998, Hans-J\u00f6rg Schek","author":"Fuhr Norbert","unstructured":"Norbert Fuhr and Thomas R\u00f6lleke . 1998. HySpirit \u2014 A probabilistic inference engine for hypermedia retrieval in large databases . In Advances in database technology \u2014 EDBT\u201998, Hans-J\u00f6rg Schek , Gustavo Alonso, Felix Saltor, and Isidro Ramos (Eds.). Springer , Berlin , 24--38. Norbert Fuhr and Thomas R\u00f6lleke. 1998. HySpirit \u2014 A probabilistic inference engine for hypermedia retrieval in large databases. In Advances in database technology \u2014 EDBT\u201998, Hans-J\u00f6rg Schek, Gustavo Alonso, Felix Saltor, and Isidro Ramos (Eds.). Springer, Berlin, 24--38."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.2307\/2026039"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1571941.1571989"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1177\/0165551514548989"},{"key":"e_1_2_1_40_1","doi-asserted-by":"crossref","unstructured":"R. Haenni J. Kohlas and N. Lehmann. 2000. Probabilistic Argumentation Systems. Springer Netherlands Dordrecht 221--288.  R. Haenni J. Kohlas and N. Lehmann. 2000. Probabilistic Argumentation Systems. Springer Netherlands Dordrecht 221--288.","DOI":"10.1007\/978-94-017-1737-3_6"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870625"},{"key":"e_1_2_1_42_1","volume-title":"Probability, logic, and probability logic","author":"H\u00e1jek Alan","year":"2001","unstructured":"Alan H\u00e1jek . 2001. Probability, logic, and probability logic . The Blackwell Guide to Philosophical Logic, Blackwell ( 2001 ), 362--384. Alan H\u00e1jek. 2001. Probability, logic, and probability logic. The Blackwell Guide to Philosophical Logic, Blackwell (2001), 362--384."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3077136.3080751"},{"key":"e_1_2_1_44_1","doi-asserted-by":"crossref","unstructured":"G. E. Hughes and J. Cresswell. 1996. A New Introduction to Modal Logic. Routledge. https:\/\/books.google.fr\/books?id&equals;Dsn1xWNB4MEC.  G. E. Hughes and J. Cresswell. 1996. A New Introduction to Modal Logic. Routledge. https:\/\/books.google.fr\/books?id&equals;Dsn1xWNB4MEC.","DOI":"10.4324\/9780203290644"},{"key":"e_1_2_1_45_1","volume-title":"Situations: A General Framework for Studying Information Retrieval","author":"Huibers T. W. C.","year":"1994","unstructured":"T. W. C. Huibers and P. D. Bruza . 1994 . Situations: A General Framework for Studying Information Retrieval . Utrecht University , Department of Computer Science. http:\/\/books.google.fr\/books?id&equals;YtcuGwAACAAJ. T. W. C. Huibers and P. D. Bruza. 1994. Situations: A General Framework for Studying Information Retrieval. Utrecht University, Department of Computer Science. http:\/\/books.google.fr\/books?id&equals;YtcuGwAACAAJ."},{"key":"e_1_2_1_46_1","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Christine Froidevaux and J\u00fcrg Kohlas (Eds.)","author":"Hunter Anthony","unstructured":"Anthony Hunter . 1995. Using default logic in information retrieval . In Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Christine Froidevaux and J\u00fcrg Kohlas (Eds.) . Springer Berlin Heidelberg , Springer, Berlin , 235--242. Anthony Hunter. 1995. Using default logic in information retrieval. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Christine Froidevaux and J\u00fcrg Kohlas (Eds.). Springer Berlin Heidelberg, Springer, Berlin, 235--242."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1751368"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2004.11.039"},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of AAAI\u201997","author":"Koller Daphne","year":"1997","unstructured":"Daphne Koller , Alon Levy , and Avi Pfeffer . 1997 . P-CLASSIC: A tractable probabilistic description logic . In Proceedings of AAAI\u201997 . AAAI Press, Menlo Park, CA, Providence, RI, 390--397. Daphne Koller, Alon Levy, and Avi Pfeffer. 1997. P-CLASSIC: A tractable probabilistic description logic. In Proceedings of AAAI\u201997. AAAI Press, Menlo Park, CA, Providence, RI, 390--397."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19630090502"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4573(97)00041-1"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888998002124"},{"key":"e_1_2_1_53_1","volume-title":"14th Information Retrieval Colloquium","author":"Lalmas Mounia","unstructured":"Mounia Lalmas and Keith Rijsbergen . 1993. A logical model of information retrieval based on situation theory . In 14th Information Retrieval Colloquium , Tony McEnery and Chris Paice (Eds.). Springer London , 1--13. Mounia Lalmas and Keith Rijsbergen. 1993. A logical model of information retrieval based on situation theory. In 14th Information Retrieval Colloquium, Tony McEnery and Chris Paice (Eds.). Springer London, 1--13."},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1344411.1344414"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.2307\/2184045"},{"key":"e_1_2_1_56_1","volume-title":"Harvard University Press","author":"Lewis David K.","unstructured":"David K. Lewis . 1973. Counterfactuals. Harvard University Press , Cambridge, MA . http:\/\/www.worldcat.org\/oclc\/795075. David K. Lewis. 1973. Counterfactuals. Harvard University Press, Cambridge, MA. http:\/\/www.worldcat.org\/oclc\/795075."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04417-5_9"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1840784.1840804"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/44.5.410"},{"key":"e_1_2_1_60_1","volume-title":"Proceedings of the 25th European Conference on IR Research (ECIR\u201903)","author":"David","unstructured":"David E. Losada and Alvaro Barreiro. 2003. Propositional logic representations for documents and queries: A large-scale evaluation . In Proceedings of the 25th European Conference on IR Research (ECIR\u201903) . Springer, Berlin, 219--234. http:\/\/dl.acm.org\/citation.cfm?id&equals;1757788.1757810. David E. Losada and Alvaro Barreiro. 2003. Propositional logic representations for documents and queries: A large-scale evaluation. In Proceedings of the 25th European Conference on IR Research (ECIR\u201903). Springer, Berlin, 219--234. http:\/\/dl.acm.org\/citation.cfm?id&equals;1757788.1757810."},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.10.017"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00958-7_23"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/160688.160753"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/243199.243267"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.5555\/262192.262203"},{"key":"e_1_2_1_66_1","volume-title":"Belief Revision","author":"Nebel B.","unstructured":"B. Nebel . 1992. Syntax-based approaches to belief revision . In Belief Revision . Cambridge University Press , New York, NY , 52--88. B. Nebel. 1992. Syntax-based approaches to belief revision. In Belief Revision. Cambridge University Press, New York, NY, 52--88."},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/62437.62493"},{"key":"e_1_2_1_68_1","volume-title":"An information retrieval model based on modal logic. Information Processing 8 Management 25, 5","author":"Nie Jianyun","year":"1989","unstructured":"Jianyun Nie . 1989. An information retrieval model based on modal logic. Information Processing 8 Management 25, 5 ( 1989 ), 477--491. Jianyun Nie. 1989. An information retrieval model based on modal logic. Information Processing 8 Management 25, 5 (1989), 477--491."},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/133160.133188"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00130693"},{"key":"e_1_2_1_71_1","volume-title":"Information Retrieval: Uncertainty and Logics, Fabio Crestani, Mounia Lalmas, and CornelisJoost van Rijsbergen (Eds.)","author":"Nie Jian-Yun","unstructured":"Jian-Yun Nie and Francois Lepage . 1998. Toward a broader logical model for information retrieval . In Information Retrieval: Uncertainty and Logics, Fabio Crestani, Mounia Lalmas, and CornelisJoost van Rijsbergen (Eds.) . The Kluwer International Series on Information Retrieval, Vol. 4 . Springer US , 17--38. Jian-Yun Nie and Francois Lepage. 1998. Toward a broader logical model for information retrieval. In Information Retrieval: Uncertainty and Logics, Fabio Crestani, Mounia Lalmas, and CornelisJoost van Rijsbergen (Eds.). The Kluwer International Series on Information Retrieval, Vol. 4. Springer US, 17--38."},{"key":"e_1_2_1_72_1","volume-title":"Proceedings of the Workshop on Logical and Uncertainty Models for Information Systems, LUMIS, at ECSQARU\u201999","author":"Pasi Gabriella","year":"1999","unstructured":"Gabriella Pasi . 1999 . A logical formulation of the Boolean model and of weighted Boolean models . In Proceedings of the Workshop on Logical and Uncertainty Models for Information Systems, LUMIS, at ECSQARU\u201999 . \u00c9ditions Universitaires d\u2019Avignon, 1--11. http:\/\/dblp.uni-trier.de\/db\/conf\/coria\/coria 2011.html#AbdulahhadCB11. Gabriella Pasi. 1999. A logical formulation of the Boolean model and of weighted Boolean models. In Proceedings of the Workshop on Logical and Uncertainty Models for Information Systems, LUMIS, at ECSQARU\u201999. \u00c9ditions Universitaires d\u2019Avignon, 1--11. http:\/\/dblp.uni-trier.de\/db\/conf\/coria\/coria2011.html#AbdulahhadCB11."},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.5555\/646514.695677"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7908-1849-9_10"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/290941.291008"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89704-0_5"},{"key":"e_1_2_1_77_1","volume-title":"Description logic to model a domain specific information retrieval system","author":"Radhouani Sa\u00efd","unstructured":"Sa\u00efd Radhouani , Gilles Falquet , and Jean-Pierre Chevalletinst . 2008. Description logic to model a domain specific information retrieval system . In Database and Expert Systems Applications, Sourav S. Bhowmick, Josef K\u00fcng, and Roland Wagner (Eds.). Springer , Berlin , 142--149. Sa\u00efd Radhouani, Gilles Falquet, and Jean-Pierre Chevalletinst. 2008. Description logic to model a domain specific information retrieval system. In Database and Expert Systems Applications, Sourav S. Bhowmick, Josef K\u00fcng, and Roland Wagner (Eds.). Springer, Berlin, 142--149."},{"key":"e_1_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1002\/asi.4630270302"},{"key":"e_1_2_1_79_1","volume-title":"Proceedings of the 17th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval","author":"Robertson S. E.","year":"1884","unstructured":"S. E. Robertson and S. Walker . 1994. Some simple effective approximations to the 2-Poisson model for probabilistic weighted retrieval . In Proceedings of the 17th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval . Springer, New York, NY, Dublin, Ireland, 232--241. http:\/\/dl.acm.org\/citation.cfm?id&equals; 1884 90.188561 S. E. Robertson and S. Walker. 1994. Some simple effective approximations to the 2-Poisson model for probabilistic weighted retrieval. In Proceedings of the 17th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Springer, New York, NY, Dublin, Ireland, 232--241. http:\/\/dl.acm.org\/citation.cfm?id&equals;188490.188561"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/243199.243268"},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-007-0073-y"},{"key":"e_1_2_1_82_1","volume-title":"The application of fuzzy logic to the construction of the ranking function of information retrieval systems. CoRR abs\/cs\/0610039","author":"Rubens Neil","year":"2006","unstructured":"Neil Rubens . 2006. The application of fuzzy logic to the construction of the ranking function of information retrieval systems. CoRR abs\/cs\/0610039 ( 2006 ). arxiv:cs\/0610039 http:\/\/arxiv.org\/abs\/cs\/0610039. Neil Rubens. 2006. The application of fuzzy logic to the construction of the ranking function of information retrieval systems. CoRR abs\/cs\/0610039 (2006). arxiv:cs\/0610039 http:\/\/arxiv.org\/abs\/cs\/0610039."},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/361219.361220"},{"key":"e_1_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.5555\/3171642.3171819"},{"key":"e_1_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.5555\/188490.188544"},{"key":"e_1_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4573(97)00055-1"},{"key":"e_1_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1080\/019697299125145"},{"key":"e_1_2_1_88_1","unstructured":"Fabrizio Sebastiani and Umberto Straccia. 1991. A computationally tractable terminological logic. In SCAI. 307--315.  Fabrizio Sebastiani and Umberto Straccia. 1991. A computationally tractable terminological logic. In SCAI. 307--315."},{"key":"e_1_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/243199.243206"},{"key":"e_1_2_1_90_1","volume-title":"The Role of Logic and Ontology in Language and Reasoning","author":"Sowa John F.","unstructured":"John F. Sowa . 2010. The Role of Logic and Ontology in Language and Reasoning . Springer Netherlands , Dordrecht , 231--263. John F. Sowa. 2010. The Role of Logic and Ontology in Language and Reasoning. Springer Netherlands, Dordrecht, 231--263."},{"key":"e_1_2_1_91_1","volume-title":"Adaptivity, Personalization and Fusion of Heterogeneous Information (RIAO\u201910)","author":"Ughetto Laurent","year":"1937","unstructured":"Laurent Ughetto , Gabriella Pasi , Vincent Claveau , Olivier Pivert , and Patrick Bosc . 2010. Implication in information retrieval systems . In Adaptivity, Personalization and Fusion of Heterogeneous Information (RIAO\u201910) . Le Centre de Hautes Etudes Internationales d\u2019Informatique Documentaire, Paris, France, 61--64. http:\/\/dl.acm.org\/citation.cfm?id&equals; 1937 055.1937068. Laurent Ughetto, Gabriella Pasi, Vincent Claveau, Olivier Pivert, and Patrick Bosc. 2010. Implication in information retrieval systems. In Adaptivity, Personalization and Fusion of Heterogeneous Information (RIAO\u201910). Le Centre de Hautes Etudes Internationales d\u2019Informatique Documentaire, Paris, France, 61--64. http:\/\/dl.acm.org\/citation.cfm?id&equals;1937055.1937068."},{"key":"e_1_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431053_31"},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1108\/eb026637"},{"key":"e_1_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.6.481"},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.5555\/1331268.1331271"},{"key":"e_1_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.5555\/1133031.1133039"},{"key":"e_1_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"e_1_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-017-1074-9"},{"key":"e_1_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/1571941.1572118"},{"key":"e_1_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.2008.69"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3291043","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3291043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:01:52Z","timestamp":1750208512000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3291043"}},"subtitle":["A Survey"],"short-title":[],"issued":{"date-parts":[[2019,2,21]]},"references-count":99,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,1,31]]}},"alternative-id":["10.1145\/3291043"],"URL":"https:\/\/doi.org\/10.1145\/3291043","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2,21]]},"assertion":[{"value":"2017-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-11-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-02-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}