{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,2]],"date-time":"2024-01-02T15:20:40Z","timestamp":1704208840075},"reference-count":58,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing &amp; Management"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1016\/s0306-4573(97)00055-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T12:27:28Z","timestamp":1027600048000},"page":"1-18","source":"Crossref","is-referenced-by-count":28,"title":["On the role of logic in information retrieval"],"prefix":"10.1016","volume":"34","author":[{"given":"Fabrizio","family":"Sebastiani","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0306-4573(97)00055-1_BIB1","series-title":"A synthesis between hypermedia and information retrieval","article-title":"Stratified information disclosure","author":"Bruza","year":"1993"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB2","series-title":"Proceedings of SIGIR-94, 17th ACM International Conference on Research and Development in Information Retrieval","first-page":"112","article-title":"Investigating aboutness axioms using information fields","author":"Bruza","year":"1994"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB3","series-title":"Proceedings of SIGIR-93, 16th ACM International Conference on Research and Development in Information Retrieval","first-page":"12","article-title":"Efficient context-sensitive plausible inference for information disclosure","author":"Bruza","year":"1993"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB4","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1093\/bjps\/IV.14.147","article-title":"Semantic information","volume":"4","author":"Carnap","year":"1953","journal-title":"British Journal for the Philosophy of Science"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB5","series-title":"Proceedings of MIRO-95, Workshop on Multimedia Information Retrieval","article-title":"Extending a logic-based model with algebraic knowledge","author":"Chevallet","year":"1996"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB6","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1093\/comjnl\/35.3.233","article-title":"About retrieval models and logic","volume":"35","author":"Chiaramella","year":"1992","journal-title":"The Computer Journal"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0020-0271(71)90024-6","article-title":"A definition of relevance for information retrieval","volume":"7","author":"Cooper","year":"1971","journal-title":"Information Storage and Retrieval"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB8","series-title":"Proceedings of TREC-4, 4th Text Retrieval Conference","article-title":"The troubles with using a logical model of IR on a large collection of documents","author":"Crestani","year":"1995"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB9","series-title":"Proceedings of SIGIR-95, 18th ACM International Conference on Research and Development in Information Retrieval","first-page":"291","article-title":"Probability kinematics in information retrieval","author":"Crestani","year":"1995"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB10","first-page":"173","article-title":"Theorem proving and information retrieval","volume":"4","author":"Darlington","year":"1969"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB11","series-title":"Proceedings of DL-95, 4th International Workshop on Description Logics","first-page":"143","article-title":"Making CATS out of kittens: description logics with aggregates","author":"De Giacomo","year":"1995"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","article-title":"Diagnosing multiple faults","volume":"32","author":"de Kleer","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB13","series-title":"A survey of the different logical analyses of \u2018if\u2026then\u2026\u2019","first-page":"77","article-title":"Implication","volume":"10","author":"de Swart","year":"1992"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB14","series-title":"Proceedings of the 17th International Conference on Software Engineering","article-title":"The use of description logics in KBSE systems","author":"Devanbu","year":"1994"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB15","first-page":"117","article-title":"Relevance logic and entailment","volume":"Vol. 3","author":"Dunn","year":"1986"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB16","series-title":"Proceedings of the AAAI Fall Symposium on Knowledge Representation Systems based on Natural Language","first-page":"20","article-title":"Logical form and knowledge representation: towards a reconciliation","author":"Franconi","year":"1996"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB17","series-title":"Proceedings of SIGIR-95, 18th ACM International Conference on Research and Development in Information Retrieval","first-page":"282","article-title":"Probabilistic Datalog: a logic for powerful retrieval methods","author":"Fuhr","year":"1995"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB18","series-title":"ESPRIT BRA project 8134 \u2018FERMI\u2019. Deliverable 11: \u2018Experimentation\u2019","year":"1997"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB19","series-title":"Modeling the dynamics of epistemic states","article-title":"Knowledge in flux","author":"G\u00e4rdenfors","year":"1988"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB20","series-title":"The denotational description of programming languages","author":"Gordon","year":"1979"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB21","series-title":"Philosophy of logics","author":"Haack","year":"1978"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB22","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","article-title":"An analysis of first-order logics of probability","volume":"46","author":"Halpern","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB23","series-title":"Ifs. Conditionals, belief, decision, chance and time","year":"1981"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB24","series-title":"Symbolic and quantitative approaches to reasoning and uncertainty","first-page":"235","article-title":"Using default logic in information retrieval","author":"Hunter","year":"1995"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB25","series-title":"Formal theories of the commonsense world","first-page":"427","article-title":"A short companion to the naive physics manifesto","author":"Israel","year":"1985"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB26","series-title":"Proceedings of the 1st Workshop on Incompleteness and Uncertainty in Information Systems","first-page":"62","article-title":"A model of an information retrieval system based on situation theory and Dempster-Shafer theory of evidence","author":"Lalmas","year":"1993"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB27","series-title":"Proceedings of the International Symposium on Artificial Intelligence","first-page":"102","article-title":"Analysis of part-of reasoning in description logics for use in a document management application","author":"Lambrix","year":"1995"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB28","series-title":"Proceedings of AAAI-84, 4th Conference of the American Association for Artificial Intelligence","first-page":"198","article-title":"A logic of implicit and explicit belief","author":"Levesque","year":"1984"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB29_1","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(86)90068-8","article-title":"Making believers out of computers","volume":"30","author":"Levesque","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB29_2","first-page":"69","article-title":"Making believers out of computers","volume":"30","author":"Levesque","year":"1989"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB30","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","article-title":"Expressiveness and tractability in knowledge representation and reasoning","volume":"3","author":"Levesque","year":"1987","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB31","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1207\/s15516709cog0203_5","article-title":"Tarskian semantics, or: no notation without denotation!","volume":"2","author":"McDermott","year":"1978","journal-title":"Cognitive Science"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB32","series-title":"Proceedings of DL-95, 4th International Workshop on Description Logics","first-page":"109","article-title":"Description-logic based configuration for consumers","author":"McGuinness","year":"1995"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB33","series-title":"Proceedings of SIGIR-95, 18th ACM International Conference on Research and Development in Information Retrieval","first-page":"300","article-title":"An image retrieval model based on classical logic","author":"Meghini","year":"1995"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB34","series-title":"Proceedings of SIGIR-96, 19th ACM International Conference on Research and Development in Information Retrieval","first-page":"197","article-title":"A relevance description logic for information retrieval","author":"Meghini","year":"1996"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB35","series-title":"Proceedings of SIGIR-93, 16th ACM International Conference on Research and Development in Information Retrieval","first-page":"298","article-title":"A model of information retrieval based on a terminological logic","author":"Meghini","year":"1993"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB36","series-title":"Proceedings of ICIAP-97, 9th International Conference on Image Analysis and Processing","first-page":"156","article-title":"The terminological image model","author":"Meghini","year":"1997"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB37","series-title":"Proceedings of RIAO'94, 4th International Conference \u2018Recherche d'Information Assistee par Ordinateur\u2019","first-page":"461","article-title":"Query expansion in an abductive information retrieval system","author":"M\u00fcller","year":"1994"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB38","series-title":"Readings in artificial intelligence and databases","year":"1989"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB39","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1016\/0306-4573(89)90019-8","article-title":"An information retrieval model based on modal logic","volume":"25","author":"Nie","year":"1989","journal-title":"Information Processing and Management"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB40","series-title":"Proceedings of CAIA-84, 1st IEEE Conference on Artificial Intelligence Applications","first-page":"280","article-title":"ARGON: knowledge representation meets information retrieval","author":"Patel-Schneider","year":"1984"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB41_1","series-title":"On conceptual modelling","first-page":"191","article-title":"Towards a logical reconstruction of relational database theory","author":"Reiter","year":"1984"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB41_2","series-title":"On conceptual modelling","first-page":"301","article-title":"Towards a logical reconstruction of relational database theory","author":"Reiter","year":"1989"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB42","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB43","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1016\/0306-4573(88)90021-0","article-title":"Term-weighting approaches in automatic text retrieval","volume":"24","author":"Salton","year":"1988","journal-title":"Information Processing and Management"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB44","series-title":"Proceedings of SIGIR-94, 17th ACM International Conference on Research and Development in Information Retrieval","first-page":"122","article-title":"A probabilistic terminological logic for modelling information retrieval","author":"Sebastiani","year":"1994"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB45","series-title":"Proceedings of AAAI-92, 10th Conference of the American Association for Artificial Intelligence","first-page":"440","article-title":"A new method for solving hard satisfiability problems","author":"Selman","year":"1992"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB46_1","series-title":"Studies in logical theory","first-page":"98","article-title":"A theory of conditionals","author":"Stalnaker","year":"1968"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB46_2","series-title":"Studies in logical theory","first-page":"41","article-title":"A theory of conditionals","author":"Stalnaker","year":"1981"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB47","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1111\/j.1755-2567.1970.tb00408.x","article-title":"A semantical analysis of conditional logic","volume":"36","author":"Stalnaker","year":"1970","journal-title":"Theoria"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB48","series-title":"Proceedings of MIRO-95, Workshop on Multimedia Information Retrieval","article-title":"Document retrieval by relevance terminological logics","author":"Straccia","year":"1996"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB49","series-title":"Proceedings of SIGIR-90, 13th ACM International Conference on Research and Development in Information Retrieval","first-page":"1","article-title":"Inference networks for document retrieval","author":"Turtle","year":"1990"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB50","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1145\/125187.125188","article-title":"Evaluation of an inference network-based retrieval model","volume":"9","author":"Turtle","year":"1991","journal-title":"ACM Transactions on Information Systems"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB51","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1093\/comjnl\/29.6.481","article-title":"A non-classical logic for information retrieval","volume":"29","author":"van Rijsbergen","year":"1986","journal-title":"The Computer Journal"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB52","series-title":"Proceedings of SIGIR-89, 12th ACM International Conference on Research and Development in Information Retrieval","first-page":"77","article-title":"Towards an information logic","author":"van Rijsbergen","year":"1989"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB53","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1093\/comjnl\/35.3.291","article-title":"Probabilistic retrieval revisited","volume":"35","author":"van Rijsbergen","year":"1992","journal-title":"The Computer Journal"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB54","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1002\/(SICI)1097-4571(199605)47:5<385::AID-ASI6>3.0.CO;2-S","article-title":"Information calculus for information retrieval","volume":"47","author":"van Rijsbergen","year":"1996","journal-title":"Journal of the American Society for Information Science"},{"key":"10.1016\/S0306-4573(97)00055-1_BIB55","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0306-4379(91)90003-R","article-title":"A probabilistic inference model for information retrieval","volume":"16","author":"Wong","year":"1991","journal-title":"Information Systems"}],"container-title":["Information Processing &amp; Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306457397000551?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306457397000551?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,5,5]],"date-time":"2021-05-05T19:16:05Z","timestamp":1620242165000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0306457397000551"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":58,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["S0306457397000551"],"URL":"https:\/\/doi.org\/10.1016\/s0306-4573(97)00055-1","relation":{},"ISSN":["0306-4573"],"issn-type":[{"value":"0306-4573","type":"print"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}