{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:15Z","timestamp":1725551775141},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644132"},{"type":"electronic","value":"9783540697800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64413-x_37","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T15:22:41Z","timestamp":1270480961000},"page":"206-220","source":"Crossref","is-referenced-by-count":2,"title":["From belief revision to design revision: Applying theory change to changing requirements"],"prefix":"10.1007","author":[{"given":"C. K.","family":"MacNish","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. A.","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourron","year":"1985","unstructured":"C. Alchourron, P. G\u00e4rdenfors, and D. Makinson. Partial meet contraction and revision functions. J. Symbolic Logic, 50:510\u2013530, 1985.","journal-title":"J. Symbolic Logic"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle. A truth maintenance system. Artificial Intelligence, 12:231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"D. Duffy, C. MacNish, J. McDermid, and P. Morris. A framework for requirements analysis using automated reasoning. In J. Evari, K. Lyytinen, and M. Rossi, editors, Advanced Information Systems Engineering: Proc. Seventh International Conference, volume LNCS-932, pages 61\u201381. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59498-1_238"},{"key":"13_CR4","unstructured":"P. G\u00e4rdenfors and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. In Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 822\u2013830, 1988."},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"A. Grove. Two modellings for theory change. Journal of Philosophical Logic, 17:157\u2013170, 1988.","journal-title":"Journal of Philosophical Logic"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In P. G\u00e4rdenfors, editor, Belief Revision, pages 183\u2013203. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"M. Osborne and C. K. MacNish. Processing natural language software requirement specifications. In Proc. ICRE'96: 2nd IEEE International Conference on Requirements Engineering, pages 229\u2013236. IEEE Press, 1996.","DOI":"10.1109\/ICRE.1996.491451"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1305\/ndjfl\/1040308831","volume":"36","author":"P. Peppas","year":"1995","unstructured":"P. Peppas and M.-A. Williams. Constructive modelings for theory change. Notre Dame Journal of Formal Logic, 36(1):120\u2013133, 1995.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"13_CR9","unstructured":"E. Williams. 1st DTI\/SERC Proteus Project Workshop: Understanding Changing Requirements. Address from industrial participants, 1993."},{"key":"13_CR10","unstructured":"M.-A. Williams. Two operators for theory bases. In Proc. Australian Joint Artificial Intelligence Conference, pages 259\u2013265. World Scientific, 1992."},{"key":"13_CR11","unstructured":"M.-A. Williams. Iterated theory base change: A computational model. In Proc. Fourteenth International Joint Conference on Artificial Intelligence, pages 1541\u20131550. Morgan Kaufmann, 1995."},{"key":"13_CR12","unstructured":"M.-A. Williams. Towards a practical approach to belief revision: Reason-based change. In Proc. Fifth International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, 1996."},{"key":"13_CR13","unstructured":"M.-A. Williams. Anytime belief revision. In Proc. Fifteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, 1997 (in press)."},{"key":"13_CR14","unstructured":"M.-A. Williams, M. Pagnucco, N. Foo, and B. Sims. Determining explanations using transmutations. In Proc. Fourteenth International Joint Conference on Artificial Intelligence, pages 822\u2013830. Morgan Kaufmann, 1995."}],"container-title":["Lecture Notes in Computer Science","Learning and Reasoning with Complex Representations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64413-X_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,13]],"date-time":"2019-02-13T22:41:47Z","timestamp":1550097707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64413-X_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644132","9783540697800"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-64413-x_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}