{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:54Z","timestamp":1725664794050},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616306"},{"type":"electronic","value":"9783540706434"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61630-6_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:08:54Z","timestamp":1330294134000},"page":"268-283","source":"Crossref","is-referenced-by-count":11,"title":["Characterizing D-WFS: Confluence and iterated GCWA"],"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,6,2]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\u201320","author":"K. R. Apt","year":"1994","unstructured":"K. R. Apt and Roland N. Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19\u201320:9\u201371, 1994.","journal-title":"Journal of Logic Programming"},{"key":"19_CR2","unstructured":"Stefan Brass and J\u00fcrgen Dix. Computing Disjunctive Stable Semantics based on Clark's Completed Database. In Proc. of the 6th GI-Workshop \u201cGrundlagen von Datenbanken\u201d, Bad Helmstedt, September 1994, pages 30\u201334, 1994."},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-642-51136-3_13","volume-title":"Innovationen bei Rechen-und Kommunikationssystemen","author":"S. Brass","year":"1994","unstructured":"Stefan Brass and J\u00fcrgen Dix. A disjunctive semantics based on unfolding and bottom-up evaluation. In Bernd Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen, (IFIP '94-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases), pages 83\u201391, Berlin, 1994. Springer."},{"key":"19_CR4","series-title":"LNAI 927","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BFb0030663","volume-title":"Nonmonotonic Extensions of Logic Programming","author":"S. 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, LNAI 927, pages 127\u2013155. Springer, Berlin, 1995."},{"key":"19_CR5","first-page":"85","volume-title":"LNCS 928","author":"S. Brass","year":"1995","unstructured":"Stefan Brass and J\u00fcrgen Dix. Characterizations of the Stable Semantics by Partial Evaluation. In A. Nerode, W. Marek, and M. Truszczy\u0144ski, editors, Logic Programming and Non-Monotonic Reasoning, Proceedings of the Third International Conference, LNCS 928, pages 85\u201398, Berlin, June 1995. Springer."},{"key":"19_CR6","first-page":"199","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, pages 199\u2013213. MIT Press, June 1995."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Nicole Bidoit and Richard Hull. Positivism vs. minimalism in deductive databases. In Proc. of the 5th ACM Symp. on Principles of Database Systems (PODS'86), pages 123\u2013132, 1986.","DOI":"10.1145\/6012.15409"},{"key":"19_CR8","doi-asserted-by":"crossref","first-page":"465","DOI":"10.21236\/ADA232064","volume-title":"Generalized Disjunctive Well-founded Semantics for Logic Programs: Declarative Semantics","author":"C. Baral","year":"1990","unstructured":"C. Baral, J. Lobo, and J. Minker. Generalized Disjunctive Well-founded Semantics for Logic Programs: Declarative Semantics. In Z.W. Ras, M. Zemankova, and M.L Emrich, editors, Proceedings of the 5th Int. Symp. on Methodologies for Intelligent Systems, Knoxville, TN, October 1990, pages 465\u2013473. North-Holland, 1990."},{"key":"19_CR9","series-title":"LNAI 542","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1007\/3-540-54563-8_109","volume-title":"Methodologies for Intelligent Systems","author":"C. Baral","year":"1991","unstructured":"C. Baral, J. Lobo, and J. Minker. WF3: A Semantics for Negation in Normal Disjunctive Logic Programs. In Z.W. Ras and M. Zemankova, editors, Methodologies for Intelligent Systems, LNAI 542, pages 459\u2013468, Berlin, 1991. Springer."},{"key":"19_CR10","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data-Bases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Data-Bases, pages 293\u2013322. Plenum, New York, 1978."},{"issue":"3","key":"19_CR11","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):257\u2013288, 1995.","journal-title":"Fundamenta Informaticae"},{"key":"19_CR12","unstructured":"J\u00fcrgen Dix. Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview. In Andre Fuhrmann and Hans Rott, editors, Logic, Action and Information \u2014 Essays on Logic in Philosophy and Artificial Intelligence, pages 241\u2013327. DeGruyter, 1995."},{"key":"19_CR13","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. (Extended abstract appeared in: Logic Programs with Classical Negation. Proceedings of the 7-th International Logic Programming Conference, Jerusalem, pages 579\u2013597, 1990. MIT Press.).","journal-title":"New Generation Computing"},{"key":"19_CR14","unstructured":"Jorge Lobo, Jack Minker, and Arcot Rajasekar. Foundations of Disjunctive Logic Programming. MIT-Press, 1992."},{"key":"19_CR15","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, Berlin, 1982. Springer."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Jack Minker. An Overview of Nonmonotonic Reasoning and Logic Programming. Journal of Logic Programming, Special Issue, 17, 1993.","DOI":"10.1016\/0743-1066(93)90028-F"},{"key":"19_CR17","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. (Extended abstract appeared in: Extended stable semantics for normal and disjunctive logic programs. Proceedings of the 7-th International Logic Programming Conference, Jerusalem, pages 459\u2013477, 1990. MIT Press, Cambridge, Mass.).","journal-title":"New Generation Computing Journal"},{"key":"19_CR18","volume-title":"LNCS 566","author":"T. Przymusinski","year":"1991","unstructured":"Teodor Przymusinski. Stationary Semantics for Normal and Disjunctive Logic Programs. In C. Delobel, M. Kifer, and Y. Masunaga, editors, DOOD '91, Proceedings of the 2nd International Conference, Berlin, December 1991. Muenchen, Springer. LNCS 566."},{"key":"19_CR19","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, 1995. to appear.","DOI":"10.1007\/BF01530826"},{"key":"19_CR20","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF00248321","volume":"5","author":"A. Rajasekar","year":"1989","unstructured":"Arcot Rajasekar, Jorge Lobo, and Jack Minker. Weak Generalized Closed World Assumption. Journal of Automated Reasoning, 5:293\u2013307, 1989.","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR21","unstructured":"Kenneth A. Ross. The well-founded semantics for disjunctive logic programs. In Proceedings of the first International Conference on Deductive and Object Oriented Databases, Kyoto, Japan, pages 1\u201322, 1989."},{"key":"19_CR22","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/BF00297247","volume":"4","author":"K. A. Ross","year":"1988","unstructured":"Kenneth A. Ross and Rodney A. Topor. Inferring negative Information from disjunctive Databases. Journal of Automated Reasoning, 4:397\u2013424, 1988.","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR23","series-title":"LNCS 883","first-page":"170","volume-title":"Logic Program Synthesis and Transformation \u2014 Meta Programming in Logic","author":"C. Sakama","year":"1995","unstructured":"Chiaki Sakama and Hirohisa Seki. Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. In Logic Program Synthesis and Transformation \u2014 Meta Programming in Logic, LNCS 883, pages 170\u2013182, Berlin, 1995. Springer."},{"key":"19_CR24","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"Allen van Gelder, Kenneth A. Ross, and John S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38:620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"issue":"2","key":"19_CR25","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1016\/S0022-0000(05)80053-4","volume":"49","author":"J. You","year":"1994","unstructured":"Jia-Huai You and Li-Yan Yuan. A three-valued semantics for deductive databases and logic programs. Journal of Computer and System Sciences, 49(2):334\u2013361, 1994.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61630-6_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:35:17Z","timestamp":1619573717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61630-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616306","9783540706434"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-61630-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}