{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:49:01Z","timestamp":1749221341640},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198895"},{"type":"electronic","value":"9781447120995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-2099-5_13","type":"book-chapter","created":{"date-parts":[[2011,11,10]],"date-time":"2011-11-10T08:41:29Z","timestamp":1320914489000},"page":"122-130","source":"Crossref","is-referenced-by-count":19,"title":["A Probabilistic Terminological Logic for Modelling Information Retrieval"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Sebastiani","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Representing and reasoning with probabilistic knowledge. MIT Press","author":"F Bacchus","year":"1990","unstructured":"F. Bacchus. Representing and reasoning with probabilistic knowledge. MIT Press, Cambridge, MA,. 1990."},{"key":"13_CR2","first-page":"602","volume-title":"Proceedings of AAAI-92,Conference of the American Association for Artificial Intelligence","author":"F Bacchus","year":"1992","unstructured":"F. Bacchus, A. Grove, J. Y. Halpern, and D. Koller. From statistics to beliefs. In Proceedings of AAAI-92, 10th Conference of the American Association for Artificial Intelligence, pages 602\u2013608, San Jose, CA, 1992."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/LICS.1992.185516","volume-title":"Proceedings of the 7th annual IEEE Symposium in Logic in Computer Science","author":"A Grove","year":"1992","unstructured":"A. Grove, J. Y. Halpern, and D. Koller. Random worlds and maximum entropy. In Proceedings of the 7th annual IEEE Symposium in Logic in Computer Science, pages 22\u201333, Santa Cruz, CA, 1992."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"JY Halpern","year":"1990","unstructured":"J. Y. Halpern. An analysis of first-order logics of probability. Artificial Intelligence, 46: 311\u2013350, 1990.","journal-title":"Artificial Intelligence"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"JY Halpern","year":"1992","unstructured":"J. Y. Halpern and Y. O. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54: 319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"volume-title":"Ifs. Conditionals,belief, decision, chance and time","year":"1981","key":"13_CR6","unstructured":"W. L. Harper, R. Stalnaker, and G. Pearce, editors. Ifs. Conditionals, belief, decision, chance and time. Reidel, Dordrecht, NL, 1981."},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"SA Kripke","year":"1963","unstructured":"S. A. Kripke. Semantical analysis of modal logic. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 9: 67\u201396, 1963.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1086\/289125","volume":"50","author":"H Kyburg","year":"1983","unstructured":"H. Kyburg. The reference class. Philosophy of science, 50: 374\u2013397, 1983.","journal-title":"The reference class. Philosophy of science"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1145\/160688.160753","volume-title":"Proceedings of SIGIR-93,ACM International Conference on Research and Development in Information Retrieval","author":"C Meghini","year":"1993","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, PA, 1993."},{"key":"13_CR10","volume-title":"A model of information retrieval based on a probabilistic terminological logic (extended version). Technical report, Istituto di Elaborazione dellInformazione, Consiglio Nazionale delle Ricerche, Pisa","author":"F Sebastiani","year":"1994","unstructured":"F. Sebastiani. A model of information retrieval based on a probabilistic terminological logic (extended version). Technical report, Istituto di Elaborazione dell\u2019Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy, 1994. Forthcoming."},{"issue":"48","key":"13_CR11","first-page":"1986","volume":"29","author":"CJ Rijsbergen van","year":"1485","unstructured":"C. J. van Rijsbergen. A non-classical logic for information retrieval. The Computer Journal, 29: 48 1485, 1986.","journal-title":"A non-classical logic for information retrieval. The Computer Journal"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1093\/comjnl\/35.3.291","volume":"35","author":"CJ Rijsbergen van","year":"1992","unstructured":"C. J. van Rijsbergen. Probabilistic retrieval revisited. The Computer Journal, 35: 291\u2013298, 1992.","journal-title":"The Computer Journal"}],"container-title":["SIGIR \u201994"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-2099-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T12:50:36Z","timestamp":1555419036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-2099-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198895","9781447120995"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-2099-5_13","relation":{},"subject":[],"published":{"date-parts":[[1994]]}}}