{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:33Z","timestamp":1725663873456},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545637"},{"type":"electronic","value":"9783540384663"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54563-8_115","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:03:22Z","timestamp":1330193002000},"page":"520-529","source":"Crossref","is-referenced-by-count":0,"title":["Another view of autoepistemic logic and truth maintenance system"],"prefix":"10.1007","author":[{"given":"Y. J.","family":"Jiang","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"52_CR1","first-page":"507","volume":"88","author":"A. L. Brown","year":"1988","unstructured":"A.L. Brown (1988) Logics of justified belief ECAI 88, pp.507\u2013512, 1988.","journal-title":"ECAI"},{"key":"52_CR2","first-page":"528","volume":"449","author":"B. Camilla","year":"1990","unstructured":"B. Camilla (1990) A tableaux-based theorem prover for a decidable subset of default logic, CADE 10, LNCS 449, pp.528\u2013542.","journal-title":"CADE 10, LNCS"},{"key":"52_CR3","first-page":"231","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle (1979) A truth maintenance system AI 12, pp.231\u2013272, 1979.","journal-title":"AI"},{"key":"52_CR4","doi-asserted-by":"crossref","unstructured":"M. Gelfond (1988) AE logic and formalization of commonsense reasoning Comp. Science. Dept., Univ. of Texas at El Paso.","DOI":"10.1007\/3-540-50701-9_27"},{"key":"52_CR5","first-page":"328","volume":"86","author":"S. Hanks","year":"1986","unstructured":"S. Hanks & D. McDermott (1986) Default reasoning, nonmonotonic logics and the frame problem AAAI 86, pp.328\u2013333.","journal-title":"AAAI"},{"key":"52_CR6","unstructured":"Y.J. Jiang (1992) Autoepistemic predicate logic to appear in Journal of New Generation Computing."},{"key":"52_CR7","unstructured":"Y.J. Jiang (1991) Quanticational autoepistemic stable closure in preparation."},{"key":"52_CR8","doi-asserted-by":"crossref","unstructured":"K. Konolige (1987) On the relationship between default and autoepistemic logic IJCAI 87.","DOI":"10.21236\/ADA461880"},{"key":"52_CR9","first-page":"276","volume":"89","author":"W. Marek","year":"1989","unstructured":"W. Marek & M. Trunszczynski (1989) Relating autoepistemic logic and default logic KR 89, pp.276\u2013288, full-version also to appear in JACM 90.","journal-title":"KR"},{"key":"52_CR10","doi-asserted-by":"crossref","unstructured":"R. C. Moore (1985) Semantic considerations of non-monotonic logic AI 25 (1).","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"52_CR11","unstructured":"P. Morris (1988) Autoepistemic stable closures and contradiction resolution AAAI 88, 2nd int. workshop on nonmonotonic reasoning."},{"key":"52_CR12","unstructured":"M. Reinfrank, O. Dressier & G. Brewka (1989) On the relation between truth maintenance and autoepistemic logic IJCAI 89."},{"key":"52_CR13","unstructured":"R.C. Stalnaker (1980) A note on non-monotonic modal logic Dept. of Philo. Cornell University."}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54563-8_115.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:55:41Z","timestamp":1605628541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54563-8_115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545637","9783540384663"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54563-8_115","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}