{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:09Z","timestamp":1761620829328},"reference-count":29,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1994,5]]},"DOI":"10.1016\/0004-3702(94)90013-2","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"113-141","source":"Crossref","is-referenced-by-count":22,"title":["Minimal knowledge problem: A new approach"],"prefix":"10.1016","volume":"67","author":[{"given":"Grigori","family":"Schwarz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(94)90013-2_BIB1","article-title":"All we believe fails in impossible worlds: a possible-world semantics for a \u201cknowing at most\u201d operator","author":"Ben-David","year":"1991"},{"key":"10.1016\/0004-3702(94)90013-2_BIB2","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical negation in logic programs and disjunctive databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Gen. Comput."},{"key":"10.1016\/0004-3702(94)90013-2_BIB3","series-title":"Proceedings IJCAI-85","first-page":"480","article-title":"A guide to modal logics of knowledge and belief","author":"Halpern","year":"1985"},{"key":"10.1016\/0004-3702(94)90013-2_BIB4","series-title":"Logics and models of concurrent systems","first-page":"459","article-title":"Towards a theory of knowledge and ignorance: preliminary report","author":"Halpern","year":"1985"},{"key":"10.1016\/0004-3702(94)90013-2_BIB5","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/79147.79161","article-title":"Knowledge and common knowledge in a distributed environment","volume":"37","author":"Halpern","year":"1990","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(94)90013-2_BIB6","series-title":"A companion to modal logic","author":"Hughes","year":"1984"},{"key":"10.1016\/0004-3702(94)90013-2_BIB7","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\/0004-3702(94)90013-2_BIB8","article-title":"Recent work in epistemic logic","volume":"30","author":"Lenzen","year":"1978"},{"key":"10.1016\/0004-3702(94)90013-2_BIB9","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF00205012","article-title":"Epistemologische Betrachtungen zu [S4,S5]","volume":"14","author":"Lenzen","year":"1979","journal-title":"Erkenntnis"},{"key":"10.1016\/0004-3702(94)90013-2_BIB10","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\/0004-3702(94)90013-2_BIB11","series-title":"Proceedings IJCAI-91","first-page":"381","article-title":"Nonmonotonic databases and epistemic queries","author":"Lifschitz","year":"1991"},{"key":"10.1016\/0004-3702(94)90013-2_BIB12","series-title":"Proceedings TARK-90","first-page":"111","article-title":"Epistemic semantics for fixed-points non-monotonic logics","author":"Lin","year":"1990"},{"key":"10.1016\/0004-3702(94)90013-2_BIB13","doi-asserted-by":"crossref","first-page":"963","DOI":"10.1145\/153724.153773","article-title":"Modal nonmonotonic logics: ranges, characterization, computation","volume":"40","author":"Marek","year":"1993","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(94)90013-2_BIB14","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF01531081","article-title":"Modal logic for default reasoning","volume":"1","author":"Marek","year":"1990","journal-title":"Ann. Math. Artif. Intell."},{"key":"10.1016\/0004-3702(94)90013-2_BIB15","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","article-title":"Nonmonotonic logic II: nonmonotonic modal theories","volume":"29","author":"McDermott","year":"1982","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(94)90013-2_BIB16","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Non-monotonic logic I","volume":"13","author":"McDermott","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)90013-2_BIB17_1","series-title":"Proceedings Workshop on Non-Monotonic Reasoning","first-page":"344","article-title":"Possible-world semantics for autoepistemic logic","author":"Moore","year":"1984"},{"key":"10.1016\/0004-3702(94)90013-2_BIB17_2","series-title":"Readings on Nonmonotonic Reasoning","first-page":"137","year":"1990"},{"key":"10.1016\/0004-3702(94)90013-2_BIB18","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\/0004-3702(94)90013-2_BIB19","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\/0004-3702(94)90013-2_BIB20","series-title":"Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning","first-page":"395","article-title":"Bounding introspection in nonmonotonic logics","author":"Schwarz","year":"1992"},{"key":"10.1016\/0004-3702(94)90013-2_BIB21","series-title":"Proceedings LICS-92","first-page":"34","article-title":"Minimal model semantics for nonmonotonic modal logics","author":"Schwarz","year":"1992"},{"key":"10.1016\/0004-3702(94)90013-2_BIB22","article-title":"An essay in classical modal logic","volume":"13","author":"Segerberg","year":"1971"},{"key":"10.1016\/0004-3702(94)90013-2_BIB23","series-title":"Proceedings IJCAI-87","article-title":"Nonmonotonic logics: meaning and utility","author":"Shoham","year":"1987"},{"key":"10.1016\/0004-3702(94)90013-2_BIB24","series-title":"Proceedings TARK 1990","first-page":"97","article-title":"Autoepistemic modal logics","author":"Shvarts","year":"1990"},{"key":"10.1016\/0004-3702(94)90013-2_BIB25","series-title":"Proceedings TARK 1990","first-page":"73","article-title":"Nonmonotonic default modal logics","author":"Tiomkin","year":"1990"},{"key":"10.1016\/0004-3702(94)90013-2_BIB26","series-title":"Proceedings IJCAI-91","first-page":"393","article-title":"Modal interpretations of default logic","author":"Truszczy\u0144ski","year":"1991"},{"key":"10.1016\/0004-3702(94)90013-2_BIB27","first-page":"355","article-title":"Modal nonmonotonic logic with restricted application of the negation as failure to prove rule","volume":"14","author":"Truszczy\u0144ski","year":"1991","journal-title":"Fund. Inf."},{"key":"10.1016\/0004-3702(94)90013-2_BIB28","series-title":"Logics in AI. European Workshop JELIA '90 Proceedings","first-page":"499","article-title":"The logic of objective knowledge and rational belief","volume":"478","author":"Voorbraak","year":"1991"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294900132?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294900132?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T00:55:51Z","timestamp":1553648151000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370294900132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,5]]}},"alternative-id":["0004370294900132"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(94)90013-2","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1994,5]]}}}