{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:13:02Z","timestamp":1767237182040,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642168666"},{"type":"electronic","value":"9783642168673"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16867-3_3","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:22:02Z","timestamp":1288704122000},"page":"46-63","source":"Crossref","is-referenced-by-count":2,"title":["Reasoning about Multi-agent Domains Using Action Language $\\mathcal{C}$ : A Preliminary Study"],"prefix":"10.1007","author":[{"given":"Chitta","family":"Baral","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogeneous Agent Systems: Theory and Implementation","author":"V.S. Subrahmanian","year":"2000","unstructured":"Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems: Theory and Implementation. MIT Press, Cambridge (2000)"},{"key":"3_CR2","unstructured":"Baker, A.: A simple solution to the Yale Shooting Problem. In: KRR, pp. 11\u201320 (1989)"},{"key":"3_CR3","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-Agent Systems with JADE","author":"F.L. Bellifemine","year":"2007","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. J. Wiley & Sons, Chichester (2007)"},{"key":"3_CR4","doi-asserted-by":"publisher","DOI":"10.1002\/9780470061848","volume-title":"Programming Multi-agent Systems in AgentSpeak using Jason","author":"R.H. Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak using Jason. J. Wiley and Sons, Chichester (2007)"},{"key":"3_CR5","first-page":"682","volume-title":"AAMAS 2005","author":"G. Boella","year":"2005","unstructured":"Boella, G., van der Torre, L.: Enforceable social laws. In: AAMAS 2005, pp. 682\u2013689. ACM, New York (2005)"},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1613\/jair.740","volume":"14","author":"C. Boutilier","year":"2001","unstructured":"Boutilier, C., Brafman, R.I.: Partial-order planning with concurrent interacting actions. J. Artif. Intell. Res (JAIR)\u00a014, 105\u2013136 (2001)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"3_CR7","volume-title":"Software Agent-based Applications, Platforms and Development Kits","author":"L. Braubach","year":"2005","unstructured":"Braubach, L., Pokahr, A., Lamersdorf, W.: Jadex: a BDI-Agent System Combining Middleware and Reasoning. In: Software Agent-based Applications, Platforms and Development Kits. Springer, Heidelberg (2005)"},{"key":"3_CR8","unstructured":"Brenner, M.: Planning for Multi-agent Environments: From Individual Perceptions to Coordinated Execution. In: Work. on Multi-agent Planning and Scheduling, ICAPS, pp. 80\u201388 (2005)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Dastani, M., Dignum, F., Meyer, J.J.: 3APL: A Programming Language for Cognitive Agents. ERCIM News, European Research Consortium for Informatics and Mathematics, Special issue on Cognitive Systems (53) (2003)","DOI":"10.1007\/978-3-540-25936-7_6"},{"issue":"1\u20132","key":"3_CR10","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"De Giacomo, G., Lesp\u00e8rance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence\u00a0121(1\u20132), 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"N. Jennings","year":"1998","unstructured":"Jennings, N., Sycara, K., Wooldridge, M.: A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems\u00a01, 7\u201338 (1998)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"3_CR12","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)"},{"key":"3_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Temporal Logic","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of Concurrent METATEM \u2013 the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS (LNAI), vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V.: Representing actions and change by logic programs. Journal of Logic Programming 17(2,3,4), 301\u2013323 (1993)","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"3_CR15","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. ETAI\u00a03(6) (1998)"},{"key":"3_CR16","first-page":"193","volume-title":"AAMAS 2006","author":"J. Gerbrandy","year":"2006","unstructured":"Gerbrandy, J.: Logics of propositional control. In: AAMAS 2006, pp. 193\u2013200. ACM, New York (2006)"},{"issue":"3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"Hanks, S., McDermott, D.: Nonmonotonic logic and temporal projection. Artificial Intelligence\u00a033(3), 379\u2013412 (1987)","journal-title":"Artificial Intelligence"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Herzig, A., Troquard, N.: Knowing how to play: uniform choices in logics of agency. In: AAMAS 2006, pp. 209\u2013216 (2006)","DOI":"10.1145\/1160633.1160666"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"F.S. Boer de","year":"2005","unstructured":"de Boer, F.S., Hindriks, K.V., van der Hoek, W., Ch, J.-J.: Meyer. A verification framework for agent programming with declarative goals. Journal of Applied Logic\u00a05, 277\u2013302 (2005)","journal-title":"Journal of Applied Logic"},{"key":"3_CR20","first-page":"401","volume-title":"Proceedings of AAAI 1986","author":"H. Kautz","year":"1986","unstructured":"Kautz, H.: The logic of persistence. In: Proceedings of AAAI 1986, pp. 401\u2013405. AAAI Press, Menlo Park (1986)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Mascardi, V., Martelli, M., Sterling, L.: Logic-Based Specification Languages for Intelligent Software Agents. Theory and Practice of Logic Programming\u00a04(4), 495\u2013537","DOI":"10.1017\/S1471068404002029"},{"key":"3_CR22","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","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.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"3_CR24","first-page":"185","volume-title":"AAMAS 2006","author":"L. Sauro","year":"2006","unstructured":"Sauro, L., Gerbrandy, J., van der Hoek, W., Wooldridge, M.: Reasoning about action and cooperation. In: AAMAS 2006, pp. 185\u2013192. ACM Press, New York (2006)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Scherl, R., Levesque, H.: Knowledge, action, and the frame problem. Artificial Intelligence\u00a0144(1-2) (2003)","DOI":"10.1016\/S0004-3702(02)00365-X"},{"issue":"1-2","key":"3_CR26","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"T.C. Son","year":"2001","unstructured":"Son, T.C., Baral, C.: Formalizing sensing actions - a transition function based approach. Artificial Intelligence\u00a0125(1-2), 19\u201391 (2001)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"3_CR27","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/1183278.1183279","volume":"7","author":"T.C. Son","year":"2006","unstructured":"Son, T.C., Baral, C., Tran, N., McIlraith, S.: Domain-dependent knowledge in answer set planning. ACM Trans. Comput. Logic\u00a07(4), 613\u2013657 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-11355-0_13","volume-title":"Declarative Agent Languages and Technologies VII","author":"T.C. Son","year":"2010","unstructured":"Son, T.C., Sakama, C.: Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol.\u00a05948, pp. 208\u2013227. Springer, Heidelberg (2010)"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-02846-5_13","volume-title":"Logic Programming","author":"T.C. Son","year":"2009","unstructured":"Son, T.C., Pontelli, E., Sakama, C.: Logic Programming for Multiagent Planning with Negotiation. In: Hill, P.M., Warren, D.S. (eds.) Logic Programming. LNCS, vol.\u00a05649, pp. 99\u2013114. Springer, Heidelberg (2009)"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Spaan, M., Gordon, G.J., Vlassis, N.A.: Decentralized planning under uncertainty for teams of communicating agents. In: AAMAS 2006, pp. 249\u2013256 (2006)","DOI":"10.1145\/1160633.1160678"},{"key":"3_CR31","first-page":"157","volume-title":"A logic for strategic reasoning","author":"W. Hoek van der","year":"2005","unstructured":"van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning, pp. 157\u2013164. ACM, New York (2005)"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H.P., van der Hoek, W., Kooi, B.P.: Concurrent Dynamic Epistemic Logic for MAS. In: AAMAS (2003)","DOI":"10.1145\/860575.860608"}],"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-16867-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T13:29:59Z","timestamp":1740662999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16867-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642168666","9783642168673"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16867-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}