{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:14:37Z","timestamp":1760170477410},"reference-count":61,"publisher":"Springer Science and Business Media LLC","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s10458-008-9067-4","type":"journal-article","created":{"date-parts":[[2008,10,15]],"date-time":"2008-10-15T11:50:37Z","timestamp":1224071437000},"page":"471-500","source":"Crossref","is-referenced-by-count":23,"title":["Goals in conflict: semantic foundations of goals in agent programming"],"prefix":"10.1007","volume":"18","author":[{"given":"M. Birna","family":"van Riemsdijk","sequence":"first","affiliation":[]},{"given":"Mehdi","family":"Dastani","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,10,16]]},"reference":[{"key":"9067_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5040.001.0001","volume-title":"Nonmonotonic reasoning Artificial intelligence","author":"G. Antoniou","year":"1997","unstructured":"Antoniou G. (1997) Nonmonotonic reasoning Artificial intelligence. The MIT Press, Cambridge, MA"},{"key":"9067_CR2","doi-asserted-by":"crossref","unstructured":"Besnard, P., & Hunter, A. (1995). Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information. In Symbolic and quantitative approaches to reasoning and uncertainty (pp. 44\u201351). Berlin: Springer.","DOI":"10.1007\/3-540-60112-0_6"},{"key":"9067_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/b137449","volume-title":"Multi-agent programming: Languages, platforms and applications","author":"R.H. Bordini","year":"2005","unstructured":"Bordini R.H., Dastani M., Dix J., ElFallah Seghrouchni A. (2005) Multi-agent programming: Languages, platforms and applications. Springer, Berlin"},{"key":"9067_CR4","doi-asserted-by":"crossref","unstructured":"Braubach, L., Pokahr, A., Moldt, D., & Lamersdorf, W. (2005). Goal representation for BDI agent systems. In Programming multiagent systems, second international workshop (ProMAS\u201904), volume 3346 of LNAI (pp. 44\u201365). Berlin: Springer.","DOI":"10.1007\/978-3-540-32260-3_3"},{"key":"9067_CR5","unstructured":"Brewka, G. (1991). Nonmonotonic reasoning: logical foundations of commonsense. Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press."},{"key":"9067_CR6","unstructured":"Brewka, G. (1994). Adding priorities and specificity to default logic. In Logics in artificial intelligence (JELIA\u201994), volume 838 of LNCS (pp. 247\u2013260). Berlin: Springer-Verlag."},{"key":"9067_CR7","volume-title":"Nonmonotonic reasoning: An overview","author":"G. Brewka","year":"1997","unstructured":"Brewka G., Dix J., Konolige K. (1997) Nonmonotonic reasoning: An overview. CSLI Publications, Stanford"},{"key":"9067_CR8","unstructured":"Brewka, G., & Eiter, T. (2000). Prioritizing default logic. In Intellectics and computational logic (pp. 27\u201345). Devender: Kluwer."},{"issue":"3\u20134","key":"9067_CR9","first-page":"428","volume":"2","author":"J. Broersen","year":"2002","unstructured":"Broersen J., Dastani M., Hulstijn J., van der Torre L. (2002) Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3\u20134): 428\u2013447","journal-title":"Cognitive Science Quarterly"},{"key":"9067_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic: An introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas B.F. (1980) Modal logic: An introduction. Cambridge University Press, Cambridge"},{"key":"9067_CR11","doi-asserted-by":"crossref","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. (1990) Intention is choice with commitment. Artificial Intelligence 42: 213\u2013261","journal-title":"Artificial Intelligence"},{"key":"9067_CR12","unstructured":"Dastani, M., Governatori, G., Rotolo, A., & van der Torre, L. (2005). Programming cognitive agents in defeasible logic. In Proceedings of Logic for Programming, Artificial Intelligence, and Reasoning (LPAR\u201905), volume 3835 of LNAI (pp. 621\u2013637). Berlin: Springer-Verlag."},{"key":"9067_CR13","unstructured":"Dastani, M., & van der Torre, L. (2004). Programming BOID-Plan agents: Deliberating about conflicts among defeasible mental attitudes and plans. In Proceedings of the 3rd Conference on Autonomous Agents and Multi-agent Systems (AAMAS\u201904) (pp. 706\u2013713). New York, USA."},{"key":"9067_CR14","unstructured":"Dastani, M., van Riemsdijk, M. B., Dignum, F., & Meyer, J.-J. Ch. (2004). A programming language for cognitive agents: Goal directed 3APL. In Programming multiagent systems, first international workshop (ProMAS\u201903), volume 3067 of LNAI (pp. 111\u2013130). Berlin: Springer."},{"key":"9067_CR15","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"F. Boer de","year":"2007","unstructured":"de Boer F., Hindriks K., van der Hoek W., Meyer J.-J. (2007) A Verification framework for agent programming with declarative goals. Journal of Applied Logic 5: 277\u2013302","journal-title":"Journal of Applied Logic"},{"key":"9067_CR16","unstructured":"Delgrande, J. P., & Schaub, T. (1997). Compiling reasoning with and about preferences into default logic. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI\u201997) (pp. 168\u2013175)."},{"key":"9067_CR17","doi-asserted-by":"crossref","unstructured":"Duff, S., Harland, J., & Thangarajah, J. (2006). On proactivity and maintenance goals. In Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201906) (pp. 1033\u20131040), Hakodate.","DOI":"10.1145\/1160633.1160817"},{"key":"9067_CR18","doi-asserted-by":"crossref","unstructured":"Emerson, E. A., & Srinivasan, J. (1989). Branching time temporal logic. In Linear time, branching time and partial order in logics and models for concurrency, school\/workshop (pp. 123\u2013172). London, UK: Springer-Verlag.","DOI":"10.1007\/BFb0013022"},{"key":"9067_CR19","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin R., Halpern J. (1988) Belief, awareness and limited reasoning. Artificial Intelligence 34: 39\u201376","journal-title":"Artificial Intelligence"},{"key":"9067_CR20","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-54507-7_3","volume-title":"Proceedings of Fundamentals of Artificial Intelligence Research (FAIR\u201991)","author":"D. Gabbay","year":"1991","unstructured":"Gabbay D., Hunter A. (1991) Making inconsistency respectable: A logical framework for inconsistency in reasoning. In: Jorrand P., Kelemen J. (eds) Proceedings of Fundamentals of Artificial Intelligence Research (FAIR\u201991). Springer-Verlag, Berlin, pp 19\u201332"},{"key":"9067_CR21","unstructured":"Gelfond, M., & Lifschitz, V. (1990). Logic programs with classical negation. In Logic programming (pp. 579\u2013597). Cambridge: MIT Press."},{"issue":"3\/4","key":"9067_CR22","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond M., Lifschitz V. (1991) Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3\/4): 365\u2013386","journal-title":"New Generation Computing"},{"key":"9067_CR23","first-page":"114","volume-title":"Deontic logic in computer science (DEON\u201904), volume 3065 of LNAI","author":"G. Governatori","year":"2004","unstructured":"Governatori G., Rotolo A. (2004) Defeasible logic: Agency, intention and obligation. In: Lomuscio A., Nute D. (eds) Deontic logic in computer science (DEON\u201904), volume 3065 of LNAI. Springer, Berlin, pp 114\u2013128"},{"key":"9067_CR24","doi-asserted-by":"crossref","first-page":"373","DOI":"10.2307\/2214372","volume":"3","author":"B. Hansson","year":"1969","unstructured":"Hansson B. (1969) An analysis of some deontic logics. In Nous 3: 373\u2013398","journal-title":"In Nous"},{"key":"9067_CR25","unstructured":"Harrenstein, B. P. (2004). Logic in conflict: Logical explorations in strategic equilibrium. PhD thesis."},{"key":"9067_CR26","unstructured":"Hindriks, K., & Meyer, J.-J. Ch. (2006). Agent logics as program logics: Grounding KARO. In Proceedings of the 29th German Conference on Artificial Intelligence (KI\u201906)."},{"issue":"4","key":"9067_CR27","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks K.V., de Boer F.S., van der Hoek W., Meyer J.-J.Ch. (1999) Agent programming in 3APL. International Journal of Autonomous Agents Multi-Agent Systems 2(4): 357\u2013401","journal-title":"International Journal of Autonomous Agents Multi-Agent Systems"},{"key":"9067_CR28","doi-asserted-by":"crossref","unstructured":"Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J.-J.Ch. (2001). Agent programming with declarative goals. In Intelligent Agents VI\u2014Proceedings of the 7th International Workshop on Agent Theories, Architectures, and Languages (ATAL\u20192000), Lecture Notes in AI. Berlin: Springer.","DOI":"10.1007\/3-540-44631-1_16"},{"key":"9067_CR29","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01531262","volume":"9","author":"J.F. Horty","year":"1993","unstructured":"Horty J.F. (1993) Deontic logic as founded on nonmonotonic logic. Annals of Mathematics and Artificial Intelligence (Special Issue on Deontic Logic in Computer Science) 9: 69\u201391","journal-title":"Annals of Mathematics and Artificial Intelligence (Special Issue on Deontic Logic in Computer Science)"},{"issue":"1","key":"9067_CR30","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF01417957","volume":"23","author":"J.F. Horty","year":"1994","unstructured":"Horty J.F. (1994) Moral dilemmas and nonmonotonic logic. Journal of Philosophical Logic 23(1): 35\u201365","journal-title":"Journal of Philosophical Logic"},{"key":"9067_CR31","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-94-015-8851-5_2","volume-title":"Defeasible deontic logic","author":"J.F. Horty","year":"1997","unstructured":"Horty J.F. (1997) Nonmonotonic foundations for deontic logic. In: Nute D. (eds) Defeasible deontic logic. Kluwer Academic Publishers, Dordrecht, pp 17\u201344"},{"key":"9067_CR32","doi-asserted-by":"crossref","unstructured":"H\u00fcbner, J. F., Bordini, R. H., & Wooldridge, M. (2006). Declarative goal patterns for AgentSpeak. In Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201906).","DOI":"10.1145\/1160633.1160869"},{"issue":"3","key":"9067_CR33","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone N., Pfeifer G., Faber W., Eiter T., Gottlob G., Perri S. et al (2006) The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7(3): 499\u2013562","journal-title":"ACM Transactions on Computational Logic"},{"key":"9067_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic logic: Context-dependent reasoning","author":"V. Marek","year":"1993","unstructured":"Marek V., Truszczynski M. (1993) Nonmonotonic logic: Context-dependent reasoning. Springer, Berlin"},{"key":"9067_CR35","volume-title":"Deontic logic in computer science: Normative system specification","year":"1993","unstructured":"Meyer, J.-J.C., Wieringa, R.J. (eds) (1993) Deontic logic in computer science: Normative system specification. Wiley and Sons Ltd, Chichester, UK"},{"key":"9067_CR36","doi-asserted-by":"crossref","unstructured":"Meyer, J.-J. Ch., & van der Hoek, W. (1995). Epistemic logic for AI and computer science. Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9780511569852"},{"key":"9067_CR37","doi-asserted-by":"crossref","unstructured":"Niemel\u00e4, I., & Simons, P. (1997). Smodels\u2014An implementation of the stable model and well-founded semantics for normal logic programs. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 1265 of Lecture Notes on Artificial Intelligence (pp. 420\u2013429). Berlin: Springer Verlag.","DOI":"10.1007\/3-540-63255-7_32"},{"key":"9067_CR38","first-page":"174","volume-title":"Declarative agent languages and technologies IV (DALT\u201906), volume 4327 of LNAI","author":"V. Nigam","year":"2006","unstructured":"Nigam V., Leite J. (2006) A dynamic logic programming based system for agents with declarative goals. In: Baldoni M., Endriss U. (eds) Declarative agent languages and technologies IV (DALT\u201906), volume 4327 of LNAI. Springer-Verlag, Berlin, pp 174\u2013190"},{"key":"9067_CR39","unstructured":"Nute, D. (1994). Defeasible logic. In Handbook of logic in artificial intelligence and logic programming (Vol. 3, pp. 353\u2013395). New York: Oxford University Press."},{"key":"9067_CR40","doi-asserted-by":"crossref","unstructured":"Pokahr, A., Braubach, L., & Lamersdorf, W. (2005). A goal deliberation strategy for BDI agent systems. In MATES 2005, volume 3550 of LNAI (pp. 82\u201393). Berline: Springer-Verlag.","DOI":"10.1007\/11550648_8"},{"key":"9067_CR41","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole D. (1988) A logical framework for default reasoning. Artificial Intelligence 36: 27\u201347","journal-title":"Artificial Intelligence"},{"key":"9067_CR42","unstructured":"Prakken, H. (2006). Combining sceptical epistemic reasoning with credulous practical reasoning. In Proceedings of the 1st International Conference on Computational Models of Argument (pp. 311\u2013322)."},{"key":"9067_CR43","unstructured":"Rao, A. S. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In W. van der Velde & J. Perram (Eds.), Agents breaking away (pp. 42\u201355), LNAI 1038. Berlin: Springer-Verlag."},{"key":"9067_CR44","first-page":"473","volume-title":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR\u201991)","author":"A.S. Rao","year":"1991","unstructured":"Rao A.S., Georgeff M.P. (1991) Modeling rational agents within a BDI-architecture. In: Allen J., Fikes R., Sandewall E. (eds) Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR\u201991). Morgan Kaufmann, San Francisco, pp 473\u2013484"},{"issue":"3","key":"9067_CR45","doi-asserted-by":"crossref","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. (1998) Decision procedures for BDI logics. Journal of Logic and Computation 8(3): 293","journal-title":"Journal of Logic and Computation"},{"key":"9067_CR46","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter R. (1980) A logic for default-reasoning. Artificial Intelligence 13: 81\u2013132","journal-title":"Artificial Intelligence"},{"key":"9067_CR47","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter R. (1987) A theory of diagnosis from first principles. Artificial Intelligence 32: 57\u201395","journal-title":"Artificial Intelligence"},{"key":"9067_CR48","doi-asserted-by":"crossref","unstructured":"Sardina, S., & Shapiro, S. (2003). Rational action in agent programs with prioritized goals. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201903) (pp. 417\u2013424), Melbourne.","DOI":"10.1145\/860575.860642"},{"key":"9067_CR49","unstructured":"Thangarajah, J., Padgham, L., & Winikoff, M. (2003). Detecting and avoiding interference between goals in intelligent agents. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003)."},{"key":"9067_CR50","doi-asserted-by":"crossref","unstructured":"Thangarajah, J., Padgham, L., & Winikoff, M. (2003). Detecting and exploiting positive goal interaction in intelligent agents. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201903) (pp. 401\u2013408), Melbourne.","DOI":"10.1145\/860575.860640"},{"key":"9067_CR51","volume-title":"Proceedings of the 15th European Conference on Artificial Intelligence 2002 (ECAI 2002)","author":"J. Thangarajah","year":"2002","unstructured":"Thangarajah J., Winikoff M., Padgham L., Fischer K. (2002) Avoiding resource conflicts in intelligent agents. In: van Harmelen F. (eds) Proceedings of the 15th European Conference on Artificial Intelligence 2002 (ECAI 2002). Lyon, France"},{"key":"9067_CR52","first-page":"702","volume-title":"KR2000: Principles of knowledge representation and reasoning","author":"R.H. Thomason","year":"2000","unstructured":"Thomason R.H. (2000) Desires and defaults: A framework for planning with inferred goals. In: Cohn A.G., Giunchiglia F., Selman B. (eds) KR2000: Principles of knowledge representation and reasoning. Morgan Kaufmann, San Francisco, pp 702\u2013713"},{"issue":"1","key":"9067_CR53","doi-asserted-by":"crossref","first-page":"5","DOI":"10.2307\/2024762","volume":"70","author":"B.C. Fraassen van","year":"1973","unstructured":"van Fraassen B.C. (1973) Values and the heart\u2019s command. Journal of Philosophy 70(1): 5\u201319","journal-title":"Journal of Philosophy"},{"key":"9067_CR54","unstructured":"van Riemsdijk, M. B. (2006). Cognitive agent programming: A semantic approach. PhD thesis."},{"key":"9067_CR55","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, M. B., Dastani, M., Dignum, F., & Meyer, J.-J. Ch. (2005). Dynamics of declarative goals in agent programming. In J. A. Leite, A. Omicini, P. Torroni, & P. Yolum (Eds.), Declarative agent languages and technologies II: Second international workshop (DALT\u201904), volume 3476 of LNAI pp. 1\u201318.","DOI":"10.1007\/11493402_1"},{"key":"9067_CR56","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, M. B., Dastani, M., & Meyer, J.-J. Ch. (2005). Semantics of declarative goals in agent programming. In Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201905) (pp. 133\u2013140), Utrecht.","DOI":"10.1145\/1082473.1082494"},{"key":"9067_CR57","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, M. B., Dastani, M., Meyer, J.-J. Ch., & de Boer, F. S. (2006). Goal-oriented modularity in agent programming. In Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201906) (pp. 1271\u20131278), Hakodate.","DOI":"10.1145\/1160633.1160864"},{"key":"9067_CR58","unstructured":"van Riemsdijk, M. B., Dastani, M., & Winikoff, M. (2008). Goals in agent systems: A unifying framework. In Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201908) (pp. 713\u2013720), Estoril."},{"key":"9067_CR59","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, M. B., van der Hoek, W., & Meyer, J.-J. Ch. (2003). Agent programming in Dribble: From beliefs to goals using plans. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201903) (pp. 393\u2013400), Melbourne.","DOI":"10.1145\/860575.860639"},{"key":"9067_CR60","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright von","year":"1951","unstructured":"von Wright G.H. (1951) Deontic logic. Mind 60: 1\u201315","journal-title":"Mind"},{"key":"9067_CR61","unstructured":"Winikoff, M., Padgham, L., Harland, J., & Thangarajah, J. (2002). Declarative and procedural goals in intelligent agent systems. In Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-008-9067-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T17:39:46Z","timestamp":1557855586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-008-9067-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,16]]},"references-count":61,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["9067"],"URL":"https:\/\/doi.org\/10.1007\/s10458-008-9067-4","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,16]]}}}