{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:53Z","timestamp":1759637633187},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[1992,6,1]],"date-time":"1992-06-01T00:00:00Z","timestamp":707356800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1992,6]]},"DOI":"10.1007\/bf01543477","type":"journal-article","created":{"date-parts":[[2005,4,20]],"date-time":"2005-04-20T02:14:28Z","timestamp":1113963268000},"page":"229-263","source":"Crossref","is-referenced-by-count":24,"title":["A theory of nonmonotonic rule systems II"],"prefix":"10.1007","volume":"5","author":[{"given":"W.","family":"Marek","sequence":"first","affiliation":[]},{"given":"A.","family":"Nerode","sequence":"additional","affiliation":[]},{"given":"J.","family":"Remmel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1990-13103","volume":"13","author":"K.R. Apt","year":"1990","unstructured":"K.R. Apt and H.A. Blair, Classification of perfect models of stratified programs, Fundamenta Informaticae 13 (1990) 1?17.","journal-title":"Fundamenta Informaticae"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"161","DOI":"10.2307\/1969503","volume":"51","author":"R.P. Dilworth","year":"1950","unstructured":"R.P. Dilworth, A decomposition theorem for partially ordered sets, Ann. Math. 51 (1950) 161?165.","journal-title":"Ann. Math."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"D.W. Etherington","year":"1987","unstructured":"D.W. Etherington, Formalizing nonmonotonic reasoning systems, Art. Int. J. 31 (1987) 41?85.","journal-title":"Art. Int. J."},{"key":"CR4","unstructured":"M. Gelfond and V. Lifschitz, Stable semantics for logic programs, in:Proc. 5th Int. Symp. on Logic Programming, Seattle (1988) pp. 1070?1080."},{"key":"CR5","first-page":"69","volume":"30","author":"C.G. Jockusch","year":"1972","unstructured":"C.G. Jockusch and T.G. McLaughlin, Countable retracing functions and? 2 0 predicates, Pacific J. Math. 30 (1972) 69?93.","journal-title":"Pacific J. Math."},{"key":"CR6","first-page":"33","volume":"173","author":"C.G. Jockusch","year":"1972","unstructured":"C.G. Jockusch and R.I. Soare,? 1 0 classes and degrees of theories, Trans. Amer. Math. Soc. 173 (1972) 33?56.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"605","DOI":"10.2140\/pjm.1972.40.605","volume":"40","author":"C.G. Jockusch","year":"1972","unstructured":"C.G. Jockusch and R.I. Soare, Degrees of members of? 1 0 classes, Pacific J. Math. 40 (1972) 605?616.","journal-title":"Pacific J. Math."},{"key":"CR8","unstructured":"W. Just, private electronic communication."},{"key":"CR9","unstructured":"K. Kuratowski and A. Mostowski,Set Theory (North-Holland, 1977)."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1112\/plms\/s3-25.4.615","volume":"25","author":"A. Manaster","year":"1972","unstructured":"A. Manaster and J. Rosenstein, Effective matchmaking, Proc. London Math. Soc. 25 (1972) 615?654.","journal-title":"Proc. London Math. Soc."},{"key":"CR11","unstructured":"W. Marek and A. Nerode, Decision procedure for default logic (1990) available as a report of the Mathematical Sciences Institute, Cornell University."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01531080","volume":"1","author":"W. Marek","year":"1990","unstructured":"W. Marek, A. Nerode and J. Remmel, A theory of nonmonotonic rule systems I, Ann. Math. Art. Int. 1 (1990) 241?273.","journal-title":"Ann. Math. Art. Int."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"W. Marek, A. Nerode and J. Remmel, How complicated is the set of stable models of a recursive logic program?, Ann. Pure Appl. Logic (Hyhill vol.) (1992), to appear.","DOI":"10.1016\/0168-0072(92)90069-C"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczy?ski, Autoepistemic Logic, J. ACM (1991) to appear.","DOI":"10.1145\/116825.116836"},{"key":"CR15","volume-title":"Principles of Knowledge Representation and Reasoning","author":"W. Marek","year":"1989","unstructured":"W. Marek and M. Truszczy?ski, Relating autoepistemic and default logics, in:Principles of Knowledge Representation and Reasoning (Morgan Kaufmann, San Mateo, 1989) (Full version available as Technical Report 144-89, Computer Science, University of Kentucky, Lexington, KY 40506-0027, 1989.)"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A logic for default reasoning, Art. Int. 13 (1980) 81?132.","journal-title":"Art. Int."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0168-0072(86)90051-5","volume":"32","author":"J.B. Remmel","year":"1986","unstructured":"J.B. Remmel, Graph colorings and recursively bounded? 1 0 classes, Ann. Pure Appl. Logic 32 (1986) 185?194.","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"R.M. Smullyan,First-Order Logic (Springer, 1968).","DOI":"10.1007\/978-3-642-86718-7"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01543477.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01543477\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01543477","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,9]],"date-time":"2021-07-09T08:48:53Z","timestamp":1625820533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01543477"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,6]]},"references-count":18,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[1992,6]]}},"alternative-id":["BF01543477"],"URL":"https:\/\/doi.org\/10.1007\/bf01543477","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,6]]}}}