{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T21:41:47Z","timestamp":1648935707504},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,3,1]],"date-time":"2008-03-01T00:00:00Z","timestamp":1204329600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Ser. F-Inf. Sci."],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1007\/s11432-008-0021-5","type":"journal-article","created":{"date-parts":[[2008,2,1]],"date-time":"2008-02-01T14:11:18Z","timestamp":1201875078000},"page":"240-257","source":"Crossref","is-referenced-by-count":2,"title":["An algebraic approach to revising propositional rule-based knowledge bases"],"prefix":"10.1007","volume":"51","author":[{"given":"ShangMin","family":"Luan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GuoZhong","family":"Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","first-page":"62","volume-title":"Advances in Modal Logic","author":"H. Ditmarsch van","year":"2004","unstructured":"van Ditmarsch H, vander Hoek W, Kooi B. Public announcement and belief revision. In: Schmidt R A, Pratt-Hartmann I, Reynolds M, et al., eds. Advances in Modal Logic. London: King\u2019s College Publications, 2004. 62\u201373"},{"issue":"2","key":"21_CR2","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1093\/jigpal\/11.2.223","volume":"11","author":"J. W. Roorda","year":"2003","unstructured":"Roorda J W, vander Hoek W, Meyer J J. Iterated belief change in multi-agent systems logic. J IGPL, 2003, 11(2): 223\u2013246","journal-title":"J IGPL"},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1017\/S1471068401001247","volume":"2","author":"T. Reter","year":"2002","unstructured":"Reter T, Fink M, Sabbatini G, et al. On properties of update sequences based on causal rejection. Theory Pract Logic Program, 2002, 2: 711\u2013767","journal-title":"Theory Pract Logic Program"},{"key":"21_CR4","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond M, Lifschitz V. Classical negation in logic programs and disjunctive databases. New Generation Comput, 1991, 9: 365\u2013386","journal-title":"New Generation Comput"},{"key":"21_CR5","first-page":"289","volume-title":"Proc of the International Joint Conference and Symposium on Logic Programming","author":"I. Nemela","year":"1996","unstructured":"Nemela I, Simons P. Efficient implementation of the well-founded and stable model semantics. In: Maher M J, ed. Proc of the International Joint Conference and Symposium on Logic Programming. Cambridge MA: The MIT Press, 1996. 289\u2013303"},{"issue":"2","key":"21_CR6","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourron","year":"1985","unstructured":"Alchourron C E, Gardenfors P, Markinson D. On the logic of theory change: partial meet contraction and revision functions. J Symb Logic, 1985, 50(2): 510\u2013530","journal-title":"J Symb Logic"},{"key":"21_CR7","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1145\/588058.588100","volume-title":"Proc of the Second ACM SIGACT-SIGMOD Symposium on Principle of Database Systems","author":"R. Fagin","year":"1983","unstructured":"Fagin R, Ullman J D, Vardi M Y. On the semantics of updates in databases. In: De Witt D J, Gardarin G, eds. Proc of the Second ACM SIGACT-SIGMOD Symposium on Principle of Database Systems. New York: ACM Press, 1983. 352\u2013365"},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"M. L. Ginsberg","year":"1988","unstructured":"Ginsberg M L, Smith D E. Reasoning about action I: A possible worlds approach. Art Intel, 1988, 35: 165\u2013195","journal-title":"Art Intel"},{"key":"21_CR9","first-page":"301","volume-title":"Proc of the first International Conference on Principles of Knowledge Representation and Reasoning","author":"B. Nebel","year":"1989","unstructured":"Nebel B. A knowledge level analysis of belief revision. In: Brachman R J, Levesque H J, Reiter R, eds. Proc of the first International Conference on Principles of Knowledge Representation and Reasoning, San Francisco: Morgan Kaufman Publishers, 1989. 301\u2013311"},{"key":"21_CR10","first-page":"487","volume-title":"Proc First Conference on Expert Database Systems","author":"A. Weber","year":"1986","unstructured":"Weber A. Updating propositional formulas. In: Kerschberg L, ed. Proc First Conference on Expert Database Systems, Menlo Park: Benjamin Cummings, 1986. 487\u2013500"},{"key":"21_CR11","first-page":"1273","volume-title":"Proc of the International Joint Conference on Artificial Intelligence","author":"K. D. Forbus","year":"1989","unstructured":"Forbus K D. Introducing actions into qualitative simulation. In: Sridharan N S, ed. Proc of the International Joint Conference on Artificial Intelligence. San Francisco: Morgan Kaufmann Publishers, 1989. 1273\u20131278"},{"issue":"1&2","key":"21_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(03)00111-5","volume":"151","author":"J. Delgrande","year":"2003","unstructured":"Delgrande J, Schaub T. A consistency-based approach for belief change. Art Intel, 2003, 151(1&2): 1\u201341","journal-title":"Art Intel"},{"key":"21_CR13","doi-asserted-by":"crossref","first-page":"801","DOI":"10.1093\/logcom\/14.6.801","volume":"14","author":"J. Delgrande","year":"2004","unstructured":"Delgrande J, Schaub T, et al. On computing solutions to belief change scenarios. J Logic Comput, 2004, 14: 801\u2013826","journal-title":"J Logic Comput"},{"issue":"5","key":"21_CR14","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1360\/02ye0122","volume":"46","author":"W. Li","year":"2003","unstructured":"Li W. A development calculus for specifications. Sci China Ser F-Inf Sci, 2003, 46(5): 390\u2013400","journal-title":"Sci China Ser F-Inf Sci"},{"issue":"1","key":"21_CR15","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/BF02946657","volume":"18","author":"S. Luan","year":"2003","unstructured":"Luan S, Dai G, Li W. A programmable approach to maintenance of a finite knowledge base. J Comput Sci Tech, 2003, 18(1): 102\u2013108","journal-title":"J Comput Sci Tech"},{"issue":"1&2","key":"21_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A. Darwiche","year":"1997","unstructured":"Darwiche A, Pearl J. On the logic of iterated belief revision. Art Intel, 1997, 89(1&2): 1\u201329","journal-title":"Art Intel"},{"key":"21_CR17","first-page":"519","volume-title":"Proc of the 13th International Joint Conference on Artificial Intelligence","author":"C. Boutilier","year":"1993","unstructured":"Boutilier C. Revision sequences and nested conditionals. In: Bajcsy R, ed. Proc of the 13th International Joint Conference on Artificial Intelligence. San Francisco: Morgan Kaufmann Publishers, 1993. 519\u2013525"},{"issue":"6","key":"21_CR18","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1360\/03yf0327","volume":"48","author":"S. Luan","year":"2005","unstructured":"Luan S, Dai G, Li W. A programmable approach to revising knowledge bases. Sci China Ser F-Inf Sci, 2005, 48(6): 681\u2013692","journal-title":"Sci China Ser F-Inf Sci"},{"key":"21_CR19","first-page":"534","volume-title":"Proc of the 13th International Joint Conference on Artificial Intelligence","author":"S. E. Dixon","year":"1993","unstructured":"Dixon S E, Wocke W R. The implementation f a first-order logic AGM belief revision system. In: Bajcsy R, ed. Proc of the 13th International Joint Conference on Artificial Intelligence. San Francisco: Morgan Kaufmann Publishers, 1993. 534\u2013539"},{"issue":"3","key":"21_CR20","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/BF02948909","volume":"18","author":"S. Luan","year":"2003","unstructured":"Luan S, Dai G. Fast algorithms for revision of some special propositional knowledge bases. J Comput Sci Tech, 2003, 18(3): 388\u2013392","journal-title":"J Comput Sci Tech"},{"key":"21_CR21","first-page":"157","volume-title":"Proc of the 11th Brazilian Symposium on Artificial Intelligence","author":"O. Rodrigues","year":"1994","unstructured":"Rodrigues O, Benevides M. Belief revision in pseudo-definite sets. In: Pequeno T, Carvalho F, eds. Proc of the 11th Brazilian Symposium on Artificial Intelligence. Berlin: Springer-Verlag, 1994. 157\u2013171"},{"key":"21_CR22","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1016\/B978-1-4832-1452-8.50151-2","volume-title":"Proc of the International Conference on Knowledge Representation and Reasoning","author":"C. V. Dam\u00e0sio","year":"1994","unstructured":"Dam\u00e0sio C V, Nejdl W, Pereira L P. REVISE: An extended logic programming systems for revising knowledge bases. In: Doyle J, Sandewall E, Torasso P, eds. Proc of the International Conference on Knowledge Representation and Reasoning. San Francisco: Morgan Kaufmann Publishers, 1994. 607\u2013618"},{"issue":"2","key":"21_CR23","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s00236-003-0122-y","volume":"40","author":"V. Khomenko","year":"2003","unstructured":"Khomenko V, Koutny M, Vogler W. Canonical prefixes of Petri net unfoldings. Acta Inf, 2003, 40(2): 95\u2013118","journal-title":"Acta Inf"},{"issue":"6","key":"21_CR24","doi-asserted-by":"crossref","first-page":"983","DOI":"10.1109\/69.334887","volume":"6","author":"D. Zhang","year":"1994","unstructured":"Zhang D, Nguyen D. PREPARE: A tool for knowledge base verification. IEEE Trans Knowledge and Data Engineering, 1994, 6(6): 983\u2013989","journal-title":"IEEE Trans Knowledge and Data Engineering"},{"key":"21_CR25","first-page":"35","volume-title":"The 6th European Workshop on Applications and Theory of Petri Nets","author":"R. Steinmetz","year":"1985","unstructured":"Steinmetz R, Theissen S. Integration of Petri nets into a tool for consistency checking of expert systems with rule based knowledge representation. In: Rozenberg G, ed. The 6th European Workshop on Applications and Theory of Petri Nets, Berlin: Springer-Verlag, 1985. 35\u201352"},{"key":"21_CR26","first-page":"437","volume-title":"Proc of the 9th European Conference on Artificial Intelligence","author":"P. Meseguer","year":"1990","unstructured":"Meseguer P. A new method to checking rule bases for inconsistency: a Petri net approach. In: Aiello L, ed. Proc of the 9th European Conference on Artificial Intelligence. London: Pitman Publishing, 1990. 437\u2013442"},{"issue":"4","key":"21_CR27","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T. Petri nets: properties, analysis and applications. Proc of the IEEE, 1989, 77(4): 541\u2013580","journal-title":"Proc of the IEEE"},{"key":"21_CR28","volume-title":"An Introduction to Petri Net (in Chinese)","author":"Z. Wu","year":"2006","unstructured":"Wu Z. An Introduction to Petri Net (in Chinese). Beijing: China Machine Press, 2006"}],"container-title":["Science in China Series F: Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-008-0021-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-008-0021-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-008-0021-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:35:54Z","timestamp":1559403354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-008-0021-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["21"],"URL":"https:\/\/doi.org\/10.1007\/s11432-008-0021-5","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3]]}}}