{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:41Z","timestamp":1725664661701},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:19:24Z","timestamp":1330276764000},"page":"85-98","source":"Crossref","is-referenced-by-count":11,"title":["Characterizations of the stable semantics by partial evaluation"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Brass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Dix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In Jack Minker, editor, Foundations of Deductive. Databases, chapter 2, pages 80\u2013148. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"7_CR2","unstructured":"Stefan Brass and J\u00fcrgen Dix. A Characterization of the Stable Semantics by Partial Evaluation. In Proc. of the 10th Workshop on Logic Programming, Zuerich, October 1994, 1994."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Stefan Brass and J\u00fcrgen Dix. A disjunctive semantics based on unfolding and bottom-up evaluation. In Bernd Wolfinger, editor, Innovationen bei Rechenund Kommunikationssystemen, (IFIP-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases), pages 83\u201391. Springer-Verlag, 1994.","DOI":"10.1007\/978-3-642-51136-3_13"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BFb0030663","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"Stefan Brass","year":"1995","unstructured":"Stefan Brass and J\u00fcrgen Dix. A General Approach to Bottom-Up Computation of Disjunctive Semantics. In J. Dix, L. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, pages 127\u2013155. Springer LNCS, to appear, 1995."},{"key":"7_CR5","volume-title":"Disjunctive Semantics based upon Partial and Bottom-Up Evaluation","author":"S. Brass","year":"1995","unstructured":"Stefan Brass and J\u00fcrgen Dix. Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. In Leon Sterling, editor, Proceedings of the 12th Int. Conf. on Logic Programming, Tokyo. MIT, June 1995."},{"key":"7_CR6","unstructured":"Fran\u00e7ois Bry. Negation in logic programming: A formalization in constructive logic. In Dimitris Karagiannis, editor, Information Systems and Artificial Intelligence: Integration Aspects, pages 30\u201346. Springer, 1990."},{"key":"7_CR7","first-page":"591","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR '92)","author":"J. Dix","year":"1992","unstructured":"J\u00fcrgen Dix. A Framework for Representing and Characterizing Semantics of Logic Programs. In B. Nebel, C. Rich, and W. Swartout, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR '92), pages 591\u2013602. San Mateo, CA, Morgan Kaufmann, 1992."},{"issue":"3","key":"7_CR8","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"J\u00fcrgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundamenta Informaticae, XXII(3), pages 257\u2013288, 1995.","journal-title":"Fundamenta Informaticae"},{"key":"7_CR9","first-page":"303","volume-title":"An Axiomatic Framework for Representing and Characterizing Semantics of Disjunctive Logic Programs","author":"J. Dix","year":"1994","unstructured":"J\u00fcrgen Dix and Martin M\u00fcller. An Axiomatic Framework for Representing and Characterizing Semantics of Disjunctive Logic Programs. In Pascal Van Hentenryck, editor, Proceedings of the 11th Int. Conf. on Logic Programming, S. Margherita Ligure, pages 303\u2013322. MIT, June 1994."},{"key":"7_CR10","first-page":"511","volume-title":"Lecture Notes in Artificial Intelligence 869","author":"J. Dix","year":"1994","unstructured":"J\u00fcrgen Dix and Martin M\u00fcller. Partial Evaluation and Relevance for Approximations of the Stable Semantics. In Z.W. Ras and M. Zemankova, editors, Proceedings of the 8th Int. Symp. on Methodologies for Intelligent Systems, Charlotte, NC, 1994, pages 511\u2013520. Springer, Lecture Notes in Artificial Intelligence 869, 1994."},{"key":"7_CR11","volume-title":"A fixpoint approach to declarative semantics of logic programs","author":"P. M. Dung","year":"1989","unstructured":"P. M. Dung and K. Kanchansut. A fixpoint approach to declarative semantics of logic programs. In E.L. Lusk and R.A. Overbeek, editors, Proceedings of North American Conference Cleveland,Ohio, USA. MIT, October 1989."},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Michael Gelfond and Vladimir Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365\u2013387, 1991.","journal-title":"New Generation Computing"},{"key":"7_CR13","first-page":"412","volume-title":"Extended Well-Founded Model Semantics for General Logic Programs","author":"Y. Hu","year":"1991","unstructured":"Yong Hu and Li Yan Yuan. Extended Well-Founded Model Semantics for General Logic Programs. In Koichi Furukawa, editor, Proceedings of the 8th Int. Conf. on Logic Programming, Paris, pages 412\u2013425. MIT, June 1991."},{"key":"7_CR14","first-page":"292","volume-title":"On indefinite databases and the closed world assumption","author":"J. Minker","year":"1982","unstructured":"Jack Minker. On indefinite databases and the closed world assumption. In Proceedings of the 6th Conference on Automated Deduction, New York, pages 292\u2013308. Springer, 1982."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Teodor Przymusinski. On the declarative semantics of deductive databases and logic programs. In Jack Minker, editor, Foundations of Deductive Databases, chapter 5, pages 193\u2013216. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. Przymusinski","year":"1991","unstructured":"Teodor Przymusinski. Stable Semantics for Disjunctive Programs. New Generation Computing Journal, 9:401\u2013424, 1991.","journal-title":"New Generation Computing Journal"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Teodor Przymusinski. Static Semantics For Normal and Disjunctive Logic Programs. Annals of Mathematics and Artificial Intelligence, Special Issue on Disjunctive Programs: to appear, 1995.","DOI":"10.1007\/BF01530826"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Chiaki Sakama and Hirohisa Seki. Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. In Fourth International Workshop on Logic Program Synthesis and Transformation (LOPSTR '94). Lecture Notes in Computer Science, Springer-Verlag, July 1994.","DOI":"10.1007\/3-540-58792-6_11"}],"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_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:53Z","timestamp":1619573273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}