{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:28:22Z","timestamp":1777894102644,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642406232","type":"print"},{"value":"9783642406249","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40624-9_18","type":"book-chapter","created":{"date-parts":[[2013,9,10]],"date-time":"2013-09-10T16:18:12Z","timestamp":1378829892000},"page":"290-306","source":"Crossref","is-referenced-by-count":3,"title":["Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL"],"prefix":"10.1007","author":[{"given":"Chitta","family":"Baral","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Gelfond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Balduccini, M., Gelfond, M.: The AAA Architecture: An Overview. In: AAAI Spring Symposium 2008 on Architectures for Intelligent Theory-Based Agents (2008)"},{"issue":"2","key":"18_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A. Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.S.: Logics for Epistemic Programs. Synthese\u00a0139(2), 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"18_CR3","unstructured":"Baral, C.: Reasoning About Actions: Non-deterministic Effects, Constraints, and Qualification. In: Proceedings of the 14th International Joint Conferences on Artificial Intelligence, IJCAI 1995, pp. 2017\u20132023. Morgan Kaufmann (1995)"},{"key":"18_CR4","unstructured":"Baral, C., Gelfond, G., Son, T.C., Pontelli, E.: An Action Language for Reasoning about Beliefs in Multi-Agent Domains. In: Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (2012)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0743-1066(96)00140-9","volume":"31","author":"C. Baral","year":"1997","unstructured":"Baral, C., Gelfond, M.: Reasoning about effects of concurrent actions. Journal of Logic Programming\u00a031, 85\u2013117 (1997)","journal-title":"Journal of Logic Programming"},{"issue":"11","key":"18_CR6","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"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2008)","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"18_CR8","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press (1995)"},{"key":"18_CR9","unstructured":"Gelfond, M.: Answer Sets. In: Handbook of Knowledge Representation, ch. 7. Elsevier (2007)"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing Action and Change by Logic Programs. Journal of Logic Programming\u00a017, 301\u2013322 (1993)","journal-title":"Journal of Logic Programming"},{"key":"18_CR11","unstructured":"Gelfond, M., Lifschitz, V.: Action Languages. Electronic Transactions on AI 3 (1998)"},{"key":"18_CR12","unstructured":"Lifschitz, V. (ed.): Formalizing Common Sense \u2013 Papers by John McCarthy. Ablex Publishing Corporation (1990)"},{"key":"18_CR13","unstructured":"Lin, F.: Embracing Causality in Specifying the Indirect Effects of Actions. In: Proceedings of the 14th International Joint Conferences on Artificial Intelligence, IJCAI 1995. Morgan Kaufmann (1995)"},{"issue":"2","key":"18_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/201019.201021","volume":"42","author":"F. Lin","year":"1995","unstructured":"Lin, F., Shoham, Y.: Provably correct theories of action. Journal of the ACM\u00a042(2), 293\u2013320 (1995)","journal-title":"Journal of the ACM"},{"key":"18_CR15","unstructured":"McCain, N., Turner, H.: A Causal Theory of Ramifications and Qualifications. In: Proceedings of the 14th International Joint Conferences on Artificial Intelligence, IJCAI 1995. Morgan Kaufmann (1995)"},{"key":"18_CR16","unstructured":"McCarthy, J.: Programs with common sense. In: Semantic Information Processing, pp. 403\u2013418. MIT Press (1959)"},{"issue":"1","key":"18_CR17","first-page":"297","volume":"117","author":"J. McCarthy","year":"1988","unstructured":"McCarthy, J.: Mathematical Logic in Artificial Intelligence. Daedalus\u00a0117(1), 297\u2013311 (1988)","journal-title":"Daedalus"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40624-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:14:33Z","timestamp":1558055673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40624-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406232","9783642406249"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40624-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}