{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:00:45Z","timestamp":1725472845529},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540482918"},{"type":"electronic","value":"9783540482925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11916291_4","type":"book-chapter","created":{"date-parts":[[2006,11,21]],"date-time":"2006-11-21T12:54:00Z","timestamp":1164113640000},"page":"48-63","source":"Crossref","is-referenced-by-count":1,"title":["Requirements Analysis of an Agent\u2019s Reasoning Capability"],"prefix":"10.1007","author":[{"given":"Tibor","family":"Bosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","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 Acquisition. Science in Computer Programming\u00a020, 3\u201350 (1993)","journal-title":"Science in Computer Programming"},{"key":"4_CR2","volume-title":"Requirements Engineering: Processes and Techniques","author":"G. Kontonya","year":"1998","unstructured":"Kontonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York (1998)"},{"key":"4_CR3","volume-title":"Requirements Engineering: a good practice guide","author":"I. Sommerville","year":"1997","unstructured":"Sommerville, I., Sawyer, P.: Requirements Engineering: a good practice guide. John Wiley & Sons, Chichester (1997)"},{"key":"4_CR4","unstructured":"Dubois, E., Du Bois, P., Zeippen, J.M.: A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems. In: Proceedings of the Real-Time Systems Conference, RTS 1995 (1995)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48437-X_2","volume-title":"Multi-Agent System Engineering","author":"D.E. Herlea","year":"1999","unstructured":"Herlea, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.E.: Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol.\u00a01647, pp. 8\u201327. Springer, Heidelberg (1999)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1002\/int.10043","volume":"17","author":"J. Treur","year":"2002","unstructured":"Treur, J.: Semantic Formalisation of Interactive Reasoning Functionality. International Journal of Intelligent Systems\u00a017, 645\u2013686 (2002)","journal-title":"International Journal of Intelligent Systems"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0169-023X(01)00045-3","volume":"40","author":"N.E.M. Leemans","year":"2002","unstructured":"Leemans, N.E.M., Treur, J., Willems, M.: A Semantical Perspective on Verification of Knowledge. Data and Knowledge Engineering\u00a040, 33\u201370 (2002)","journal-title":"Data and Knowledge Engineering"},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1080\/11663081.1995.10510858","volume":"5","author":"J. Engelfriet","year":"1995","unstructured":"Engelfriet, J., Treur, J.: Temporal Theories of Reasoning. Journal of Applied Non-Classical Logics\u00a05, 239\u2013261 (1995)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"4_CR9","series-title":"Series in Defeasible Reasoning and Uncertainty Management Systems (Gabbay, D., Smets, Ph., series eds.)","volume-title":"Dynamics and Management of Reasoning Processes","year":"2001","unstructured":"Meyer, J.-J.C., Treur, J. (eds.): Dynamics and Management of Reasoning Processes. Series in Defeasible Reasoning and Uncertainty Management Systems (Gabbay, D., Smets, Ph., series eds.). Kluwer Acad. Publishers, Dordrecht (2001)"},{"key":"4_CR10","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press Ltd. and John Wiley & Sons (1996)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/11550648_15","volume-title":"Multiagent System Technologies","author":"T. Bosse","year":"2005","unstructured":"Bosse, T., Jonker, C.M., van der Meij, L., Treur, J.: LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn. In: Eymann, T., Kl\u00fcgl, F., Lamersdorf, W., Klusch, M., Huhns, M.N. (eds.) MATES 2005. LNCS (LNAI), vol.\u00a03550, pp. 165\u2013178. Springer, Heidelberg (2005)"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1207\/s15516709cog0000_51","volume":"30","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Jonker, C.M., Treur, J.: Formalization and Analysis of Reasoning by Assumption. Cognitive Science Journal\u00a030(1), 147\u2013180 (2006)","journal-title":"Cognitive Science Journal"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S1389-0417(02)00102-X","volume":"4","author":"C.M. Jonker","year":"2003","unstructured":"Jonker, C.M., Treur, J.: Modelling the Dynamics of Reasoning Processes: Reasoning by Assumption. Cognitive Systems Research Journal\u00a04, 119\u2013136 (2003)","journal-title":"Cognitive Systems Research Journal"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0169-023X(01)00058-1","volume":"41","author":"F.M.T. Brazier","year":"2002","unstructured":"Brazier, F.M.T., Jonker, C.M., Treur, J.: Principles of Component-Based Design of Intelligent Agents. Data and Knowledge Engineering\u00a041, 1\u201328 (2002)","journal-title":"Data and Knowledge Engineering"},{"key":"4_CR15","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)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S. H\u00f6lldobler","year":"1990","unstructured":"H\u00f6lldobler, S., Thielscher, M.: A new deductive approach to planning. New Generation Computing\u00a08, 225\u2013244 (1990)","journal-title":"New Generation Computing"},{"key":"4_CR18","volume-title":"Software Requirements: Objects, Functions, and States","author":"A.M. Davis","year":"1993","unstructured":"Davis, A.M.: Software Requirements: Objects, Functions, and States. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11767954_4","volume-title":"Coordination Models and Languages","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Hoogendoorn, M., Treur, J.: Automated Evaluation of Coordination Approaches. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 44\u201362. Springer, Heidelberg (2006)"},{"key":"4_CR20","first-page":"293","volume-title":"Proceedings of the 16th European Conference on Artificial Intelligence, ECAI 2004","author":"T. Bosse","year":"2004","unstructured":"Bosse, T., Jonker, C.M., Treur, J.: Analysis of Design Process Dynamics. In: Lopez de Mantaras, R., Saitta, L. (eds.) Proceedings of the 16th European Conference on Artificial Intelligence, ECAI 2004, pp. 293\u2013297. IOS Press, Amsterdam (2004)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Brazier, F.M.T., van Langen, P.H.G., Treur, J.: Strategic knowledge in design: a compositional approach. In: Hori, K. (ed.) Knowledge-Based Systems; Special Issue on Strategic Knowledge and Concept Formation\u00a011(7\u20138), 405\u2013416 (1998)","DOI":"10.1016\/S0950-7051(98)00074-4"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agent and Multi-Agent Systems\u00a08, 203\u2013236 (2004)","journal-title":"Journal of Autonomous Agent and Multi-Agent Systems"},{"key":"4_CR23","unstructured":"Darimont, R., Delor, E., Massonet, P., van Lamsweerde, A.: GRAIL\/KAOS: An Environment for Goal-Driven Requirements Engineering. In: Proc. ICSE 1998 - 20th International Conference on Software Engineering, Kyoto, vol.\u00a02, pp. 58\u201362 (1998)"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1109\/ICRE.1996.491438","volume-title":"Proc. of the International Conference on Requirements Engineering (ICRE 1996)","author":"A.I. Ant\u00f3n","year":"1996","unstructured":"Ant\u00f3n, A.I.: Goal-based Requirements Analysis. In: Proc. of the International Conference on Requirements Engineering (ICRE 1996), pp. 136\u2013144. IEEE Computer Soc. Press, Colorado Springs (1996)"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Information Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11916291_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:58:28Z","timestamp":1605643108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11916291_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540482918","9783540482925"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11916291_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}