{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:15:18Z","timestamp":1740287718622,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T00:00:00Z","timestamp":1279670400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1007\/s11229-010-9735-1","type":"journal-article","created":{"date-parts":[[2010,7,20]],"date-time":"2010-07-20T04:54:30Z","timestamp":1279601670000},"page":"39-62","source":"Crossref","is-referenced-by-count":8,"title":["Postulates for revising BDI structures"],"prefix":"10.1007","volume":"175","author":[{"given":"John","family":"Grant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarit","family":"Kraus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donald","family":"Perlis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,7,21]]},"reference":[{"key":"9735_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourron","year":"1985","unstructured":"Alchourron C. E., G\u00e4rdenfors P., Makinson D. (1985) On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50: 510\u2013530","journal-title":"Journal of Symbolic Logic"},{"issue":"1\u20132","key":"9735_CR2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/j.artint.2005.01.005","volume":"164","author":"C. Baral","year":"2005","unstructured":"Baral C., Zhang Y. (2005) Knowledge updates: Semantics and complexity issues. Artificial Intelligence 164(1\u20132): 209\u2013243","journal-title":"Artificial Intelligence"},{"key":"9735_CR3","volume-title":"Programming multi-agent systems in AgentSpeak using Jason","author":"R. Bordini","year":"2007","unstructured":"Bordini R., H\u00fcbner J. F., Wooldridge M. (2007) Programming multi-agent systems in AgentSpeak using Jason. Wiley, Chichester"},{"key":"9735_CR4","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"},{"issue":"1\u20132","key":"9735_CR5","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.artint.2005.01.006","volume":"164","author":"P. E. Dunne","year":"2005","unstructured":"Dunne P. E., Wooldridge M., Laurence M. (2005) The complexity of contract negotiation. Artificial Intelligence 164(1\u20132): 23\u201346","journal-title":"Artificial Intelligence"},{"key":"9735_CR6","volume-title":"Knowledge in flux","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P. (1988) Knowledge in flux. The MIT Press, Cambridge, MA"},{"key":"9735_CR7","volume-title":"Logical foundations of artificial intelligence","author":"M. R. Genesereth","year":"1987","unstructured":"Genesereth M. R., Nilsson N. (1987) Logical foundations of artificial intelligence. Morgan Kaufmann Publishers, San Mateo, CA"},{"key":"9735_CR8","unstructured":"Georgeff, M. P., & Lansky, A. L. (1987). Reactive reasoning and planning. In Proceedings of the sixth national conference on artificial intelligence (AAAI-87) (pp. 677\u2013682). Seattle, WA."},{"key":"9735_CR9","unstructured":"Georgeff, M. P., & Rao, A. S. (1995). The semantics of intention maintenance for rational agents. In Proceedings of the fourteenth international joint conference on artificial intelligence (IJCAI-95) (pp. 704\u2013710). Montr\u00e8al, Qu\u00e8bec, Canada."},{"key":"9735_CR10","doi-asserted-by":"crossref","unstructured":"Huber, M. (1999). JAM: A BDI-theoretic mobile agent architecture. In Proceedings of the third international conference on autonomous agents (Agents 99) (pp. 236\u2013243). Seattle, WA.","DOI":"10.1145\/301136.301202"},{"key":"9735_CR11","volume-title":"A deduction model of belief","author":"K. Konolige","year":"1986","unstructured":"Konolige K. (1986) A deduction model of belief. Pitman Publishing: London and Morgan Kaufmann, San Mateo, CA"},{"key":"9735_CR12","doi-asserted-by":"crossref","first-page":"77","DOI":"10.7551\/mitpress\/3839.003.0007","volume-title":"Intentions in communication","author":"M. E. Pollack","year":"1990","unstructured":"Pollack M. E. (1990) Plans as complex mental attitudes. In: Cohen P. R., Morgan J., Pollack M. E. (eds) Intentions in communication. The MIT Press, Cambridge, MA, pp 77\u2013104"},{"issue":"1","key":"9735_CR13","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0004-3702(92)90104-6","volume":"57","author":"M. E. Pollack","year":"1992","unstructured":"Pollack M. E. (1992) The uses of plans. Artificial Intelligence 57(1): 43\u201368","journal-title":"Artificial Intelligence"},{"key":"9735_CR14","unstructured":"Rao, A. S. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In W. Van de Velde & J. W. Perram (Eds.), Agents breaking away: Proceedings of the seventh European workshop on modelling autonomous agents in a multi-agent world, (LNAI Volume 1038) (pp. 42\u201355). Berlin, Germany: Springer-Verlag."},{"key":"9735_CR15","unstructured":"Rao, A. S. & Georgeff, M. P. (1991). Modeling rational agents within a BDI-architecture. In R. Fikes & E. Sandewall (Eds.), Proceedings of knowledge representation and reasoning (KR&R-91) (pp. 473\u2013484). San Mateo, CA: Morgan Kaufmann Publishers."},{"key":"9735_CR16","unstructured":"Rao, A. S. & Georgeff, M. P. (1992) An abstract architecture for rational agents. In C. Rich, W. Swartout, & B. Nebel (Eds.), Proceedings of knowledge representation and reasoning (KR &R-92) (pp. 439\u2013449)."},{"issue":"3","key":"9735_CR17","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\u2013344","journal-title":"Journal of Logic and Computation"},{"issue":"6","key":"9735_CR18","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1007\/s10992-009-9116-8","volume":"38","author":"Y. Shoham","year":"2009","unstructured":"Shoham Y. (2009) Logical theories of intention and the database perspective. Journal of Philosophical Logic 38(6): 633\u2013648","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9735_CR19","doi-asserted-by":"crossref","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. (2007) Towards a theory of intention revision. Synthese 155(2): 265\u2013290","journal-title":"Synthese"},{"key":"9735_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about rational agents","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge M. (2000) Reasoning about rational agents. The MIT Press, Cambridge, MA"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-010-9735-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-010-9735-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-010-9735-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T04:14:53Z","timestamp":1740284093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-010-9735-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,21]]},"references-count":20,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["9735"],"URL":"https:\/\/doi.org\/10.1007\/s11229-010-9735-1","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2010,7,21]]}}}