{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:13:41Z","timestamp":1767237221801,"version":"3.37.3"},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"4-6","license":[{"start":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T00:00:00Z","timestamp":1278633600000},"content-version":"unspecified","delay-in-days":8,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2010,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The logics of knowledge are modal logics that have been shown to be effective in representing and reasoning about knowledge in multi-agent domains. Relatively few computational frameworks for dealing with computation of models and useful transformations in logics of knowledge (e.g., to support multi-agent planning with knowledge actions and degrees of visibility) have been proposed. This paper explores the use of logic programming (LP) to encode interesting forms of logics of knowledge and compute Kripke models. The LP modeling is expanded with useful operators on Kripke structures, to support multi-agent planning in the presence of both world-altering and knowledge actions. This results in the first ever implementation of a planner for this type of complex multi-agent domains.<\/jats:p>","DOI":"10.1017\/s1471068410000359","type":"journal-article","created":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T12:44:40Z","timestamp":1278679480000},"page":"675-690","source":"Crossref","is-referenced-by-count":3,"title":["Logic programming for finding models in the logics of knowledge and its applications: A case study"],"prefix":"10.1017","volume":"10","author":[{"given":"C.","family":"BARAL","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"GELFOND","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"PONTELLI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"SON","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2010,7,9]]},"reference":[{"key":"S1471068410000359_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.04.006"},{"key":"S1471068410000359_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"S1471068410000359_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-69778-0_30"},{"key":"S1471068410000359_ref4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"S1471068410000359_ref2","unstructured":"Baral C. , Gelfond G. , Pontelli E. and Son T. C. 2010a. Planning with knowledge and world-altering actions in multiple agent domains. Unpublished manuscript."},{"key":"S1471068410000359_ref1","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"key":"S1471068410000359_ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001790"},{"key":"S1471068410000359_ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1183278.1183279"},{"key":"S1471068410000359_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"S1471068410000359_ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"S1471068410000359_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45744-5_38"},{"key":"S1471068410000359_ref7","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/7.1.79"},{"key":"S1471068410000359_ref3","unstructured":"Baral C. , Gelfond G. , Son T. C. and Pontelli E. 2010b. Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. In International Conference on Autonomous Agents and Multiagent Systems (AAMAS), IFAAMAS."},{"key":"S1471068410000359_ref6","first-page":"1","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"Halpern","year":"1995"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068410000359","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T20:11:29Z","timestamp":1740255089000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068410000359\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":14,"journal-issue":{"issue":"4-6","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["S1471068410000359"],"URL":"https:\/\/doi.org\/10.1017\/s1471068410000359","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2010,7]]}}}