{"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":1777894102695,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642307423","type":"print"},{"value":"9783642307430","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_35","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"509-526","source":"Crossref","is-referenced-by-count":4,"title":["Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Pontelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chitta","family":"Baral","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Gelfond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Baltag, A., Moss, L.: Logics for Epistemic Programs. Synthese (2004)","DOI":"10.1007\/1-4020-4094-6_1"},{"key":"35_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, reasoning, and declarative problem solving with Answer sets","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, reasoning, and declarative problem solving with Answer sets. Cambridge University Press, Cambridge (2003)"},{"key":"35_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-20832-4_15","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"C. Baral","year":"2011","unstructured":"Baral, C., Gelfond, G.: On Representing Actions in Multi-agent Domains. In: Balduccini, M., Son, T.C. (eds.) Gelfond Festschrift. LNCS (LNAI), vol.\u00a06565, pp. 213\u2013232. Springer, Heidelberg (2011)"},{"key":"35_CR4","unstructured":"Baral, C., Gelfond, G., Pontelli, E., Son, T.C.: An Action Language for Multi-agent Domains, Technical Report, New Mexico State University (2011)"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Cox, J.S., Durfee, E.H.: An Efficient Algorithm for Multi-agent Plan Coordination. In: 4th International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2005), Utrecht, The Netherlands, July 25-29, pp. 828\u2013835. ACM (2005)","DOI":"10.1145\/1082473.1082599"},{"key":"35_CR6","unstructured":"de Weerdt, M., ter Mors, A., Witteveen, C.: Multi-agent Planning: An Introduction to Planning and Coordination. In: Handouts of the European Agent Summer School, pp. 1\u201332 (2005)"},{"key":"35_CR7","unstructured":"de Weerdt, M., Witteveen, C.: Multi-agent Planning: Problem Properties that Matter. In: Proceedings of the AAAI Spring Symposium on Distributed Plan and Schedule Management, number SS-06-04, pp. 155\u2013156. AAAI (2006)"},{"key":"35_CR8","unstructured":"Durfee, E.H.: Distributed Problem Solving and Planning. In: Multi-agent Systems: A Modern Approach to Distributed Artificial Intelligence, pp. 121\u2013164. MIT Press (1999)"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. The MIT press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"35_CR10","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Logic Programming: Proceedings\u00a0of the Fifth International Conf.\u00a0and Symp., pp. 1070\u20131080 (1988)"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Cox, J.S., Durfee, E.H., Bartold, T.: A Distributed Framework for Solving the Multi-agent Plan Coordination Problem. In: AAMAS, pp. 821\u2013827. ACM Press (2005)","DOI":"10.1145\/1082473.1082598"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Marek, V., Truszczy\u0144ski, M.: Stable Models as an Alternative Logic Programming Paradigm. In: The Logic Programming Paradigm: a 25-year Perspective, pp. 375\u2013398. Springer (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"issue":"3,4","key":"35_CR13","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic Programming with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and Artificial Intelligence\u00a025(3,4), 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"4-6","key":"35_CR14","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1017\/S1471068410000359","volume":"10","author":"E. Pontelli","year":"2010","unstructured":"Pontelli, E., Son, T.C., Baral, C., Gelfond, G.: Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study. Theory and Practice of Logic Programming\u00a010(4-6), 675\u2013690 (2010)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"11","key":"35_CR15","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.P.: Logics of communication and change. Inf. Comput.\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Inf. Comput."},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Wooldridge, M.: Tractable Multi-agent Planning for Epistemic Goals. In: Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, Bologna, Italy, July 15-19, pp. 1167\u20131174. ACM (2002)","DOI":"10.1145\/545056.545095"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T06:42:56Z","timestamp":1743230576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}