{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:18:55Z","timestamp":1725477535156},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540689591"},{"type":"electronic","value":"9783540689614"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11961536_12","type":"book-chapter","created":{"date-parts":[[2007,1,19]],"date-time":"2007-01-19T08:09:10Z","timestamp":1169194150000},"page":"174-190","source":"Crossref","is-referenced-by-count":9,"title":["A Dynamic Logic Programming Based System for Agents with Declarative Goals"],"prefix":"10.1007","author":[{"given":"Vivek","family":"Nigam","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica\u00a079(1) (2005)","DOI":"10.1007\/s11225-005-0492-y"},{"issue":"1\u20133","key":"12_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming\u00a045(1\u20133), 43\u201370 (2000)","journal-title":"Journal of Logic Programming"},{"key":"12_CR3","unstructured":"Bacchus, F., Grove, A.J.: Utility independence in a qualitative decision theory. In: KR, pp. 542\u2013552 (1996)"},{"key":"12_CR4","unstructured":"Bratman, M.: Intentions, Plans and Practical Reason. Harvard University Press (1987)"},{"key":"12_CR5","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications, ch. 2","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.Ch.: Programming multi-agent systems in 3APL. In: Multi-Agent Programming: Languages, Platforms and Applications, ch. 2. Springer, Heidelberg (2005)"},{"key":"12_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BFb0026762","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"F. Dignum","year":"1998","unstructured":"Dignum, F., Conte, R.: Intentional agents and goal formation. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol.\u00a01365, pp. 231\u2013243. Springer, Heidelberg (1998)"},{"key":"12_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-44631-1_16","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"K.V. Hindriks","year":"2001","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyar, J.-J.C.: Agent programming with declarative goals. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, pp. 228\u2013243. Springer, Heidelberg (2001)"},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1080\/088395100117106","volume":"14","author":"N.R. Jennings","year":"2000","unstructured":"Jennings, N.R., Norman, T.J., Faratin, P., O\u2019Brien, P., Odgers, B.: Autonomous agents for business process management. Applied Artificial Intelligence\u00a014(2), 145\u2013189 (2000)","journal-title":"Applied Artificial Intelligence"},{"key":"12_CR9","volume-title":"Evolving Knowledge Bases","author":"J. Leite","year":"2003","unstructured":"Leite, J.: Evolving Knowledge Bases. IOS press, Amsterdam (2003)"},{"key":"12_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-540-30498-2_38","volume-title":"Advances in Artificial Intelligence \u2013 IBERAMIA 2004","author":"J. Leite","year":"2004","unstructured":"Leite, J.: On some differences between semantics of logic program updates. In: Lema\u00eetre, C., Reyes, C.A., Gonz\u00e1lez, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol.\u00a03315, pp. 375\u2013385. Springer, Heidelberg (2004)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/3-540-45329-6_28","volume-title":"Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving","author":"J. Leite","year":"2001","unstructured":"Leite, J., Alferes, J.J., Pereira, L.M.: On the use of multi-dimensional dynamic logic programming to represent societal agents\u2019 viewpoints. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS, vol.\u00a02258, pp. 276\u2013289. Springer, Heidelberg (2001)"},{"key":"12_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-45448-9_11","volume-title":"Intelligent Agents VIII","author":"J. Leite","year":"2002","unstructured":"Leite, J., Alferes, J.J., Moniz Pereira, L.: \n                    \n                      \n                    \n                    $\\mathcal{MINERVA}$\n                   - A dynamic logic programming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, p. 141. Springer, Heidelberg (2002)"},{"key":"12_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BFb0054796","volume-title":"Logic Programming and Knowledge Representation","author":"J. Leite","year":"1998","unstructured":"Leite, J., Pereira, L.M.: Generalizing updates: From models to programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol.\u00a01471, pp. 224\u2013246. Springer, Heidelberg (1998)"},{"key":"12_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-540-25932-9_8","volume-title":"Declarative Agent Languages and Technologies","author":"\u00c1.F.. Moreira","year":"2004","unstructured":"Moreira, \u00c1.F., Vieira, R., Bordini, R.H.: Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 135\u2013154. Springer, Heidelberg (2004)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71956-4_10","volume-title":"Programming Multi-Agent Systems","author":"V. Nigam","year":"2007","unstructured":"Nigam, V., Leite, J.: Incorporating knowledge updates in 3apl. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2006. LNCS, vol.\u00a04411. Springer, Heidelberg (2007)"},{"key":"12_CR16","first-page":"721","volume-title":"IJCAI 2003","author":"J. Thangarajah","year":"2003","unstructured":"Thangarajah, J., Padgham, L., Winikoff, M.: Detecting & avoiding interference between goals in intelligent agents. In: IJCAI 2003, pp. 721\u2013726. Morgan Kaufmann, San Francisco (2003)"},{"key":"12_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11493402_1","volume-title":"Declarative Agent Languages and Technologies II","author":"M.B. Riemsdijk van","year":"2005","unstructured":"van Riemsdijk, M.B., Dastani, M., Dignum, F.P.M., Meyer, J.-J.C.: Dynamics of declarative goals in agent programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 1\u201318. Springer, Heidelberg (2005)"},{"key":"12_CR18","volume-title":"AAMAS 2005","author":"M.B. Riemsdijk van","year":"2005","unstructured":"van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.Ch.: Semantics of declarative goals in agent programming. In: AAMAS 2005. ACM Press, New York (2005)"},{"key":"12_CR19","volume-title":"KR 2002","author":"M. Winikoff","year":"2002","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: KR 2002. Morgan Kaufmann, San Francisco (2002)"},{"key":"12_CR20","volume-title":"Multi-agent systems : An introduction","author":"M. Wooldridge","year":"2001","unstructured":"Wooldridge, M.: Multi-agent systems: an introduction. Wiley, Chichester (2001)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11961536_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:22:12Z","timestamp":1619508132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11961536_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540689591","9783540689614"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11961536_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}