{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:49:12Z","timestamp":1725670152293},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642291128"},{"type":"electronic","value":"9783642291135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29113-5_3","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T13:11:51Z","timestamp":1332421911000},"page":"16-32","source":"Crossref","is-referenced-by-count":1,"title":["An Integrated Formal Framework for Reasoning about Goal Interactions"],"prefix":"10.1007","author":[{"given":"Michael","family":"Winikoff","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"van Riemsdijk, M.B., Dastani, M., Winikoff, M.: Goals in agent systems: A unifying framework. In: Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 713\u2013720 (2008)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason. Wiley (2007) ISBN 0470029005","DOI":"10.1002\/9780470061848"},{"key":"3_CR3","unstructured":"Busetta, P., R\u00f6nnquist, R., Hodgson, A., Lucas, A.: JACK Intelligent Agents - Components for Intelligent Agents in Java. Technical report, Agent Oriented Software Pty. Ltd., Melbourne, Australia (1998), http:\/\/www.agent-software.com"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","volume":"16","author":"M. Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: a practical agent programming language. Autonomous Agents and Multi-Agent Systems\u00a016(3), 214\u2013248 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Thangarajah, J., Padgham, L.: Computationally effective reasoning about goal interactions. Journal of Automated Reasoning, 1\u201340 (2010)","DOI":"10.1007\/s10817-010-9175-0"},{"key":"3_CR6","unstructured":"Thangarajah, J., Winikoff, M., Padgham, L., Fischer, K.: Avoiding resource conflicts in intelligent agents. In: van Harmelen, F. (ed.) Proceedings of the 15th European Conference on Artificial Intelligence, pp. 18\u201322. IOS Press (2002)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and exploiting positive goal interaction in intelligent agents. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 401\u2013408. ACM Press (2003)","DOI":"10.1145\/860575.860640"},{"key":"3_CR8","unstructured":"Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and avoiding interference between goals in intelligent agents. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI), pp. 721\u2013726 (2003)"},{"key":"3_CR9","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-77564-5_7","volume-title":"Declarative Agent Languages and Technologies V","author":"P.H. Shaw","year":"2008","unstructured":"Shaw, P.H., Bordini, R.H.: Towards Alternative Approaches to Reasoning About Goals. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS (LNAI), vol.\u00a04897, pp. 104\u2013121. Springer, Heidelberg (2008)"},{"key":"3_CR10","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse, France, pp. 470\u2013481 (2002)"},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/s10458-010-9130-9","volume":"23","author":"S. Sardi\u00f1a","year":"2011","unstructured":"Sardi\u00f1a, S., Padgham, L.: A BDI agent programming language with failure handling, declarative goals, and planning. Autonomous Agents and Multi-Agent Systems\u00a023(1), 18\u201370 (2011)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"3_CR12","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Sardina, S., Padgham, L.: Goals in the context of BDI plan failure and planning. In: Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 16\u201323 (2007)","DOI":"10.1145\/1329125.1329134"},{"key":"3_CR14","unstructured":"Plotkin, G.: Structural operational semantics (lecture notes). Technical Report DAIMI FN-19, Aarhus University (1981(reprinted 1991))"},{"key":"3_CR15","unstructured":"Clement, B.J., Durfee, E.H.: Identifying and resolving conflicts among agents with hierarchical plans. In: AAAI Workshop on Negotiation: Settling Conflicts and Identifying Opportunities, Technical Report WS-99-12 (1999)"},{"key":"3_CR16","unstructured":"Clement, B.J., Durfee, E.H.: Theory for coordinating concurrent hierarchical planning agents using summary information. In: Proceedings of the Sixteenth National Conference on Artificial Intelligence, pp. 495\u2013502 (1999)"},{"issue":"2","key":"3_CR17","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0004-3702(01)00060-1","volume":"127","author":"J.F. Horty","year":"2001","unstructured":"Horty, J.F., Pollack, M.E.: Evaluating new options in the context of existing plans. Artificial Intelligence\u00a0127(2), 199\u2013220 (2001)","journal-title":"Artificial Intelligence"},{"key":"3_CR18","unstructured":"Thangarajah, J., Harland, J., Yorke-Smith, N.: A soft COP model for goal deliberation in a BDI agent. In: Proceedings of the Sixth International Workshop on Constraint Modelling and Reformulation, ModRef (September 2007)"},{"key":"3_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11678823_8","volume-title":"Programming Multi-Agent Systems","author":"M. Winikoff","year":"2006","unstructured":"Winikoff, M.: An AgentSpeak Meta-interpreter and Its Applications. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS (LNAI), vol.\u00a03862, pp. 123\u2013138. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29113-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:04:05Z","timestamp":1606169045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29113-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642291128","9783642291135"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29113-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}