{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:10:15Z","timestamp":1737288615601,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540012740"},{"type":"electronic","value":"9783540366188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36618-0_16","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:49:02Z","timestamp":1184600942000},"page":"219-234","source":"Crossref","is-referenced-by-count":2,"title":["Propositional Logic Representations for Documents and Queries: A Large-Scale Evaluation"],"prefix":"10.1007","author":[{"given":"David E.","family":"Losada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alvaro","family":"Barreiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,15]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"N. J. Belkin, C. Cool, W. B. Croft, and J. P. Callan. The effect of multiple query representations on information retrieval system performance. In Proc. of SIGIR-93, the 16th ACM Conference on Research and Development in Information Retrieval, pages 339\u2013346, Pittsburgh, PA, June 1993.","DOI":"10.1145\/160688.160760"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"J. P. Callan. Passage-level evidence in document retrieval. In Proc. SIGIR-94, the 17th ACM Conference on Research and Development in Information Retrieval, pages 302\u2013310, Dublin, UK, July 1994.","DOI":"10.1007\/978-1-4471-2099-5_31"},{"volume-title":"Information Retrieval, Uncertainty and Logics: advanced models for the representation and retrieval of information","year":"1998","key":"16_CR3","unstructured":"F. Crestani, M. Lalmas, and C. J. van Rijsbergen (editors). Information Retrieval, Uncertainty and Logics: advanced models for the representation and retrieval of information. Kluwer Academic, Norwell, MA., 1998."},{"key":"16_CR4","unstructured":"M. Dalal. Investigations into a theory of knowledge base revision:preliminary report. In Proc. AAAI-88, the 7th National Conference on Artificial Intelligence, pages 475\u2013479, Saint Paul, USA, 1988."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"D. Harman. Overview of the third text retrieval conference. In Proc. TREC-3, the 3rd text retrieval conference, 1994.","DOI":"10.6028\/NIST.SP.500-225"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"M. Hearst and C. Plaunt. Subtopic structuring for full-length document access. In Proc. SIGIR-93, the 16th ACM Conference on Research and Development in Information Retrieval, pages 59\u201368, Pittsburgh, USA, June 1993.","DOI":"10.1145\/160688.160695"},{"key":"16_CR7","unstructured":"D. A. Hull. Using structured queries for disambiguation in cross-language information retrieval. In Proc. of AAAI spring symposium on cross-language text and speech retrieval, Stanford, CA, March 1997."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"J. Kek\u00e4l\u00e4inen and K. Jarvelin. The impact of query structure and query expansion on retrieval performance. In Proc. of SIGIR-98, the 21st ACM Conference on Research and Development in Information Retrieval, pages 130\u2013137, Melbourne, Australia, August 1998.","DOI":"10.1145\/290941.290978"},{"key":"16_CR9","unstructured":"The lemur toolkit. http:\/\/www.cs.cmu.edu\/lemur ."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"D. E. Losada. A logical model of information retrieval based on propositional logic and belief revision. PhD thesis, University of A Corunna, 2001.","DOI":"10.1093\/comjnl\/44.5.410"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"D. E. Losada and A. Barreiro. Using a belief revision operator for document ranking in extended boolean models. In Proc. SIGIR-99, the 22nd ACM Conference on Research and Development in Information Retrieval, pages 66\u201373, Berkeley, USA, August 1999.","DOI":"10.1145\/312624.312654"},{"key":"16_CR12","unstructured":"D. E. Losada and A. Barreiro. Efficient algorithms for ranking documents represented as DNF formulas. In Proc. SIGIR-2000 Workshop on Mathematical and Formal Methods in Information Retrieval, pages 16\u201324, Athens, Greece, July 2000."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"D. E. Losada and A. Barreiro. Implementing document ranking within a logical framework. In Proc. SPIRE-2000, the 7th Symposium on String Processing and Information Retrieval, pages 188\u2013198, A Coru\u00f1a, Spain, September 2000.","DOI":"10.1109\/SPIRE.2000.878195"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"D. E. Losada and A. Barreiro. An homogeneous framework to model relevance feedback. In Proc. of SIGIR-2001, the 24th ACM Conference on Research and Development in Information Retrieval (poster session), pages 422\u2013423, New Orleans, USA, September 2001.","DOI":"10.1145\/383952.384067"},{"issue":"5","key":"16_CR15","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1093\/comjnl\/44.5.410","volume":"44","author":"D. E. Losada","year":"2001","unstructured":"D. E. Losada and A. Barreiro. A logical model for information retrieval based on propositional logic and belief revision. The Computer Journal, 44(5):410\u2013424, 2001.","journal-title":"The Computer Journal"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"D. E. Losada and A. Barreiro. Rating the impact of logical representations on retrieval performance. In Proc. DEXA-2001 Workshop on Logical and Uncertainty Models for Information Systems, LUMIS-2001, pages 247\u2013253, Munich, Germany, September 2001.","DOI":"10.1109\/DEXA.2001.953071"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"D. E. Losada and A. Barreiro. Embedding term similarity and inverse document frequency into a logical model of information retrieval. Journal of the American Society for Information Science and Technology, 2003 (to appear).","DOI":"10.1002\/asi.10209"},{"key":"16_CR18","unstructured":"GNU mifluz. http:\/\/www.gnu.org\/software\/mifluz ."},{"key":"16_CR19","unstructured":"M. F. Porter. An algorithm for suffix stripping. In K. Sparck Jones and P. Willet, editors, Readings in Information Retrieval, pages 313\u2013316. Morgan Kaufmann Publishers, 1997."},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"S. E. Robertson, S. Walker, S. Jones, M.M. HancockBeaulieu, and M. Gatford. Okapi at TREC-3. In D. Harman, editor, Proc. TREC-3, the 3rd Text Retrieval Conference, pages 109\u2013127. NIST, 1995.","DOI":"10.6028\/NIST.SP.500-225.routing-city"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"G. Salton, J. Allan, and C. Buckley. Approaches to passage retrieval in full text information systems. In Proc. SIGIR-93, the 16th ACM Conference on Research and Development in Information Retrieval, pages 49\u201358, Pittsburgh, USA, June 1993.","DOI":"10.1145\/160688.160693"},{"key":"16_CR22","unstructured":"Senga: Information retrieval software. http:\/\/www.senga.org ."},{"key":"16_CR23","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:481\u2013485, 1986.","journal-title":"The Computer Journal"},{"key":"16_CR24","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-1-4471-2099-5_32","volume-title":"SIGIR \u201994","author":"Ross Wilkinson","year":"1994","unstructured":"R. Wilkinson. Effective retrieval of structured documents. In Proc. SIGIR-94, the 17th ACM Conference on Research and Development in Information Retrieval, pages 311\u2013317, Dublin, UK, July 1994."}],"container-title":["Lecture Notes in Computer Science","Advances in Information Retrieval"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36618-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T11:39:00Z","timestamp":1737286740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36618-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540012740","9783540366188"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-36618-0_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}