{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:01:33Z","timestamp":1725566493893},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_5","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T22:13:58Z","timestamp":1285020838000},"page":"41-51","source":"Crossref","is-referenced-by-count":5,"title":["Reasoning About Requirements Evolution Using Clustered Belief Revision"],"prefix":"10.1007","author":[{"given":"Odinaldo","family":"Rodrigues","sequence":"first","affiliation":[]},{"given":"Artur d\u2019Avila","family":"Garcez","sequence":"additional","affiliation":[]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"C.A. Alchourr\u00f3n","year":"1982","unstructured":"Alchourr\u00f3n, C.A., Makinson, D.: On the logic of theory change: Contraction functions and their associated revision functions. Theoria\u00a048, 14\u201337 (1982)","journal-title":"Theoria"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1023\/A:1014606325783","volume":"70","author":"S. Benferhat","year":"2002","unstructured":"Benferhat, S., Garcia, L.: Handling Locally Stratified Inconsistent Knowledge Bases. Studia Logica\u00a070, 77\u2013104 (2002)","journal-title":"Studia Logica"},{"issue":"4","key":"5_CR3","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C.A. Costa da","year":"1974","unstructured":"da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic\u00a015(4), 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","first-page":"68","volume-title":"Advanced Information Systems Engineering","author":"D. Duffy","year":"1995","unstructured":"Duffy, D., et al.: A Framework for Requirements Analysis Using Automated Reasoning. In: Iivari, J., Rossi, M., Lyytinen, K. (eds.) CAiSE 1995. LNCS, vol.\u00a0932, pp. 68\u201381. Springer, Heidelberg (1995)"},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1049\/sej.1996.0004","volume":"11","author":"S. Easterbrook","year":"1996","unstructured":"Easterbrook, S., Nuseibeh, B.: Using View Points for Inconsistency Management. Software Engineering Journal\u00a011(1), 31\u201343 (1996)","journal-title":"Software Engineering Journal"},{"issue":"8","key":"5_CR6","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A. Finkelstein","year":"1994","unstructured":"Finkelstein, A., et al.: Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering\u00a020(8), 569\u2013578 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR7","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. The MIT Press, Cambridge (1988)"},{"key":"5_CR8","series-title":"TARK II","first-page":"83","volume-title":"Revisions of knowledge systems using epistemic entrenchment","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P., Makinson, D.: Revisions of knowledge systems using epistemic entrenchment. TARK II, pp. 83\u201395. Morgan Kaufmann, San Francisco (1988)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C., Bharadwaj, R.: Applying the SCR Requirements Method to the Light Control Case Study. Journal of Universal Computer Science\u00a06(7) (2000)","DOI":"10.21236\/ADA463943"},{"key":"5_CR10","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"M.R. Huth","year":"2000","unstructured":"Huth, M.R., Ryan, M.D.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2000)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Nebel, B.: Syntax based approaches to belief revision. Belief Revision, 52\u201388 (1992)","DOI":"10.1017\/CBO9780511526664.003"},{"issue":"10","key":"5_CR12","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1109\/32.328995","volume":"20","author":"B. Nuseibeh","year":"1994","unstructured":"Nuseibeh, B., Kramer, J., Finkelstein, A.: A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. IEEE Transactions on Software Engineering\u00a020(10), 760\u2013773 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR13","unstructured":"Queins, S., et al.: The Light Control Case Study: Problem Description. Journal of Universal Computer Science, Special Issue on Requirements Engineering: the Light Control Case Study\u00a06(7) (2000)"},{"key":"5_CR14","unstructured":"Rodrigues, O.: A methodology for iterated information change. PhD thesis, Department of Computing, Imperial College (January 1998)"},{"issue":"1","key":"5_CR15","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1093\/logcom\/13.1.69","volume":"13","author":"O. Rodrigues","year":"2003","unstructured":"Rodrigues, O.: Structured Clusters: A Framework to Reason with Contradictory Interests. Journal of Logic and Computation\u00a013(1), 69\u201397 (2003)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR16","unstructured":"Ryan, M.D.: Default in Specification. In: IEEE International Symposium on Requirements Engineering (RE 1993), San Diego, California, January 1993, pp. 266\u2013272 (1993)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., Zisman, A.: Inconsistency Management in Software Engineering: Survey and Open Research Issues. In: Chang, S.K. (ed.) Handbook of Softawre Engineering and Knowledge Engineering, pp. 329\u2013380 (2001)","DOI":"10.1142\/9789812389718_0015"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Zowghi, D., Offen, R.: A Logical Framework for Modeling and Reasoning about the Evolution of Requirements. In: Proc. 3rd IEEE International Symposium on Requirements Engineering RE 1997, Annapolis, USA (January 1997)","DOI":"10.1109\/ISRE.1997.566875"}],"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_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:27:12Z","timestamp":1605760032000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28645-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232377","9783540286455"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28645-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}