{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:32:16Z","timestamp":1725582736250},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208317"},{"type":"electronic","value":"9783642208324"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20832-4_15","type":"book-chapter","created":{"date-parts":[[2011,4,28]],"date-time":"2011-04-28T02:59:49Z","timestamp":1303959589000},"page":"213-232","source":"Crossref","is-referenced-by-count":2,"title":["On Representing Actions in Multi-agent Domains"],"prefix":"10.1007","author":[{"given":"Chitta","family":"Baral","sequence":"first","affiliation":[]},{"given":"Gregory","family":"Gelfond","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Baltag, A., Moss, L.: Logics for epistemic programs. Synthese (2004)","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"key":"15_CR2","unstructured":"Baral, C., Gelfond, G., Son, T., Pontelli, E.: Using answer set programming to model multi-agent scenarios involving agents\u2019 knowledge about other\u2019s knowledge. In: AAMAS 2010 (2010)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-642-04238-6_35","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Baral","year":"2009","unstructured":"Baral, C., Son, T., Pontelli, E.: Modeling multi-agent domains in an action language: An empirical study using C. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 409\u2013415. Springer, Heidelberg (2009)"},{"key":"15_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Heidelberg (2007)"},{"key":"15_CR5","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)"},{"key":"15_CR6","unstructured":"Gelfond, G.: A declarative framework for modeling multi-agent systems. Masters Thesis, Texas Tech. University (2007)"},{"key":"15_CR7","first-page":"559","volume-title":"Joint International Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1992","unstructured":"Gelfond, M., Lifschitz, V.: Representing actions in extended logic programs. In: Apt, K. (ed.) Joint International Conference and Symposium on Logic Programming, pp. 559\u2013573. MIT Press, Cambridge (1992)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Ghaderi, H., Levesque, H., Lesp\u00e9rance, Y.: A logical theory of coordination and joint ability. In: AAAI 2007, pp. 421\u2013426 (2007)","DOI":"10.1145\/1329125.1329223"},{"issue":"1-3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"Levesque, H., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031(1-3), 59\u201384 (1997)","journal-title":"Journal of Logic Programming"},{"key":"15_CR10","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press, Edinburgh (1969)"},{"key":"15_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: logical foundation for describing and implementing dynamical systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in action: logical foundation for describing and implementing dynamical systems. MIT Press, Cambridge (2001)"},{"issue":"5","key":"15_CR12","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1093\/logcom\/4.5.581","volume":"4","author":"E. Sandewall","year":"1994","unstructured":"Sandewall, E.: The range of applicability of some non-monotonic logics for strict inertia. Journal of Logic and Computation\u00a04(5), 581\u2013616 (1994)","journal-title":"Journal of Logic and Computation"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Shapiro, S., Lesp\u00e9rance, Y., Levesque, H.: The cognitive agents specification language and verification environment for multiagent systems. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (2002)","DOI":"10.1145\/544741.544746"}],"container-title":["Lecture Notes in Computer Science","Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20832-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T10:37:46Z","timestamp":1560163066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20832-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208317","9783642208324"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20832-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}