{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:11:02Z","timestamp":1761610262914,"version":"build-2065373602"},"reference-count":19,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3954,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1016\/s1571-0661(04)80588-7","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"54-71","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["Translating Multi-Agent Autoepistemic Logic into Logic Program"],"prefix":"10.1016","volume":"70","author":[{"given":"Toyama","family":"Katsuhiko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kojima","family":"Takahiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Inagaki","family":"Yasuyoshi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB1","first-page":"518","author":"Cholewi\u0144ski","year":"1996","journal-title":"Default Reasoning System DeReS, Proc. 5th KR"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB2","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","article-title":"A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems","volume":"43","author":"Elkan","year":"1990","journal-title":"Artif. Intell"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB3","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","article-title":"Formalizing Non-monotonic Reasoning","volume":"31","author":"Etherington","year":"1987","journal-title":"Artif. Intell"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB4","first-page":"1070","author":"Gelfond","year":"1988","journal-title":"The Stable Model Semantics for Logic Programming, Proc. 5th, ICLP"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB5","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","article-title":"Nonmonotonic Logic and Temporal Projection","volume":"33","author":"Hanks","year":"1987","journal-title":"Artif. Intell"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB6","unstructured":"Honda, K., K. Toyama, and Y. Inagaki, Resolution-based Decision Procedure for Autoepistemic Logic for Multiple Agents, IEICE Tech. Report, COMP91-97 (1991) 69\u201378."},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB7","unstructured":"Honda, K., N. Kawaguchi, K. Toyama, and Y. Inagaki, Efficiency Improvement of Resolution-based Decision Procedure for Autoepistemic Logic, IEICE Tech. Report, AI98-89, (1999) 33\u201340."},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB8","first-page":"48","article-title":"Principles of Abduction","volume":"7","author":"Inoue","year":"1992","journal-title":"J. JSAI"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB9","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0743-1066(99)00076-X","article-title":"Computing Abduction by using TMS with Topdown Expectation","volume":"44","author":"Iwayama","year":"1999","journal-title":"J. Logic Programming"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB10","first-page":"278","author":"Junker","year":"1990","journal-title":"Computing the Extension of Autoepistemic and Default Logics with a Truth Maintenance System, Proc. 8th AAAI"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB11","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","article-title":"On the Relation between Default and Autoepistemic Logic","volume":"35","author":"Konolige","year":"1988","journal-title":"Artif. Intell"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB12","first-page":"217","article-title":"Autoepistemic Logic","volume":"3","author":"Konolige","year":"1994","journal-title":"\u201cHandbook of Logic in Artificial Intelligence and Logic Programming\u201d"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB13","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantical Considerations on Nonmonotonic Logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artif. Intell"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB14","unstructured":"Niemel\u00e4, I., \u201cAutoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning\u201d, Research Report A24, Digital Systems Lab., Helsinki Univ. of Technology (1993)."},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB15","first-page":"420","article-title":"Smodels - an Implementation of the Stable Model and Well-founded Semantics for Normal Logic Programs","volume":"1265","author":"Niemel\u00e4","year":"1997","journal-title":"Proc. LPNMR '97, LNAI"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB16","unstructured":"Ogawa, H., K. Toyama, K., and Y. Inagaki, A Decision Procedure for Multi-Agent Autoepistemic Logic: Formula Translation Method, IEICE Tech. Report, AI95-62 (1996) 39\u201346."},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB17","first-page":"270","author":"Reiter","year":"1981","journal-title":"On Interacting Defaults, Proc. 7th IJCAI"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB18","first-page":"505","author":"Satoh","year":"1991","journal-title":"Computing Abduction by Using TMS, Proc. 8th ICLP"},{"key":"10.1016\/S1571-0661(04)80588-7_NEWBIB19","first-page":"118","article-title":"Representation of Persistence and Causality Based on Multi-Autoepistemic Logic","volume":"12","author":"Toyama","year":"1997","journal-title":"J. JSAI"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805887?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805887?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:06:06Z","timestamp":1761609966000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805887"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":19,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S1571066104805887"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80588-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Translating Multi-Agent Autoepistemic Logic into Logic Program","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80588-7","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}