{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:41:14Z","timestamp":1762101674285},"reference-count":49,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1016\/j.artint.2015.02.005","type":"journal-article","created":{"date-parts":[[2015,2,12]],"date-time":"2015-02-12T14:18:04Z","timestamp":1423750684000},"page":"1-26","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["Semantical considerations on multiagent only knowing"],"prefix":"10.1016","volume":"223","author":[{"given":"Vaishak","family":"Belle","sequence":"first","affiliation":[]},{"given":"Gerhard","family":"Lakemeyer","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"year":"1995","series-title":"Reasoning About Knowledge","author":"Fagin","key":"10.1016\/j.artint.2015.02.005_br0010"},{"key":"10.1016\/j.artint.2015.02.005_br0020","series-title":"Proc. NMR","first-page":"125","article-title":"Towards a theory of knowledge and ignorance: preliminary report","author":"Halpern","year":"1984"},{"year":"2001","series-title":"The Logic of Knowledge Bases","author":"Levesque","key":"10.1016\/j.artint.2015.02.005_br0030"},{"issue":"2\u20133","key":"10.1016\/j.artint.2015.02.005_br0040","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","article-title":"All I know: a study in autoepistemic logic","volume":"42","author":"Levesque","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2015.02.005_br0050","first-page":"83","article-title":"Semantical considerations on modal logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philos. Fenn."},{"year":"1962","series-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"Hintikka","key":"10.1016\/j.artint.2015.02.005_br0060"},{"key":"10.1016\/j.artint.2015.02.005_br0070","series-title":"Proc. KR","first-page":"516","article-title":"Situations, Si! Situation terms, No!","author":"Lakemeyer","year":"2004"},{"issue":"1","key":"10.1016\/j.artint.2015.02.005_br0080","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."},{"issue":"2","key":"10.1016\/j.artint.2015.02.005_br0090","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0004-3702(95)00007-2","article-title":"Levesque's axiomatization of only knowing is incomplete","volume":"74","author":"Halpern","year":"1995","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2015.02.005_br0100","series-title":"Proc. IJCAI","first-page":"376","article-title":"All they know: a study in multi-agent autoepistemic reasoning","author":"Lakemeyer","year":"1993"},{"key":"10.1016\/j.artint.2015.02.005_br0110","series-title":"Proc. AAAI","first-page":"655","article-title":"Reasoning about only knowing with many agents","author":"Halpern","year":"1993"},{"issue":"1","key":"10.1016\/j.artint.2015.02.005_br0120","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1093\/logcom\/11.1.41","article-title":"Multi-agent only knowing","volume":"11","author":"Halpern","year":"2001","journal-title":"J. Log. Comput."},{"key":"10.1016\/j.artint.2015.02.005_br0130","series-title":"Advances in Modal Logic","first-page":"347","article-title":"Consistency proofs for systems of multi-agent only knowing","author":"Waaler","year":"2004"},{"key":"10.1016\/j.artint.2015.02.005_br0140","series-title":"Proc. TARK","first-page":"109","article-title":"Semantics for multi-agent only knowing: extended abstract","author":"Waaler","year":"2005"},{"key":"10.1016\/j.artint.2015.02.005_br0150","series-title":"Proc. KR","first-page":"49","article-title":"Multi-agent only-knowing revisited","author":"Belle","year":"2010"},{"year":"1980","series-title":"Modal Logic","author":"Chellas","key":"10.1016\/j.artint.2015.02.005_br0160"},{"year":"1978","series-title":"Recent Work in Epistemic Logic","author":"Lenzen","key":"10.1016\/j.artint.2015.02.005_br0170"},{"issue":"3","key":"10.1016\/j.artint.2015.02.005_br0180","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1609\/aimag.v33i3.2427","article-title":"Logics for multiagent systems","volume":"33","author":"van der Hoek","year":"2012","journal-title":"AI Mag."},{"issue":"1","key":"10.1016\/j.artint.2015.02.005_br0190","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1023\/A:1020578025481","article-title":"A general approach to multi-agent minimal knowledge: with tools and samples","volume":"72","author":"Hoek","year":"2002","journal-title":"Stud. Log."},{"key":"10.1016\/j.artint.2015.02.005_br0200","series-title":"Proc. AAAI","first-page":"423","article-title":"Total knowledge","author":"Pratt-Hartmann","year":"2000"},{"issue":"1\u20132","key":"10.1016\/j.artint.2015.02.005_br0210","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/S0004-3702(99)00083-1","article-title":"On the decidability and complexity of reasoning about only knowing","volume":"116","author":"Rosati","year":"2000","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2015.02.005_br0220","series-title":"Proc. AAAI","first-page":"974","article-title":"ESP: a logic of only-knowing, noisy sensing and acting","author":"Gabaldon","year":"2007"},{"key":"10.1016\/j.artint.2015.02.005_br0230","series-title":"Proc. TARK","first-page":"146","article-title":"A logical characterization of iterated admissibility","author":"Halpern","year":"2009"},{"issue":"3","key":"10.1016\/j.artint.2015.02.005_br0240","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1016\/j.jal.2006.03.007","article-title":"Only knowing with degrees of confidence","volume":"5","author":"Waaler","year":"2007","journal-title":"J. Appl. Log."},{"issue":"1\u20132","key":"10.1016\/j.artint.2015.02.005_br0250","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2015.02.005_br0260","series-title":"Proc. AAAI","first-page":"633","article-title":"Only-knowing: taking it beyond autoepistemic reasoning","author":"Lakemeyer","year":"2005"},{"key":"10.1016\/j.artint.2015.02.005_br0270","series-title":"Proc. KR","article-title":"Only-knowing meets nonmonotonic modal logic","author":"Lakemeyer","year":"2012"},{"key":"10.1016\/j.artint.2015.02.005_br0280","unstructured":"S. Ben-David, Y. Gafni, All we believe fails in impossible worlds, Manuscript."},{"issue":"2","key":"10.1016\/j.artint.2015.02.005_br0290","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1145\/103516.128680","article-title":"A model-theoretic analysis of knowledge","volume":"38","author":"Fagin","year":"1991","journal-title":"J. ACM"},{"key":"10.1016\/j.artint.2015.02.005_br0300","series-title":"Proc. AAAI","first-page":"538","article-title":"A formal theory of multiple agent nonmonotonic reasoning","author":"Morgenstern","year":"1990"},{"key":"10.1016\/j.artint.2015.02.005_br0310","series-title":"Proc. Symposium on Formal Reasoning About Beliefs, Intentions, and Actions","article-title":"Epistemic logics for multiple agent nonmonotonic reasoning I","author":"Morgenstern","year":"1992"},{"key":"10.1016\/j.artint.2015.02.005_br0320","series-title":"Proc. of the Symposium on Intentions and Plans in Communication and Discourse","article-title":"An application of default logic to speech act theory","author":"Perrault","year":"1987"},{"key":"10.1016\/j.artint.2015.02.005_br0330","series-title":"Proc. ACL","first-page":"170","article-title":"A practical nonmonotonic theory for reasoning about speech acts","author":"Appelt","year":"1988"},{"key":"10.1016\/j.artint.2015.02.005_br0340","series-title":"Proc. AAAI","first-page":"263","article-title":"Towards an axiom system for default logic","author":"Lakemeyer","year":"2006"},{"issue":"2","key":"10.1016\/j.artint.2015.02.005_br0350","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/505372.505374","article-title":"Sequent calculi for propositional nonmonotonic logics","volume":"3","author":"Bonatti","year":"2002","journal-title":"ACM Trans. Comput. Log."},{"key":"10.1016\/j.artint.2015.02.005_br0360","series-title":"Proc. SAT","first-page":"365","article-title":"The complexity of theorem proving in autoepistemic logic","author":"Beyersdorff","year":"2013"},{"issue":"1","key":"10.1016\/j.artint.2015.02.005_br0370","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2178\/jsl\/1045861510","article-title":"Epistemic models of shallow depths and decision making in games: horticulture","volume":"68","author":"Kaneko","year":"2003","journal-title":"J. Symb. Log."},{"issue":"2","key":"10.1016\/j.artint.2015.02.005_br0380","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","article-title":"Foundations of a functional approach to knowledge representation","volume":"23","author":"Levesque","year":"1984","journal-title":"Artif. Intell."},{"year":"2012","series-title":"On the projection problem in active knowledge bases with incomplete information","author":"Belle","key":"10.1016\/j.artint.2015.02.005_br0390"},{"key":"10.1016\/j.artint.2015.02.005_br0400","series-title":"Proc. KR","first-page":"316","article-title":"AOL: a logic of acting, sensing, knowing, and only knowing","author":"Lakemeyer","year":"1998"},{"year":"2001","series-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter","key":"10.1016\/j.artint.2015.02.005_br0410"},{"key":"10.1016\/j.artint.2015.02.005_br0420","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/j.artint.2010.04.005","article-title":"A semantic characterization of a useful fragment of the situation calculus with knowledge","volume":"175","author":"Lakemeyer","year":"2011","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2015.02.005_br0430","series-title":"Proc. KR","first-page":"318","article-title":"Foundations for knowledge-based programs using ES","author":"Cla\u00dfen","year":"2006"},{"key":"10.1016\/j.artint.2015.02.005_br0440","series-title":"Machine Intelligence","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","author":"McCarthy","year":"1969"},{"issue":"1\u20132","key":"10.1016\/j.artint.2015.02.005_br0450","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","article-title":"Knowledge, action, and the frame problem","volume":"144","author":"Scherl","year":"2003","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2015.02.005_br0460","series-title":"Conceptual Modeling: Foundations and Applications","first-page":"82","article-title":"A semantical account of progression in the presence of defaults","author":"Lakemeyer","year":"2009"},{"key":"10.1016\/j.artint.2015.02.005_br0470","series-title":"Proc. AAAI","first-page":"165","article-title":"A semantical account of progression in the presence of uncertainty","author":"Belle","year":"2011"},{"key":"10.1016\/j.artint.2015.02.005_br0480","series-title":"Proc. AAAI","first-page":"255","article-title":"Reasoning about imperfect information games in the epistemic situation calculus","author":"Belle","year":"2010"},{"issue":"1\u20132","key":"10.1016\/j.artint.2015.02.005_br0490","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0004-3702(96)00044-6","article-title":"How to progress a database","volume":"92","author":"Lin","year":"1997","journal-title":"Artif. Intell."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370215000272?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370215000272?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:14:34Z","timestamp":1559337274000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370215000272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":49,"alternative-id":["S0004370215000272"],"URL":"https:\/\/doi.org\/10.1016\/j.artint.2015.02.005","relation":{},"ISSN":["0004-3702"],"issn-type":[{"type":"print","value":"0004-3702"}],"subject":[],"published":{"date-parts":[[2015,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Semantical considerations on multiagent only knowing","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.artint.2015.02.005","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2015 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}