{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:01:14Z","timestamp":1725566474236},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232377"},{"type":"electronic","value":"9783540286455"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-28645-5_3","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T18:13:58Z","timestamp":1285006438000},"page":"21-30","source":"Crossref","is-referenced-by-count":1,"title":["Using Relevance to Speed Up Inference"],"prefix":"10.1007","author":[{"given":"Joselyto","family":"Riani","sequence":"first","affiliation":[]},{"given":"Renata","family":"Wassermann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Readings in Model-Based Diagnosis","year":"1992","key":"3_CR1","unstructured":"Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model-Based Diagnosis. Morgan Kaufmann, San Francisco (1992)"},{"volume-title":"Readings in Planning","year":"1990","key":"3_CR2","unstructured":"Allen, J., Hendler, J., Tare, A. (eds.): Readings in Planning. Morgan Kaufmann Publishers, San Francisco (1990)"},{"key":"3_CR3","volume-title":"Knowledge in Flux - Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux - Modeling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)"},{"key":"3_CR4","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman, New York (1979)"},{"volume-title":"Handbook of Automated Reasoning","year":"2001","key":"3_CR5","unstructured":"Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning. MIT Press, Cambridge (2001)"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artificial Intelligence\u00a074, 249\u2013310 (1995)","journal-title":"Artificial Intelligence"},{"key":"3_CR7","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"A. Anderson","year":"1975","unstructured":"Anderson, A., Belnap, N.: Entailment: The Logic of Relevance and Necessity. Princeton University Press, Princeton (1975)"},{"key":"3_CR8","unstructured":"da Costa, N.C.: Calculs propositionnels pour les syst\u00e9mes formels inconsistants. Comptes Rendus d\u2019Academie des Sciences de Paris\u00a0257 (1963)"},{"key":"3_CR9","unstructured":"Wassermann, R.: Resource-Bounded Belief Revision. PhD thesis, Institute for Logic, Language and Computation \u2014 University of Amsterdam (1999)"},{"key":"3_CR10","first-page":"272","volume-title":"15th European Conference on Artificial Intelligence (ECAI 2002)","author":"M. Finger","year":"2002","unstructured":"Finger, M., Wassermann, R.: Expressivity and control in limited reasoning. In: van Harmelen, F. (ed.) 15th European Conference on Artificial Intelligence (ECAI 2002), Lyon, France, pp. 272\u2013276. IOS Press, Amsterdam (2002)"},{"key":"3_CR11","series-title":"Propositional Logic. Nijhoff International Philosophy Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-0525-2","volume-title":"The semantic foundations of logic","author":"R.L. Epstein","year":"1990","unstructured":"Epstein, R.L.: The semantic foundations of logic. Propositional Logic. Nijhoff International Philosophy Series, vol.\u00a01. Kluwer Academic Publishers, Dordrecht (1990)"},{"key":"3_CR12","unstructured":"Rodrigues, O.T.: A Methodology for Iterated Information Change. PhD thesis, Imperial College, University of London (1997)"},{"key":"3_CR13","first-page":"7","volume":"20","author":"S. Krajewski","year":"1986","unstructured":"Krajewski, S.: Relatedness logic. Reports on Mathematical Logic\u00a020, 7\u201314 (1986)","journal-title":"Reports on Mathematical Logic"},{"key":"3_CR14","unstructured":"McCune, W., Wos, L.: Otter: The cade-13 competition incarnations. Journal of Automated Reasoning (1997)"},{"key":"3_CR15","unstructured":"Riani, J.: Towards an efficient inference procedure through syntax based relevance. Master\u2019s thesis, Department of Computer Science, University of S\u00e3o Paulo (2004), Available at \n                    \n                      http:\/\/www.ime.usp.br\/~joselyto\/mestrado"},{"key":"3_CR16","unstructured":"Ribeiro, F.P.: otterlib \u2013 a C library for theorem proving. Technical Report RT-MAC 2002-09, Computer Science Department, University of S\u00e3o Paulo (2002), Available from \n                    \n                      http:\/\/www.ime.usp.br\/~fr\/otterlib\/"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2013 SBIA 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28645-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:30:24Z","timestamp":1619998224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28645-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232377","9783540286455"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28645-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}