{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:08:53Z","timestamp":1736572133039,"version":"3.32.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767138_32","type":"book-chapter","created":{"date-parts":[[2006,7,28]],"date-time":"2006-07-28T10:32:54Z","timestamp":1154082774000},"page":"480-494","source":"Crossref","is-referenced-by-count":8,"title":["Modeling Mental States in Agent-Oriented Requirements Engineering"],"prefix":"10.1007","author":[{"given":"Alexei","family":"Lapouchnian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"32_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0306-4379(02)00012-1","volume":"27","author":"J. Castro","year":"2002","unstructured":"Castro, J., Kolp, M., Mylopoulos, J.: Towards Requirements-Driven Information Systems Engineering: The Tropos Project. Information Systems\u00a027(6), 365\u2013389 (2002)","journal-title":"Information Systems"},{"key":"32_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-Functional Requirements in Software Engineering","author":"L.K. Chung","year":"2000","unstructured":"Chung, L.K., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer, Dordrecht (2000)"},{"key":"32_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-Directed Requirements Acquisitions. Science of Computer Programming\u00a020, 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"32_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.: ConGolog, A Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence\u00a0121, 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"32_CR5","first-page":"132","volume":"9","author":"A. Fuxman","year":"2004","unstructured":"Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and Analyzing Early Requirements in Tropos. RE Journal\u00a09(2), 132\u2013150 (2004)","journal-title":"RE Journal"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Gans, G., Jarke, M., Kethers, S., Lakemeyer, G., Ellrich, L., Funken, C., Meister, M.: Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach. In: Proc. RE 2001, pp. 154\u2013163 (2001)","DOI":"10.1109\/ISRE.2001.948555"},{"key":"32_CR7","unstructured":"Lapouchnian, A.: Modeling Mental States in Requirements Engineering \u2013 An Agent-Oriented Framework Based on i* and CASL. M.Sc. Thesis. Department of Computer Science, York University, Toronto (2004)"},{"key":"32_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-45448-9_6","volume-title":"Intelligent Agents VIII","author":"Y. Lesp\u00e9rance","year":"2002","unstructured":"Lesp\u00e9rance, Y.: On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 69\u201385. Springer, Heidelberg (2002)"},{"key":"32_CR9","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some Philosophical Problems From the Standpoint of Artificial Intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"32_CR10","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"Reiter, R.: The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359\u2013380. Academic Press, London (1991)"},{"key":"32_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"issue":"1-2","key":"32_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R.B. Scherl","year":"2003","unstructured":"Scherl, R.B., Levesque, H.: Knowledge, Action, and the Frame Problem. Artificial Intelligence\u00a0144(1-2), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"key":"32_CR13","unstructured":"Shapiro, S.: Specifying and Verifying Multiagent Systems Using CASL. Ph.D. Thesis. Department of Computer Science, University of Toronto (2004)"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-44631-1_17","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"S. Shapiro","year":"2001","unstructured":"Shapiro, S.: Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS, vol.\u00a01986, pp. 244\u2013259. Springer, Heidelberg (2001)"},{"key":"32_CR15","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/544741.544746","volume-title":"Proc. AAMAS 2002","author":"S. Shapiro","year":"2002","unstructured":"Shapiro, S., Lesp\u00e9rance, Y., Levesque, H.: The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems. In: Proc. AAMAS 2002, Bologna, Italy, pp. 19\u201326. ACM Press, New York (2002)"},{"key":"32_CR16","unstructured":"Shapiro, S., Pagnucco, M., Lesp\u00e9rance, Y., Levesque, H.: Iterated Belief Change in the Situation Calculus. In: Proc. KR 2000, pp. 527\u2013538 (2000)"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A., Darimont, R., Massonet, P.: Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt. In: Proc. RE 1995, York, UK, pp. 194\u2013203 (1995)","DOI":"10.1109\/ISRE.1995.512561"},{"issue":"9-10","key":"32_CR18","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1080\/08839510490514832","volume":"18","author":"S. Otterloo van","year":"2004","unstructured":"van Otterloo, S., van der Hoek, W., Wooldrige, M.: Model Checking a Knowledge Ex-change Scenario. Applied Artificial Intelligence\u00a018(9-10), 937\u2013952 (2004)","journal-title":"Applied Artificial Intelligence"},{"key":"32_CR19","unstructured":"Wang, X., Lesp\u00e9rance, Y.: Agent-Oriented Requirements Engineering Using ConGolog and i*. In: Proc. AOIS 2001, pp. 59\u201378 (2001)"},{"issue":"1","key":"32_CR20","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1049\/ip-sen:19971026","volume":"144","author":"M. Wooldridge","year":"1997","unstructured":"Wooldridge, M.: Agent-Based Software Engineering. IEE Proceedings on Software Engineering\u00a0144(1), 26\u201337 (1997)","journal-title":"IEE Proceedings on Software Engineering"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"Yu, E.: Towards modeling and reasoning support for early requirements engineering. In: Proc. RE 1997, Annapolis, USA, pp. 226\u2013235 (1997)","DOI":"10.1109\/ISRE.1997.566873"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767138_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T04:11:32Z","timestamp":1736482292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767138_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783319981765","9783319981772"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11767138_32","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2006]]}}}