{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:18Z","timestamp":1725663978111},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540540298"},{"type":"electronic","value":"9783540473596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54029-6_219","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:26:19Z","timestamp":1330208779000},"page":"699-708","source":"Crossref","is-referenced-by-count":0,"title":["A proof-theoretic framework for nonmonotonic reasoning and logic programming"],"prefix":"10.1007","author":[{"given":"Li Yan","family":"Yuan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia-Huai","family":"You","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chenghui","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"71_CR1","unstructured":"Chan D., Constructive Negation based on the Completed Database, in Proc. 5th Symposium\/Conference on Logic Programming, R. A. Kowalski and K. A. Bowen (ed.), MIT Press, 1988, 111\u2013125."},{"key":"71_CR2","unstructured":"Chan D., An Extension of Constructive Negation and its Application in Coroutining, in Proc. North American Conference on Logic Programming, E. Lust and R. Overbeek (ed.), MIT Press, 1989, 477\u2013496."},{"key":"71_CR3","first-page":"293","volume-title":"Logic and Databases","author":"K. Clark","year":"1978","unstructured":"Clark K., Negation as Failure, in Logic and Databases, H. Gallaire and J. Minker (ed.), Plenum Press, New York, 1978, 293\u2013322."},{"key":"71_CR4","unstructured":"Gelfond M. and V. Lifschitz, The Stable Model Semantics for Logic Programming, in Proc. 5th Symposium\/Conference on Logic Programming, R. A. Kowalski and K. A. Bowen (ed.), MIT Press, 1988, 1070\u20131080."},{"key":"71_CR5","volume-title":"Logic Foundations of Artificial Intelligence","author":"M. Genesereth","year":"1987","unstructured":"Genesereth M. and N. Nilsson, Logic Foundations of Artificial Intelligence, Morgan Kaufman Publishers, Los Altos, 1987."},{"key":"71_CR6","doi-asserted-by":"crossref","unstructured":"Henschen L. and H. Park, Compiling the GCWA in Indefinite Deductive Databases, in Foundations of Deductive Databases and Logic Programming, J. Minker (ed.), Morgan Kaufman Publishers, 1988, 395\u2013438.","DOI":"10.1016\/B978-0-934613-40-8.50015-4"},{"key":"71_CR7","first-page":"7","volume-title":"Proc. Sixth Conf. on Automated Deduction","author":"J. Minker","year":"1982","unstructured":"Minker J., On Indefinite Databases and the Closed-World Assumption, in Proc. Sixth Conf. on Automated Deduction, Springer-Verlag, New York, 7\u20139 June, 1982."},{"key":"71_CR8","unstructured":"Przymusinski T. C., On Constructive Negation in Logic Programming, in Proc. North American Conference on Logic Programming, MIT Press, 1989."},{"key":"71_CR9","unstructured":"Rajasekar A. and J. Minker, A Stratification Semantics for General Disjunctive Programs, in Proc. North American Conference on Logic Programming, E. Lust and R. Overbeek (ed.), MIT Press, 1989, 573\u2013586."},{"key":"71_CR10","doi-asserted-by":"crossref","unstructured":"Ross K., A Procedural Semantics for Well Founded Negation in Logic Programs, in Proc. the 8th ACM PODS, 1989, 22\u201333.","DOI":"10.1145\/73721.73724"},{"key":"71_CR11","doi-asserted-by":"crossref","unstructured":"Van Gelder A., K. Ross and J. Schlipf, Unfounded Sets and Well-founded Semantics for General Logic Programs, in Proc. the 7th ACM PODS, 1988, 221\u2013230.","DOI":"10.1145\/308386.308444"},{"key":"71_CR12","doi-asserted-by":"crossref","unstructured":"Van Gelder A., Negation as Failure Using Tight Derivations for General Logic Programs, in Foundations of Deductive Databases and Logic Programming, J. Minker (ed.), Morgan Kaufman Publishers, 1988, 149\u2013176.","DOI":"10.1016\/B978-0-934613-40-8.50007-5"},{"key":"71_CR13","doi-asserted-by":"crossref","unstructured":"Yahya A. and L. Henschen, Deduction in Non-Horn Databases, J. Automated Reasoning 1, (1985),.","DOI":"10.1007\/BF00244994"}],"container-title":["Lecture Notes in Computer Science","Advances in Computing and Information \u2014 ICCI '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54029-6_219.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:14Z","timestamp":1605646334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54029-6_219"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540298","9783540473596"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54029-6_219","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}