{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:08:37Z","timestamp":1762099717445},"reference-count":31,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":5800,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1997,9]]},"DOI":"10.1016\/s0743-1066(96)00115-x","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T23:53:40Z","timestamp":1051142020000},"page":"207-228","source":"Crossref","is-referenced-by-count":56,"title":["Characterizations of the disjunctive stable semantics by partial evaluation"],"prefix":"10.1016","volume":"32","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":"78","reference":[{"key":"10.1016\/S0743-1066(96)00115-X_BIB1","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"89","article-title":"Towards a Theory of Declarative Knowledge","author":"Apt","year":"1988"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB2","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF03038308","article-title":"Partial Deduction of Logic Programs wrt Well-Founded Semantics","volume":"13","author":"Aravindan","year":"1994","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB3","series-title":"Proceedings of the 10th Workshop on Logic Programming","article-title":"A Characterization of the Stable Semantics by Partial Evaluation","author":"Brass","year":"1994"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB4","series-title":"Innovationen bei Rechen- und Kommunikationssystemen (IFIP'94-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases)","first-page":"83","article-title":"A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation","author":"Brass","year":"1994"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB5","series-title":"Nonmonotonic Extensions of Logic Programming, LNAI 927","first-page":"127","article-title":"A General Approach to Bottom-Up Computation of Disjunctive Semantics","author":"Brass","year":"1995"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB6","series-title":"Logic Programming and Non-Monotonic Reasoning, Proceedings of the Third International Conference, LNCS 928","first-page":"85","article-title":"Characterizations of the Stable Semantics by Partial Evaluation","author":"Brass","year":"1995"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB7","series-title":"Proceedings of the 12th International Conference on Logic Programming","first-page":"199","article-title":"Disjunctive Semantics Based upon Partial and Bottom-Up Evaluation","author":"Brass","year":"1995"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB8","series-title":"JELIA '96, LNCS 1126","first-page":"268","article-title":"Characterizing D-WFS: Confluence and Iterated GCWA","author":"Brass","year":"1996"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB9","doi-asserted-by":"crossref","unstructured":"Brass, S. and Dix, J., Semantics of Disjunctive Logic Programs Based on Partial Evaluation, J. Logic Programming, to appear.","DOI":"10.1016\/S0743-1066(98)10030-4"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB10_1","series-title":"Technical Report","article-title":"Knowledge Representation with Logic Programs","author":"Brass","year":"1996"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB10_2","article-title":"Technical Report 15\/96","volume":"Vol. 6","author":"Brass","year":"1996"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB11","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference","first-page":"529","article-title":"Super Logic Programs","author":"Brass","year":"1996"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB12","series-title":"Information Systems and Artificial Intelligence: Integration Aspects","first-page":"30","article-title":"Negation in Logic Programming: A Formalization in Constructive Logic","author":"Bry","year":"1990"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB13","series-title":"Logic and Data-Bases","first-page":"293","article-title":"Negation as Failure","author":"Clark","year":"1978"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB14","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference","first-page":"591","article-title":"A Framework for Representing and Characterizing Semantics of Logic Programs","author":"Dix","year":"1992"},{"issue":"3","key":"10.1016\/S0743-1066(96)00115-X_BIB15","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","article-title":"Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties","volume":"XXII","author":"Dix","year":"1995","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"10.1016\/S0743-1066(96)00115-X_BIB16","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","article-title":"A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties","volume":"XXII","author":"Dix","year":"1995","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB17","series-title":"Proceedings of North American Conference","article-title":"A Fixpoint Approach to Declarative Semantics of Logic Programs","author":"Dung","year":"1989"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB18","series-title":"Proceedings of the 11th International Conference on Logic Programming","first-page":"303","article-title":"An Axiomatic Framework for Representing and Characterizing Semantics of Disjunctive Logic Programs","author":"Dix","year":"1994"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB19","series-title":"Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems, LNAI 869","first-page":"511","article-title":"Partial Evaluation and Relevance for Approximations of the Stable Semantics","author":"Dix","year":"1994"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB20","series-title":"Proceedings of the 18th German Annual Conference on Artificial Intelligence, LNAI 861","first-page":"82","article-title":"The stable Semantics and Its Variants: A Comparison of Recent Approaches","author":"Dix","year":"1994"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB21","series-title":"Proceedings of the Postconference WS on Nonmonotonic Extensions of LP following JICSLP '96","first-page":"290","article-title":"Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming (Preliminary Report)","author":"Dix","year":"1996"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB22","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical Negation in Logic Programs and Disjunctive Databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB23","series-title":"Proceedings of the 8th International Conference on Logic Programming","first-page":"412","article-title":"Extended Well-Founded Model Semantics for General Logic Programs","author":"Hu","year":"1991"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB24","series-title":"Proceedings of the 6th Conference on Automated Deduction","first-page":"292","article-title":"On Indefinite Databases and the Closed World Assumption","author":"Minker","year":"1982"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB25","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"193","article-title":"On the Declarative Semantics of Deductive Databases and Logic Programs","author":"Przymusinski","year":"1988"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB26","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","article-title":"Stable Semantics for Disjunctive Programs","volume":"9","author":"Przymusinski","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB27","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/BF01530826","article-title":"Static Semantics for Normal and Disjunctive Logic Programs","volume":"14","author":"Przymusinski","year":"1995","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0743-1066(96)00115-X_BIB28","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0304-3975(91)90007-O","article-title":"Unfold\/fold Transformation of Stratified Programs","volume":"86","author":"Seki","year":"1991","journal-title":"Theoretical Computer Science"},{"issue":"1\/2","key":"10.1016\/S0743-1066(96)00115-X_BIB29","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0743-1066(93)90021-8","article-title":"Unfold\/fold Transformation of General Logic Programs for the Well-Founded Semantics","volume":"16","author":"Seki","year":"1993","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0743-1066(96)00115-X_BIB30","series-title":"Logic Program Synthesis and Transformation-Meta Programming in Logic, LNCS 883","first-page":"170","article-title":"Partial Deduction of Disjunctive Logic Programs: A Declarative Approach","author":"Sakama","year":"1995"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S074310669600115X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S074310669600115X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,4]],"date-time":"2020-02-04T20:35:40Z","timestamp":1580848540000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S074310669600115X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["S074310669600115X"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(96)00115-x","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}