{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:23Z","timestamp":1725664643536},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594871"},{"type":"electronic","value":"9783540492825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59487-6_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:18:32Z","timestamp":1330258712000},"page":"245-258","source":"Crossref","is-referenced-by-count":0,"title":["Default consequence relations as a logical framework for logic programs"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bochman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"18_CR1","first-page":"63","volume-title":"On the relation between default and modal consequence relations","author":"A. Bochman","year":"1994","unstructured":"A. Bochman (1994) On the relation between default and modal consequence relations Proc. Fourth International Conference on Principles of Knowledge Representation and Reasoning, KR'94, Morgan Kaufmann, San Mateo, CA., pp. 63\u201374."},{"key":"18_CR2","unstructured":"A. Bochman (1993) Modal nonmonotonic logics demodalized. Annals of Mathematics and Artificial Intelligence (to appear)."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"J. Chen and S. Kundu (1991) The strong semantics for logic programs. Methodologies for Intelligent Systems (LNAI 542), Z. W. Ras and M. Zamenkova (eds.), Springer Verlag, pp. 490\u2013499.","DOI":"10.1007\/3-540-54563-8_112"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. C. Fitting","year":"1985","unstructured":"M. C. Fitting (1985) A Kripke-Kleene semantics for logic programs. JLP 2: 295\u2013312.","journal-title":"JLP"},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","volume":"17","author":"M. C. Fitting","year":"1993","unstructured":"M. C. Fitting (1993) The family of stable models. JLP 17: 197\u2013225.","journal-title":"JLP"},{"key":"18_CR6","volume-title":"Investigations in Modal and Tense Logics","author":"D. M. Gabbay","year":"1976","unstructured":"D. M. Gabbay (1976). Investigations in Modal and Tense Logics. Dordrecht: D. Reidel."},{"key":"18_CR7","first-page":"1070","volume-title":"The stable model semantics for logic programming","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz (1988) The stable model semantics for logic programming Proc. 5th International Conf.\/Symp. on Logic Programming, R. Kowalski and K. Bowen (eds.), MIT Press: Cambridge, MA, pp. 1070\u20131080."},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehmann and M. Magidor (1990) Nonmonotonic reasoning, peferential models and cumulative logics. Artificial Intelligence, 44: 167\u2013207.","journal-title":"Artificial Intelligence"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"E. Laenens, D. Vermeir and C. Zaniolo (1992) Logic programming semantics made easy. Automata, Languages and Programming (LNCS 623), Springer, pp. 499\u2013508.","DOI":"10.1007\/3-540-55719-9_99"},{"key":"18_CR10","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 (1990) A theory of nonmonotonic rule systems I Annals of Mathematics and Artificial Intelligence, 1: 241\u2013273.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"18_CR11","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0304-3975(92)90019-C","volume":"103","author":"W. Marek","year":"1992","unstructured":"W. Marek and V.S. Subrahmanian (1992) The relationship between stable, supported, default and autoepistemic semantics for general logic programs. Theoretical Computer Science, 103: 365\u2013386.","journal-title":"Theoretical Computer Science"},{"key":"18_CR12","first-page":"243","volume-title":"Stable semantics for logic programs and default theories","author":"W. Marek","year":"1989","unstructured":"W. Marek and M. Truszczy\u0144ski (1989) Stable semantics for logic programs and default theories. Proc. 1989 North Amer. Conf. on Logic Programming, MIT Press: Cambridge, MA, pp. 243\u2013256."},{"key":"18_CR13","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"R. C. Moore (1985). Semantical considerations on non-monotonic logic. Artificial Intelligence 25:75\u201394.","journal-title":"Artificial Intelligence"},{"key":"18_CR14","first-page":"321","volume-title":"Formal Techniques in Artificial Intelligence","author":"H. Przymusinska","year":"1990","unstructured":"H. Przymusinska and T. Przymusinski (1990) Semantic issues in deductive databases and logic programs, in R. Benerji (ed.) Formal Techniques in Artificial Intelligence, North-Holland: Amsterdam, pp. 321\u2013367."},{"key":"18_CR15","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","volume":"13","author":"T.C. Przymusinski","year":"1990","unstructured":"T.C. Przymusinski (1990) Well-founded semantics coincides with three-valued stable semantics. Fundamenta Informaticae, 13: 445\u2013463.","journal-title":"Fundamenta Informaticae"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0004-3702(91)90013-A","volume":"49","author":"T. Przymusinski","year":"1991","unstructured":"T. Przymusinski (1991) Three-valued nonmonotonic formalisms and semantics of logic programs. Artificial Intelligence, 49: 309\u2013343.","journal-title":"Artificial Intelligence"},{"key":"18_CR17","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 (1980). A logic for default reasoning. Artificial Intelligence 13:81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"18_CR18","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BF01543479","volume":"5","author":"J. S. Schlipf","year":"1992","unstructured":"J. S. Schlipf (1992). Formalizing a logic for logic programming. Annals of Mathematics and Artificial Intelligence 5:279\u2013302.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"H. Thiele On generation of cumulative inference operators by default deduction rules. LNAI 543, Springer Verlag, pp. 100\u2013137.","DOI":"10.1007\/BFb0023320"},{"key":"18_CR20","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K.A. Ross and J.S. Schlipfn (1991) The well-founded semantics for general logic programs. J. ACM, 38: 620\u2013650.","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:12:00Z","timestamp":1640923920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}