{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:36Z","timestamp":1725488916807},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001249"},{"type":"electronic","value":"9783540361275"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36127-8_4","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T14:10:12Z","timestamp":1186841412000},"page":"31-40","source":"Crossref","is-referenced-by-count":0,"title":["Attacking the Complexity of Prioritized Inference Preliminary Report"],"prefix":"10.1007","author":[{"given":"Renata","family":"Wassermann","sequence":"first","affiliation":[]},{"given":"Samir","family":"Chopra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,1,16]]},"reference":[{"key":"4_CR1","unstructured":"A.R Anderson and N.D Belnap. Entailment: The Logic of Relevance and Necessity, Vol. 1. Princeton University Press, 1975."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Gerhard Brewka. Adding priorities and specificity to default logic. In European Workshop on Logics in Artificial Intelligence (JELIA\u2019 94), LNAI. Springer-Verlag, 1994.","DOI":"10.1007\/BFb0021977"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"S. Chopra, K. Georgatos, and R. Parikh. Relevance sensitive non-monotonic inference on belief sequences. Journal of Applied Non-Classical Logics, 11(1\u20132), 2001.","DOI":"10.3166\/jancl.11.131-150"},{"key":"4_CR4","unstructured":"T. Cormen, C. Leiserson, and R. Rivest. Introduction to Algorithms. MIT Press, 1990."},{"issue":"6","key":"4_CR5","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1093\/jigpal\/9.6.755","volume":"9","author":"S. Chopra","year":"2001","unstructured":"Samir Chopra, Rohit Parikh, and Renata Wassermann. Approximate belief revision. Logic Journal of the IGPL, 9(6):755\u2013768, 2001.","journal-title":"Logic Journal of the IGPL"},{"key":"4_CR6","unstructured":"Simon E. Dixon. Belief Revision: A Computational Approach. PhD thesis, Basser Department of Computer Science, University of Sydney, 1994."},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer","year":"1986","unstructured":"J. Kleer. An assumption-based truth maintenance system. Art. Intelligence, 28:127\u2013162, 1986.","journal-title":"Art. Intelligence"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0004-3702(99)00072-7","volume":"115","author":"A. Herzig","year":"1999","unstructured":"Andreas Herzig and Omar Rifi. Propositional belief base update and minimal change. Artificial Intelligence, 115(1):107\u2013138, 1999.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1014654208944","volume":"70","author":"S.O. Hansson","year":"2002","unstructured":"S.O. Hansson and R. Wassermann. Local change. Studia Logica, 70(1):49\u201376, 2002.","journal-title":"Studia Logica"},{"key":"4_CR10","unstructured":"H. Levesque. A logic of implicit and explicit belief. In Proceedings of AAAI-84, 1984."},{"key":"4_CR11","unstructured":"Pierre Marquis. Knowledge compilation using theory prime implicates. In Proceedings of IJCAI95, pages 837\u2013843, 1995."},{"issue":"1+2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"John McCarthy. Circumscription. Artificial Intelligence, 13(1+2):27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"4_CR13","first-page":"105","volume-title":"Non-Standard Logics for Automated Reasoning","author":"R. C. Moore","year":"1988","unstructured":"R. C. Moore. Autoepistemic logic. In Non-Standard Logics for Automated Reasoning, pages 105\u2013136. Academic Press, London, 1988."},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J. Martins","year":"1988","unstructured":"J. Martins and S. Shapiro. A model for belief revision. Art. Int., 35:25\u201379, 1988.","journal-title":"Art. Int."},{"key":"4_CR15","unstructured":"Pierre Marquis and S. Sadaoui. A new algorithm for computing theory prime implicate compilations. In Proceedings of AAAI96, pages 504\u2013509, 1996."},{"key":"4_CR16","unstructured":"W. McCune and L. Wos. Otter: The cade-13 competition incarnations. Journal of Automated Reasoning, 1997."},{"key":"4_CR17","unstructured":"R. Parikh. Beliefs, belief revision and splitting languages. In Proceedings Itallc-96, 1996."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13, 1980.","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Mark D. Ryan. Prioritizing preference relations. In Proceedings of the First Imperial College, Department of Computing, Workshop on Theory and Formal Methods, 1993.","DOI":"10.1007\/978-1-4471-3503-6_21"},{"issue":"2","key":"4_CR20","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Marco Schaerf and Marco Cadoli. Tractable reasoning via approximation. Artificial Intelligence, 74(2):249\u2013310, 1995.","journal-title":"Artificial Intelligence"},{"key":"4_CR21","unstructured":"Annette ten Teije and Frank van Harmelen. Computing approximate diagnoses by using approximate entailment. In Proceedings of KR\u201996, pages 256\u2013265, 1996."},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1023\/A:1005565603303","volume":"50","author":"R. Wassermann","year":"1999","unstructured":"R. Wassermann. Resource-bounded belief revision. Erkenntnis, 50:429\u2013446, 1999.","journal-title":"Erkenntnis"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Renata Wassermann. On structured belief bases. In Hans Rott and Mary-Anne Williams, editors, Frontiers in Belief Revision. Kluwer, 2001.","DOI":"10.1007\/978-94-015-9817-0_18"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Mary-Anne Williams. Implementing belief revision. In G. Antoniou, editor, Nonmonotonic Reasoning. MIT Press, 1997.","DOI":"10.7551\/mitpress\/5040.003.0022"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36127-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:25:27Z","timestamp":1556753127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36127-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001249","9783540361275"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-36127-8_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}