{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T12:42:20Z","timestamp":1782996140757,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540442776","type":"print"},{"value":"9783540458166","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45816-6_22","type":"book-chapter","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T19:25:42Z","timestamp":1180812342000},"page":"167-181","source":"Crossref","is-referenced-by-count":101,"title":["Reasoning with Goal Models"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Giorgini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eleonora","family":"Nicchiarelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto","family":"Sebastiani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,9,26]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"A. Bundy, F. Giunchiglia, R. Sebastiani, and T. Walsh. Calculating Criticalities. Artificial Intelligence, 88(1\u20132), December 1996.","DOI":"10.1016\/S0004-3702(96)00019-7"},{"issue":"1\u20132","key":"22_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1\u20132):3\u201350, 1993.","journal-title":"Science of Computer Programming"},{"key":"22_CR3","unstructured":"R. Jarvis, G. McArthur, J. Mylopoulos, P. Rodriguez-Gianolli, and S. Zhou. Semantic Models for Knowledge Management. In Proc. of the Second International Conference on Web Information Systems Engineering (WISE\u201901), 2001."},{"issue":"18","key":"22_CR4","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1109\/32.142871","volume":"6","author":"J. Mylopoulos","year":"1992","unstructured":"J. Mylopoulos, L. Chung, and B. Nixon. Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE Transactions on Software Engineering, 6(18):483\u2013497, June 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"A. Newell and H. Simon. GPS: A Program that Simulates Human Thought. In E. Feigenbaum and J. Feldman, editors, Computers and Thought. McGraw Hill.","DOI":"10.1016\/B978-1-4832-1446-7.50040-6"},{"key":"22_CR6","unstructured":"N. Nilsson. Problem Solving Methods in Artificial Intelligence. McGraw Hill, 1971."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"G. Shafer. A Mathematical Theory of Evidence. Princeton University Press., 1976.","DOI":"10.1515\/9780691214696"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling \u2014 ER 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45816-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T00:30:01Z","timestamp":1683851401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45816-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442776","9783540458166"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45816-6_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}