{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:39:54Z","timestamp":1730273994727,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/isic.2003.1254744","type":"proceedings-article","created":{"date-parts":[[2011,4,27]],"date-time":"2011-04-27T16:35:01Z","timestamp":1303922101000},"page":"831-836","source":"Crossref","is-referenced-by-count":0,"title":["A comparison of autoepistemic logic and default logic both generalized so as to allow quantified variables to cross modal scopes"],"prefix":"10.1109","author":[{"given":"F.M.","family":"Brown","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00245990"},{"journal-title":"1968 An Introduction to Modal Logic","year":"0","author":"hughes","key":"ref11"},{"key":"ref12","article-title":"On the Relation Between Default Theories and Autoepistemic Logic","author":"kurt","year":"1987","journal-title":"IJCA187 Proceedings of the Tenth International Joint Conference on Artiftcial Intelltgence"},{"key":"ref13","article-title":"On the Relation Between Default Theories and Autoepistemic Logic","author":"kurt","year":"1987","journal-title":"personally circulated new version of IJCAI87 paper correcting it to account for a counterexample found by Gelfond and Przymusinska"},{"key":"ref14","article-title":"On the Relation between Autoepistemic Logic and Circumscription Preliminary Report","author":"kurt","year":"1989","journal-title":"UCA189"},{"key":"ref15","first-page":"1973","article-title":"Necessary and Contingent Truths","author":"leibniz","year":"1686","journal-title":"Leibniz Philosophical Writings Dent&Sons"},{"key":"ref16","article-title":"Strict Implication","volume":"i","author":"lewis","year":"1936","journal-title":"Journal of Symbolic Logic"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90012-0"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/322290.322293"},{"key":"ref4","article-title":"The Modal Logic Z”, In The Frame Problem in AI","author":"brown","year":"1987","journal-title":"Proceedings of the 1987 Workshop"},{"key":"ref3","article-title":"A Sequent Calculus for Modal Quantificational Logic","author":"brown","year":"1978","journal-title":"3rd AISB\/GI Conference Proceedings Hamburg"},{"key":"ref6","article-title":"The Modal Quantificational Logic Z Applied to the Frame Problem","author":"brown","year":"1989","journal-title":"advanced paper First"},{"key":"ref5","article-title":"Theoretical Analysis of Circumscription","author":"brown","year":"1987","journal-title":"memo"},{"key":"ref8","article-title":"Modalities and Quantification","volume":"11","author":"rudolf","year":"1946","journal-title":"Journal of Symbolic Logic"},{"key":"ref7","first-page":"169","volume":"3","author":"ford","year":"1989","journal-title":"Third International Workshop on Human and Machine Cognition"},{"journal-title":"A General Interpreted Modal Calculus","year":"1972","author":"alda","key":"ref2"},{"journal-title":"Nonmonotonic reasoning","year":"1997","author":"grigoris","key":"ref1"},{"journal-title":"Meaning and Necessity A Study in Semantics and Model Logic","year":"1956","author":"rudolf","key":"ref9"},{"journal-title":"Introduction to Mathematical Logic","year":"1964","author":"mendelson","key":"ref20"},{"journal-title":"Worlds Times and Selves","year":"1977","author":"prior","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"}],"event":{"name":"Proceedings of the 2003 IEEE International Symposium on Intelligent Control","start":{"date-parts":[[2003,10,8]]},"location":"Houston, TX, USA","end":{"date-parts":[[2003,10,8]]}},"container-title":["Proceedings of the 2003 IEEE International Symposium on Intelligent Control ISIC-03"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8881\/28053\/01254744.pdf?arnumber=1254744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T15:01:33Z","timestamp":1489590093000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1254744\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/isic.2003.1254744","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}