{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:10:03Z","timestamp":1725491403291},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752554"},{"type":"electronic","value":"9783540752561"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75256-1_10","type":"book-chapter","created":{"date-parts":[[2007,9,13]],"date-time":"2007-09-13T09:20:53Z","timestamp":1189675253000},"page":"78-90","source":"Crossref","is-referenced-by-count":7,"title":["COBA 2.0: A Consistency-Based Belief Change System"],"prefix":"10.1007","author":[{"given":"James P.","family":"Delgrande","sequence":"first","affiliation":[]},{"given":"Daphne H.","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Thiele","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","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. Artificial Intelligence\u00a0151, 1\u201341 (2003)","journal-title":"Artificial Intelligence"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR3","unstructured":"Fuhrmann, A.: Relevant Logics, Modal Logics, and Theory Change. PhD thesis, Australian National University, Australia (1988)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1017\/CBO9780511526664.007","volume-title":"Belief Revision","author":"H. Katsuno","year":"1992","unstructured":"Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: G\u00e4rdenfors, P. (ed.) Belief Revision, pp. 183\u2013203. Cambridge University Press, Cambridge (1992)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Kowalski, R.: Logic for data description. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, Plenum, pp. 77\u2013103 (1978)","DOI":"10.1007\/978-1-4684-3384-5_4"},{"key":"10_CR6","first-page":"313","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"F. Sadri","year":"1987","unstructured":"Sadri, F., Kowalski, R.: A theorem-proving approach to database integrity. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 313\u2013362. MorganKaufmann, San Francisco (1987)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-1-4612-5196-5_8","volume-title":"On Conceptual Modelling","author":"R. Reiter","year":"1984","unstructured":"Reiter, R.: Towards a logical reconstruction of relational database theory. In: Brodie, M., Mylopoulos, J., Schmidt, J. (eds.) On Conceptual Modelling, pp. 191\u2013233. Springer, Heidelberg (1984)"},{"key":"10_CR8","unstructured":"A satisfiability library for java, \n                    \n                      http:\/\/www.sat4j.org"},{"key":"10_CR9","unstructured":"COBA 2.0, \n                    \n                      http:\/\/www.cs.sfu.ca\/~cl\/software\/COBA\/coba2.html90"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1093\/logcom\/14.6.801","volume":"14","author":"J. Delgrande","year":"2004","unstructured":"Delgrande, J., Schaub, T., Tompits, H., Woltran, S.: On computing belief change operations using quantified boolean formulas. Journal of Logic and Computation\u00a014, 801\u2013826 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"10_CR11","unstructured":"Egly, U., Eiter, T., Tompits, H., Woltran, S.: Solving advanced reasoning tasks using quantified Boolean formulas. In: Proceedings of the AAAI National Conference on Artificial Intelligence, pp. 417\u2013422 (2000)"},{"key":"10_CR12","unstructured":"Delgrande, J., Schaub, T.: Consistency-based approaches to merging knowledge bases. Journal of Applied Logics (to appear)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.artint.2003.08.003","volume":"153","author":"S. Benferhat","year":"2004","unstructured":"Benferhat, S., Kaci, S., Berre, D., Williams, M.A.: Weakening conflicting information for iterated revision and knowledge integration. Artificial Intelligence\u00a0153, 339\u2013371 (2004)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75256-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T18:20:03Z","timestamp":1548354003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75256-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540752554","9783540752561"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75256-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}