{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T19:48:58Z","timestamp":1784404138508,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642396168","type":"print"},{"value":"9783642396175","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39617-5_12","type":"book-chapter","created":{"date-parts":[[2013,7,4]],"date-time":"2013-07-04T04:17:56Z","timestamp":1372911476000},"page":"99-113","source":"Crossref","is-referenced-by-count":12,"title":["Picking Up the Best Goal"],"prefix":"10.1007","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Olivieri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simone","family":"Scannapieco","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matteo","family":"Cristani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M.E. Bratman","year":"1988","unstructured":"Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. Computational Intelligence\u00a04, 349\u2013355 (1988)","journal-title":"Computational Intelligence"},{"issue":"2-3","key":"12_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence\u00a042(2-3), 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"12_CR3","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) KR, pp. 473\u2013484. Kaufmann, M. (1991)"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"A.S. Rao","year":"1998","unstructured":"Rao, A.S., Georgeff, M.P.: Decision procedures for bdi logics. Journal of Logic and Computation\u00a08(3), 293\u2013342 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"12_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1007\/11591191_43","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.: Programming cognitive agents in defeasible logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.\u00a03835, pp. 621\u2013636. Springer, Heidelberg (2005)"},{"issue":"1","key":"12_CR6","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s10458-008-9030-4","volume":"17","author":"G. Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Journal of Autonomous Agents and Multi-Agent Systems\u00a017(1), 36\u201369 (2008)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/jigpal\/jzp006","volume":"17","author":"G. Governatori","year":"2009","unstructured":"Governatori, G., Padmanabhan, V., Rotolo, A., Sattar, A.: A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic Journal of the IGPL\u00a017(3), 227\u2013265 (2009)","journal-title":"Logic Journal of the IGPL"},{"key":"12_CR8","unstructured":"Thomason, R.H.: Desires and defaults: A framework for planning with inferred goals. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) KR 2000. Morgan Kaufmann (2000)"},{"issue":"3-4","key":"12_CR9","first-page":"428","volume":"2","author":"J. Broersen","year":"2002","unstructured":"Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly\u00a02(3-4), 428\u2013447 (2002)","journal-title":"Cognitive Science Quarterly"},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"193","DOI":"10.26686\/ajl.v4i0.1780","volume":"4","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic\u00a04, 193\u2013215 (2006)","journal-title":"Australasian Journal of Logic"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G. Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic\u00a02(2), 255\u2013287 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"2-3","key":"12_CR12","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G. Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems\u00a014(2-3), 181\u2013216 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"12_CR13","unstructured":"Kravari, K., Papatheodorou, C., Antoniou, G., Bassiliades, N.: Reasoning and proofing services for semantic web agents. In: Walsh, T. (ed.) IJCAI 2011, pp. 2662\u20132667 (2011)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Governatori, G., Sadiq, S.: The journey to business process compliance. In: Handbook of Research on BPM, pp. 426\u2013454. IGI Global (2008)","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-04985-9_29","volume-title":"Rule Interchange and Applications","author":"H.-P. Lam","year":"2009","unstructured":"Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol.\u00a05858, pp. 315\u2013322. Springer, Heidelberg (2009)"},{"issue":"1","key":"12_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2006010101","volume":"2","author":"N. Bassiliades","year":"2006","unstructured":"Bassiliades, N., Antoniou, G., Vlahavas, I.: A defeasible logic reasoner for the semantic web. Int. J. Semantic Web Inf. Syst.\u00a02(1), 1\u201341 (2006)","journal-title":"Int. J. Semantic Web Inf. Syst."},{"key":"12_CR17","unstructured":"Tachmazidis, I., Antoniou, G., Flouris, G., Kotoulas, S., McCluskey, L.: Large-scale parallel stratified defeasible reasoning. In: De Raedt, L., Bessi\u00e8re, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) ECAI 2012, pp. 738\u2013743. IOS Press (2012)"},{"key":"12_CR18","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: ECAI 2000, pp. 459\u2013463 (2000)"},{"issue":"6","key":"12_CR19","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068401001168","volume":"1","author":"M.J. Maher","year":"2001","unstructured":"Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming\u00a01(6), 691\u2013711 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-20895-9_17","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"H.-P. Lam","year":"2011","unstructured":"Lam, H.-P., Governatori, G.: What Are the Necessity Rules in Defeasible Reasoning? In: Delgrande, J., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 187\u2013192. Springer, Heidelberg (2011)"},{"key":"12_CR21","unstructured":"Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Computing strong and weak permissions in defeasible logic. CoRR abs\/1212.0079 (2012)"},{"key":"12_CR22","unstructured":"Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press (1987)"},{"issue":"2","key":"12_CR23","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s11229-006-9145-6","volume":"155","author":"W. Hoek van der","year":"2007","unstructured":"van der Hoek, W., Jamroga, W., Wooldridge, M.: Towards a theory of intention revision. Synthese\u00a0155(2), 265\u2013290 (2007)","journal-title":"Synthese"},{"key":"12_CR24","unstructured":"Shapiro, S., Sardina, S., Thangarajah, J., Cavedon, L., Padgham, L.: Revising conflicting intention sets in BDI agents. In: AAMAS 2012, pp. 1081\u20131088. IFAAMS (2012)"},{"key":"12_CR25","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M. (eds.) KR 2002, pp. 470\u2013481. Morgan Kaufmann (2002)"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.J.C.: Goal types in agent programming. In: Nakashima, H., Wellman, M.P., Weiss, G., Stone, P. (eds.) AAMAS, pp. 1285\u20131287. ACM (2006)","DOI":"10.1145\/1160633.1160867"},{"issue":"3","key":"12_CR27","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10458-008-9067-4","volume":"18","author":"M.B. Riemsdijk van","year":"2009","unstructured":"van Riemsdijk, M.B., Dastani, M., Meyer, J.J.C.: Goals in conflict: Semantic foundations of goals in agent programming. Journal of Autonomous Agents and Multi-Agent Systems\u00a018(3), 471\u2013500 (2009)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Theory, Practice, and Applications of Rules on the Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39617-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T06:45:11Z","timestamp":1557902711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39617-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396168","9783642396175"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39617-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}