乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:19Z","timestamp":1725558919793},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141829"},{"type":"electronic","value":"9783642141836"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14183-6_21","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T11:04:12Z","timestamp":1278327852000},"page":"288-305","source":"Crossref","is-referenced-by-count":2,"title":["A Logical Analysis of Commitment Dynamics"],"prefix":"10.1007","author":[{"given":"Emiliano","family":"Lorini","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"22","author":"A. Anderson","year":"1958","unstructured":"Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind\u00a022, 100\u2013103 (1958)","journal-title":"Mind"},{"issue":"4","key":"21_CR2","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10992-007-9078-7","volume":"37","author":"P. Balbiani","year":"2008","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Alternative axiomatics and complexity of deliberative STIT theories. Journal of Philosophical Logic\u00a037(4), 387\u2013406 (2008)","journal-title":"Journal of Philosophical Logic"},{"key":"21_CR3","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Proc. of TARK\u201998, pp. 43\u201356 (1998)"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01531259","volume":"9","author":"P. Bartha","year":"1993","unstructured":"Bartha, P.: Conditional obligation, deontic paradoxes, and the logic of agency. Annals of Mathematics and Artificial Intelligence\u00a09, 1\u201323 (1993)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"21_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future: agents and choices in our indeterminist world","author":"N. Belnap","year":"2001","unstructured":"Belnap, N., Perloff, M., Xu, M.: Facing the future: agents and choices in our indeterminist world. Oxford University Press, New York (2001)"},{"key":"21_CR6","first-page":"792","volume-title":"Proc. of AAMAS 2004","author":"J. Bentahar","year":"2004","unstructured":"Bentahar, J., Muolin, B., Meyer, J.-J.C., Chaib-draa, B.: A logical model for commitment and argument network for agent communication. In: Proc. of AAMAS 2004, pp. 792\u2013799. ACM Press, New York (2004)"},{"key":"21_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"21_CR8","first-page":"528","volume-title":"Proc. of ICMAS\u201995","author":"C. Castelfranchi","year":"1995","unstructured":"Castelfranchi, C.: Commitment: from individual intentions to groups and organizations. In: Proc. of ICMAS\u201995, pp. 528\u2013535. MIT Press, Cambridge (1995)"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/BF01028972","volume":"51","author":"B.J. Chellas","year":"1992","unstructured":"Chellas, B.J.: Time and modality in the logic of agency. Studia Logica\u00a051, 485\u2013517 (1992)","journal-title":"Studia Logica"},{"key":"21_CR10","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, 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"21_CR11","first-page":"787","volume-title":"Proc. of AAMAS 2008","author":"N. Desai","year":"2008","unstructured":"Desai, N., Narendra, N.C., Singh, M.P.: Checking correctness of business contracts via commitments. In: Proc. of AAMAS 2008, pp. 787\u2013794. ACM Press, New York (2008)"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1008315530323","volume":"7","author":"F. Dignum","year":"1999","unstructured":"Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law\u00a07, 69\u201379 (1999)","journal-title":"Artificial Intelligence and Law"},{"issue":"5","key":"21_CR13","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1093\/logcom\/exl027","volume":"16","author":"D. Grossi","year":"2006","unstructured":"Grossi, D., Meyer, J.-J.C., Dignum, F.: Classificatory aspects of counts-as: An analysis in modal logic. Journal of Logic and Computation\u00a016(5), 613\u2013643 (2006)","journal-title":"Journal of Logic and Computation"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1145\/222092.222243","volume-title":"Proc. of the Fifth International Conference on Artificial intelligence and law","author":"H. Herrestad","year":"1995","unstructured":"Herrestad, H., Krogh, C.: Obligations directed from bearers to counterparties. In: Proc. of the Fifth International Conference on Artificial intelligence and law, pp. 210\u2013218. ACM Press, New York (1995)"},{"issue":"6","key":"21_CR15","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/BF01306968","volume":"24","author":"J.F. Horty","year":"1995","unstructured":"Horty, J.F., Belnap, N.: The deliberative STIT: A study of action, omission, and obligation. Journal of Philosophical Logic\u00a024(6), 583\u2013644 (1995)","journal-title":"Journal of Philosophical Logic"},{"key":"21_CR16","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"A. Jones","year":"1996","unstructured":"Jones, A., Sergot, M.J.: A formal characterization institutionalised power. Journal of the IGPL\u00a04, 429\u2013445 (1996)","journal-title":"Journal of the IGPL"},{"issue":"2","key":"21_CR17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1111\/j.1755-2567.1966.tb00594.x","volume":"6","author":"S. Kanger","year":"1966","unstructured":"Kanger, S., Kanger, H.: Rights and parliamentarism. Theoria\u00a06(2), 85\u2013115 (1966)","journal-title":"Theoria"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Khan, S.M., L\u00e9sperance, Y.: On the semantics of conditional commitment. In: Proc. of AAMAS 2006, pp. 1337\u20131344 (2006)","DOI":"10.1145\/1160633.1160883"},{"key":"21_CR19","volume-title":"Logic, Methodology and Philosophy of Science, vol. IX","author":"L. Lindahl","year":"1994","unstructured":"Lindahl, L.: Stig Kanger\u2019s theory of rights. In: Prawitz, D., Skyrms, B., Wester\u00e5hl, D. (eds.) Logic, Methodology and Philosophy of Science, vol. IX. Elsevier, Amsterdam (1994)"},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-04893-7_16","volume-title":"Logic, Rationality, and Interaction","author":"E. Lorini","year":"2009","unstructured":"Lorini, E., Dastani, M., van Ditmarsch, H., Herzig, A., Meyer, J.-J.C.: Intentions and assignments. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS, vol.\u00a05834, pp. 198\u2013211. Springer, Heidelberg (2009)"},{"key":"21_CR21","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/BF00243391","volume":"15","author":"D. Makinson","year":"1986","unstructured":"Makinson, D.: On the formal representation of rights relations: remarks on the work of Stig Kanger and Lars Lindahl. The Journal of Philosophical Logic\u00a015, 403\u2013425 (1986)","journal-title":"The Journal of Philosophical Logic"},{"key":"21_CR22","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"M.P. Singh","year":"1999","unstructured":"Singh, M.P.: An ontology for commitments in multiagent systems. Artificial Intelligence and Law\u00a07, 97\u2013113 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"21_CR23","first-page":"176","volume-title":"Proc. of AAAI\u201908","author":"M.P. Singh","year":"2008","unstructured":"Singh, M.P.: Semantical considerations on dialectical and practical commitments. In: Proc. of AAAI\u201908, pp. 176\u2013181. AAAI Press, Menlo Park (2008)"},{"issue":"11","key":"21_CR24","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"issue":"2","key":"21_CR25","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s11229-009-9554-4","volume":"169","author":"H. Ditmarsch van","year":"2009","unstructured":"van Ditmarsch, H., Herzig, A., Lang, J., Marquis, P.: Introspective forgetting. Synthese\u00a0169(2), 405\u2013423 (2009)","journal-title":"Synthese"},{"key":"21_CR26","unstructured":"van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: Proc. of LOFT, vol.\u00a07, pp. 87\u2013117 (2008)"},{"key":"21_CR27","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/860575.860660","volume-title":"Proc. of AAMAS 2003","author":"M. Verdicchio","year":"2003","unstructured":"Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: Proc. of AAMAS 2003, pp. 528\u2013535. ACM Press, New York (2003)"},{"key":"21_CR28","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1023\/A:1004274131669","volume":"27","author":"M. Xu","year":"1998","unstructured":"Xu, M.: Axioms for deliberative STIT. Journal of Philosophical Logic\u00a027, 505\u2013552 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"21_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45448-9_17","volume-title":"Intelligent Agents VIII","author":"P. Yolum","year":"2002","unstructured":"Yolum, P., Singh, M.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, p. 235. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14183-6_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T00:57:20Z","timestamp":1711587440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14183-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141829","9783642141836"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14183-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}