{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:17:36Z","timestamp":1725891456445},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540659655"},{"type":"electronic","value":"9783540488286"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/bfb0095098","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T09:31:59Z","timestamp":1164360719000},"page":"133-143","source":"Crossref","is-referenced-by-count":0,"title":["Total knowledge and partial knowledge in logical models of information retrieval"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Sebastiani","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,10,20]]},"reference":[{"key":"13_CR1","unstructured":"F. Crestani and T. R\u00f6lleke. Issues in the implementation of general imaging on top of Probabilistic Datalog. In M. Lalmas, editor, Proceedings of the 1st International Workshop on Logic and Uncertainty in Information Retrieval, Glasgow, UK, 1995."},{"key":"13_CR2","unstructured":"F. Crestani, F. Sebastiani, and C. J. van Rijsbergen. Imaging and information retrieval: Variations on a theme. In F. Crestani and M. Lalmas, editors, Proceedings of the 2nd International Workshop on Logic and Uncertainty in Information Retrieval, pages 48\u201349, Glasgow, UK, 1996."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"3","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:3\u201317, 1995.","journal-title":"Journal of Documentation"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"F. Crestani and C. J. van Rijsbergen. A study of probability kinematics in information retrieval. ACM Transactions on Information Systems, 16(3), 1998. Forthcoming.","DOI":"10.1145\/290159.290161"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"N. Fuhr. Probabilistic Datalog: a logic for powerful retrieval methods. In Proceedings of SIGIR-95, 18th ACM International Conference on Research and Development in Information Retrieval, pages 282\u2013290, Seattle, US, 1995.","DOI":"10.1145\/215206.215372"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(86)90068-8","volume":"30","author":"H. J. Levesque","year":"1986","unstructured":"H. J. Levesque. Making believers out of computers. Artificial Intelligence, 30:81\u2013108, 1986.","journal-title":"Artificial Intelligence"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BF00297511","volume":"17","author":"H. J. Levesque","year":"1988","unstructured":"H. J. Levesque. Logic and the complexity of reasoning. Journal of Philosophical Logic, 17:355\u2013389, 1988.","journal-title":"Journal of Philosophical Logic"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"297","DOI":"10.2307\/2184045","volume":"85","author":"D. K. Lewis","year":"1976","unstructured":"D. K. Lewis. Probabilities of conditionals and conditional probabilities. The Philosophical Review, 85:297\u2013315, 1976.","journal-title":"The Philosophical Review"},{"key":"13_CR9","volume-title":"Normonotonic reasoning: formalization of commonsense reasoning","author":"W. Lukaszewicz","year":"1990","unstructured":"W. Lukaszewicz. Normonotonic reasoning: formalization of commonsense reasoning. Ellis Horwood, Chichester, UK, 1990."},{"key":"13_CR10","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 SIGIR-93, 16th ACM International Conference on Research and Development in Information Retrieval, pages 298\u2013307, Pittsburgh, US, 1993.","DOI":"10.1145\/160688.160753"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"C. Meghini and U. Straccia. A relevance description logic for information retrieval. In Proceedings of SIGIR-96, 19th ACM International Conference on Research and Development in Information Retrieval, pages 197\u2013205, Z\u00fcrich, CH, 1996.","DOI":"10.1145\/243199.243267"},{"key":"13_CR12","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 and Management, 25:477\u2013491, 1989.","journal-title":"Information Processing and Management"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"J.-Y. Nie. Towards a probabilistic modal logic for semantic-based information retrieval. In Proceedings of SIGIR-92, 15th ACM International Conference on Research and Development in Information Retrieval, pages 140\u2013151, Kobenhavn, DK, 1992.","DOI":"10.1145\/133160.133188"},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-1-4612-5196-5_8","volume-title":"On conceptual modelling","author":"R. Reiter","year":"1984","unstructured":"R. Reiter. Towards a logical reconstruction of relational database theory. In M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, editors, On conceptual modelling, pages 191\u2013233. Springer, Heidelberg, DE, 1984."},{"key":"13_CR15","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1108\/eb026639","volume":"33","author":"S. E. Robertson","year":"1977","unstructured":"S. E. Robertson. Theories and models in information retrieval. Journal of Documentation, 33:126\u2013148, 1977.","journal-title":"Journal of Documentation"},{"key":"13_CR16","first-page":"1","volume":"1","author":"S. E. Robertson","year":"1982","unstructured":"S. E. Robertson, M. Maron, and W. S. Cooper. Probability of relevance: a unification of two competing models for document retrieval. Information technology: research and development, 1:1\u201321, 1982.","journal-title":"Information technology: research and development"},{"key":"13_CR17","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1002\/asi.4630270302","volume":"27","author":"S. E. Robertson","year":"1976","unstructured":"S. E. Robertson and K. Sparck Jones. Relevance weighting of search terms. Journal of the American Society for Information Science, 27:129\u2013146, 1976.","journal-title":"Journal of the American Society for Information Science"},{"key":"13_CR18","unstructured":"T. R\u00f6lleke. Does Probabilistic Datalog meet the requirements of imaging? In Proceedings of SIGIR-95, 18th ACM International Conference on Research and Development in Information Retrieval, page 374, Seattle, US, 1995."},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/0306-4573(88)90021-0","volume":"24","author":"G. Salton","year":"1988","unstructured":"G. Salton and C. Buckley. Term-weighting approaches in automatic text retrieval. Information Processing and Management, 24:513\u2013523, 1988.","journal-title":"Information Processing and Management"},{"issue":"12","key":"13_CR20","doi-asserted-by":"publisher","first-page":"1022","DOI":"10.1145\/182.358466","volume":"26","author":"G. Salton","year":"1983","unstructured":"G. Salton, E. A. Fox, and H. Wu. Extended Boolean information retrieval. Communications of the ACM, 26(12):1022\u20131036, 1983.","journal-title":"Communications of the ACM"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"F. Sebastiani. A probabilistic terminological logic for modelling information retrieval. In Proceedings of SIGIR-94, 17th ACM International Conference on Research and Development in Information Retrieval, pages 122\u2013130, Dublin, IE, 1994.","DOI":"10.1007\/978-1-4471-2099-5_13"},{"issue":"1","key":"13_CR22","first-page":"35","volume":"17","author":"F. Sebastiani","year":"1998","unstructured":"F. Sebastiani. Information retrieval, imaging and probabilistic logic. Computers and Artificial Intelligence, 17(1):35\u201350, 1998.","journal-title":"Computers and Artificial Intelligence"},{"issue":"1","key":"13_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0306-4573(97)00055-1","volume":"34","author":"F. Sebastiani","year":"1998","unstructured":"F. Sebastiani. On the role of logic in information retrieval. Information Processing and Management, 34(1):1\u201318, 1998.","journal-title":"Information Processing and Management"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1111\/j.1755-2567.1970.tb00408.x","volume":"36","author":"R. C. Stalnaker","year":"1970","unstructured":"R. C. Stalnaker and R. H. Thomason. A semantical analysis of conditional logic. Theoria, 36:23\u201342, 1970.","journal-title":"Theoria"},{"key":"13_CR25","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"},{"issue":"1","key":"13_CR26","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/195705.195713","volume":"13","author":"S. M. Wong","year":"1995","unstructured":"S. M. Wong and Y. Yao. On modeling information retrieval with probabilistic inference. ACM Transactions on Information Systems, 13(1):38\u201368, 1995.","journal-title":"ACM Transactions on Information Systems"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0095098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T10:56:29Z","timestamp":1555930589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0095098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540659655","9783540488286"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0095098","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}