{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T02:10:20Z","timestamp":1736475020332,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540370338"},{"type":"electronic","value":"9783540370352"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11811220_31","type":"book-chapter","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:40:48Z","timestamp":1153744848000},"page":"366-378","source":"Crossref","is-referenced-by-count":2,"title":["Observation-Based Logic of Knowledge, Belief, Desire and Intention"],"prefix":"10.1007","author":[{"given":"Kaile","family":"Su","sequence":"first","affiliation":[]},{"given":"Weiya","family":"Yue","sequence":"additional","affiliation":[]},{"given":"Abdul","family":"Sattar","sequence":"additional","affiliation":[]},{"given":"Mehmet A","family":"Orgun","sequence":"additional","affiliation":[]},{"given":"Xiangyu","family":"Luo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: A semantical analysis of modal logic. i: Normal modal propositional calculi. Z. Math. Logik Grundl. Math.\u00a09, 67\u201396 (1963)","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"31_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intension is choice with commitment. Artificial Intelligence\u00a042, 23\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"31_CR3","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\u2013344 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"31_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/A:1010076027707","volume":"3","author":"K. Schild","year":"2000","unstructured":"Schild, K.: On the relationship between BDI logics and standard logics of concurrency. Autonomous Agents and Multi-Agent Systems\u00a03, 259\u2013283 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"31_CR5","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: BDI agent speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"issue":"1","key":"31_CR6","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent oriented programming. Artificial Intelligence\u00a060(1), 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"31_CR7","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K. Hindriks","year":"1999","unstructured":"Hindriks, K., de Boer, F.S., van der Hock, W., Meyer, J.-J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems\u00a02(4), 357\u2013402 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"31_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about knowledge. MIT Press, Cambridge (1995)"},{"issue":"3","key":"31_CR9","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/146637.146638","volume":"39","author":"J. Halpern","year":"1992","unstructured":"Halpern, J., Zuck, L.: A little knowledge goes a long way: Simple knowledge based derivations and correctness proofs for a family of protocols. Journal of the ACM\u00a039(3), 449\u2013478 (1992)","journal-title":"Journal of the ACM"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Halpern, J., Vardi, M.: The complexity of reasoning about knowledge and time: extended abstract. In: Proc. 18th Annual ACM Symposium on Theory of Computing, pp. 304\u2013315 (1986)","DOI":"10.1145\/12130.12161"},{"key":"31_CR11","first-page":"13","volume-title":"ICMAS 2000","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Computationally grounded theories of agency. In: Durfee, E. (ed.) ICMAS 2000, pp. 13\u201322. IEEE Press, Los Alamitos (2000)"},{"issue":"8","key":"31_CR12","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transaction Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Transaction Computers"},{"key":"31_CR13","first-page":"98","volume-title":"AAAI 2004","author":"K. Su","year":"2004","unstructured":"Su, K.: Model checking temporal logics of knowledge in distributed systems. In: AAAI 2004, pp. 98\u2013103. AAAI, Menlo Park (2004)"},{"key":"31_CR14","first-page":"190","volume-title":"AAAI 2005","author":"K. Su","year":"2005","unstructured":"Su, K., Sattar, A., Wang, K., Luo, X., Governatori, G., Padmanabhan, V.: The observation-based model for BDI-agents. In: AAAI 2005, pp. 190\u2013195. AAAI, Menlo Park (2005)"},{"key":"31_CR15","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(81)90019-0","volume":"14","author":"D. Kozen","year":"1981","unstructured":"Kozen, D., Parikh, R.: An elementary proof of the completeness of PDL. Theoretical Computer Science\u00a014, 113\u2013118 (1981)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"31_CR16","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1137\/S0097539797320906","volume":"33","author":"J. Halpern","year":"2004","unstructured":"Halpern, J., van der Meyden, R., Vardi, M.Y.: Complete axiomatizations for reasoning about knowledge and time. SIAM Journal of Computing\u00a033(3), 647\u2013703 (2004)","journal-title":"SIAM Journal of Computing"},{"key":"31_CR17","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM\u00a049, 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"key":"31_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1167","DOI":"10.1007\/3-540-44919-1","volume-title":"Trust, Reputation, and Security: Theories and Practice","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Tractable multiagent planning for epistemic goals. In: Falcone, R., Barber, S., Korba, L., Singh, M.P. (eds.) AAMAS 2002. LNCS, vol.\u00a02631, pp. 1167\u20131174. Springer, Heidelberg (2003)"},{"key":"31_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-46017-9_9","volume-title":"Model Checking Software","author":"W. Hoek van der","year":"2002","unstructured":"van der Hoek, W., Wooldridge, M.J.: Model checking knowledge and time. In: Bo\u0161na\u010dki, D., Leue, S. (eds.) SPIN 2002. LNCS, vol.\u00a02318, p. 95. Springer, Heidelberg (2002)"},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"van der Meyden, R., Su, K.: Symbolic model checking the knowledge of the dining cryptographers. In: Proc. of IEEE CSFW 2004, pp. 280\u2013291 (2004)","DOI":"10.1109\/CSFW.2004.1310747"},{"key":"31_CR21","unstructured":"Raimondi, F., Lomuscio, A.: Verification of multiagent system via ordered binary decision diagrams: an algorithm and its implementation. In: Proc. of AAMAS 2004 (2004)"},{"key":"31_CR22","unstructured":"Rao, A.S., Georgeff, M.P.: A model theoretic approach to the verification of situated reasoning systems. In: Proc. 13th International Joint Conference on Artificial Intelligence, pp. 318\u2013324 (1993)"},{"key":"31_CR23","unstructured":"Benerecetti, M., Cimatti, A.: Symbolic model checking for multi-agent systems. In: Proc. MoChart 2002, Lyon, France, pp. 1\u20138 (2002)"},{"key":"31_CR24","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Proc. AAMAS 2003, Melbourne, Australia, pp. 14\u201318 (2003)","DOI":"10.1145\/860575.860641"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11811220_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T01:38:33Z","timestamp":1736473113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11811220_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540370338","9783540370352"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11811220_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}