{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:58Z","timestamp":1725511858657},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540794875"},{"type":"electronic","value":"9783540794882"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79488-2_9","type":"book-chapter","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T15:54:46Z","timestamp":1209398086000},"page":"118-131","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning About Risk in Agent\u2019s Deliberation Process: A Jadex Implementation"],"prefix":"10.1007","author":[{"given":"Yudistira","family":"Asnar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Giorgini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Zannone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1109\/ISADS.1999.838436","volume-title":"Proceedings of the The Fourth International Symposium on Autonomous Decentralized Systems (ISADS 1999)","author":"J. Lauber","year":"1999","unstructured":"Lauber, J., Steger, C., Weiss, R.: Autonomous Agents for Online Diagnosis of a Safety-critical System Based on Probabilistic Causal Reasoning. In: Proceedings of the The Fourth International Symposium on Autonomous Decentralized Systems (ISADS 1999), Washington, DC, USA, pp. 213\u2013219. IEEE Computer Society, Los Alamitos (1999)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1145\/336595.337570","volume-title":"Proceedings of the Fourth International Conference on Autonomous Agents (AGENTS 2000)","author":"S. Kumar","year":"2000","unstructured":"Kumar, S., Cohen, P.R.: Towards a Fault-Tolerant Multi-Agent System Architecture. In: Proceedings of the Fourth International Conference on Autonomous Agents (AGENTS 2000), pp. 459\u2013466. ACM Press, New York (2000)"},{"key":"9_CR3","unstructured":"McCarthy, J.: Ascribing Mental Qualities to Machines. Technical Report Memo 326, Stanford AI Lab, Stanford (1979)"},{"key":"9_CR4","unstructured":"Rao, A.S., Georgeff, M.P.: BDI Agents: From Theory to Practice. In: Proceedings of 1st International Conference on Multi-Agent Systems (ICMAS 1995), pp. 312\u2013319 (1995)"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-Oriented Programming. Artificial Intelligence\u00a060(1), 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"9_CR6","unstructured":"Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press (1987)"},{"key":"9_CR7","first-page":"473","volume-title":"Proceedings of 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991)","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling Rational Agents within a BDI-Architecture. In: Proceedings of 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473\u2013484. Morgan Kaufmann publishers Inc, San Francisco (1991)"},{"key":"9_CR8","volume-title":"Proceedings of the 5th International Conference on Autonomous Agents (AGENTS 2001)","author":"N. Howden","year":"2001","unstructured":"Howden, N., Ronnquist, R., Hodgson, A., Lucas, A.: JACK Intelligent Agents-Summary of an Agent Infrastructure. In: Proceedings of the 5th International Conference on Autonomous Agents (AGENTS 2001), ACM Press, New York (2001)"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/0-387-26350-0_6","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"A. Pokahr","year":"2005","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI Reasoning Engine. In: Multi-Agent Programming: Languages, Platforms and Applications, pp. 149\u2013174. Springer Science, Business Media Inc. (2005)"},{"key":"9_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11750734_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: BDI Agent Programming in AgentSpeak Using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900, pp. 143\u2013164. Springer, Heidelberg (2006)"},{"key":"9_CR11","unstructured":"COSO: Enterprise Risk Management - Integrated Framework. Committee of Sponsoring Organizations of the Treadway Commission (September 2004)"},{"key":"9_CR12","volume-title":"Reasoning About Uncertainty","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y.: Reasoning About Uncertainty. MIT Press, Cambridge (2003)"},{"key":"9_CR13","volume-title":"Markov Decision Processes","author":"D.J. White","year":"1993","unstructured":"White, D.J.: Markov Decision Processes. John Wiley & Sons, Chichester (1993)"},{"key":"9_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11691792_2","volume-title":"Declarative Agent Languages and Technologies III","author":"J. Kwisthout","year":"2006","unstructured":"Kwisthout, J., Dastani, M.: Modelling Uncertainty in Agent Programming. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"9_CR15","unstructured":"Asnar, Y., Giorgini, P., Mylopoulos, J.: Risk Modelling and Reasoning in Goal Models. Technical Report DIT-06-008, DIT - University of Trento (February 2006)"},{"issue":"2","key":"9_CR16","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.engappai.2004.11.017","volume":"18","author":"P. Giorgini","year":"2005","unstructured":"Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology. Engineering Applications of Artificial Intelligence\u00a018(2), 159\u2013171 (2005)","journal-title":"Engineering Applications of Artificial Intelligence"},{"issue":"1","key":"9_CR17","first-page":"5","volume":"20","author":"M.S. Feather","year":"2005","unstructured":"Feather, M.S., Cornford, S.L., Hicks, K.A., Johnson, K.R.: Applications of tool support for risk-informed requirements reasoning. Computer Systems Science & Engineering\u00a020(1), 5\u201317 (2005)","journal-title":"Computer Systems Science & Engineering"},{"key":"9_CR18","first-page":"1","volume":"2","author":"W.R. Dufrene Jr.","year":"2004","unstructured":"Dufrene Jr., W.R.: Approach for Autonomous Control of Unmanned Aerial Vehicle Using Intelligent Agents for Knowledge Creation. Proceedings of The 23rd Conference on Digital Avionics Systems Conference (DASC 2004)\u00a02, 1\u20139 (2004)","journal-title":"Proceedings of The 23rd Conference on Digital Avionics Systems Conference (DASC 2004)"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1082473.1082799","volume-title":"Proceedings of 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005)","author":"S. Karim","year":"2005","unstructured":"Karim, S., Heinze, C.: Experiences with the Design and Implementation of an Agent-Based Autonomous UAV Controller. In: Proceedings of 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), pp. 19\u201326. ACM Press, New York (2005)"},{"key":"9_CR20","first-page":"2615","volume":"5","author":"P. Wallis","year":"2002","unstructured":"Wallis, P., Ronnquist, R., Jarvis, D., Lucas, A.: The Automated Wingman - Using JACK Intelligent Agents for Unmanned Autonomous Vehicles. Proceedings of IEEE Aerospace Conference\u00a05, 2615\u20132622 (2002)","journal-title":"Proceedings of IEEE Aerospace Conference"},{"issue":"3","key":"9_CR21","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., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agents and Multi-Agent Systems\u00a08(3), 203\u2013236 (2004)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/11962977_5","volume-title":"Critical Information Infrastructures Security","author":"Y. Asnar","year":"2006","unstructured":"Asnar, Y., Giorgini, P.: Modelling Risk and Identifying Countermeasures in Organizations. In: L\u00f3pez, J. (ed.) CRITIS 2006. LNCS, vol.\u00a04347, pp. 55\u201366. Springer, Heidelberg (2006)"},{"key":"9_CR23","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G. Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Formal Reasoning Techniques for Goal Models. Journal of Data Semantics (October 2003)","DOI":"10.1007\/978-3-540-39733-5_1"},{"key":"9_CR25","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511813597","volume-title":"Probabilistic Risk Analysis: Foundations and Methods","author":"T. Bedford","year":"2001","unstructured":"Bedford, T., Cooke, R.: Probabilistic Risk Analysis: Foundations and Methods. Cambridge University Press, Cambridge (2001)"},{"key":"9_CR26","unstructured":"Stamatelatos, M., Vesely, W., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA (2002)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","first-page":"20","volume-title":"Advanced Information Systems Engineering","author":"R. Sebastiani","year":"2004","unstructured":"Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and Minimum-Cost Satisfiability for Goal Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 20\u201333. Springer, Heidelberg (2004)"},{"key":"9_CR28","first-page":"677","volume-title":"Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 1987)","author":"M. Georgeff","year":"1987","unstructured":"Georgeff, M., Lansky, A.: Reactive Reasoning and Planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 1987), Seattle, WA, pp. 677\u2013682. Morgan Kaufmann, San Francisco (1987)"},{"key":"9_CR29","series-title":"Lecture Notes in Artificial Intelligence","first-page":"9","volume-title":"Programming Multi-Agent Systems","author":"L. Braubach","year":"2005","unstructured":"Braubach, L., Pokahr, A., Lamersdorf, W., Moldt, D.: Goal Representation for BDI Agent Systems. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) PROMAS 2004. LNCS (LNAI), vol.\u00a03346, pp. 9\u201320. Springer, Heidelberg (2005)"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1109\/ISSNIP.2004.1417508","volume-title":"Proceedings of the 2004 of Intelligent Sensors, Sensor Networks and Information Processing Conference (ISSNIP 2004)","author":"S. Karim","year":"2004","unstructured":"Karim, S., Heinze, C., Dunn, S.: Agent-Based Mission Management for a UAV. In: Proceedings of the 2004 of Intelligent Sensors, Sensor Networks and Information Processing Conference (ISSNIP 2004), pp. 481\u2013486. IEEE Press, Los Alamitos (2004)"},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1145\/1160633.1160818","volume-title":"Proceedings of 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006)","author":"G.I. Simari","year":"2006","unstructured":"Simari, G.I., Parsons, S.: On the Relationship between MDPs and the BDI Architecture. In: Proceedings of 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pp. 1041\u20131048. ACM Press, New York (2006)"},{"key":"9_CR32","first-page":"1072","volume-title":"Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC 2006)","author":"B. Vidolov","year":"2005","unstructured":"Vidolov, B., De Miras, J., Bonnet, S.: AURYON - A Mechatronic UAV Project Focus on Control Experimentations. In: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC 2006), Washington, DC, USA, vol.\u00a01, pp. 1072\u20131078. IEEE Computer Society Press, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering VIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79488-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,9]],"date-time":"2021-09-09T01:52:35Z","timestamp":1631152355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79488-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540794875","9783540794882"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79488-2_9","relation":{},"subject":[]}}