{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:27Z","timestamp":1725663927039},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540540090"},{"type":"electronic","value":"9783540473480"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54009-1_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:22:25Z","timestamp":1330208545000},"page":"59-73","source":"Crossref","is-referenced-by-count":2,"title":["On the relationship between well-founded and stable partial models"],"prefix":"10.1007","author":[{"given":"E.","family":"Laenens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Vermeir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"5_CR1","unstructured":"M. Ben-Jacob and M. Fitting, \u201cStratified and three-valued logic programming semantics,\u201d Proc. 5th Int. Conf. and Symp. on Logic Programming, pp. 1054\u20131068, 1988."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K. Ross, and J. S. Schlipf, \u201cUnfounded Sets and Well-Founded Semantics for General Logic Programs,\u201d in Proc. of the Symposium on Principles of Database Systems, pp. 221\u2013230, 1988.","DOI":"10.1145\/308386.308444"},{"key":"5_CR3","unstructured":"M. Gelfond and V. Lifschitz, \u201cThe Stable Model Semantics for Logic Programming,\u201d in Proc. of the Intl. Conf. on Logic Programming, pp. 1071\u20131079, 1988."},{"key":"5_CR4","unstructured":"E. Laenens and D. Vermeir, A Fixpoint Semantics of Ordered Logic, 1989. University of Antwerp, UIA Tech. Report 89-27"},{"issue":"2","key":"5_CR5","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1093\/logcom\/1.2.159","volume":"1","author":"E. Laenens","year":"1990","unstructured":"E. Laenens and D. Vermeir, \u201cA Fixpoint Semantics of Ordered Logic,\u201d Journal of Logic and Computation, vol. 1, no. 2, pp. 159\u2013185, 1990.","journal-title":"Journal of Logic and Computation"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"E. Laenens, D. Sacca, and D. Vermeir, \u201cExtending logic programming,\u201d in Proceedings of the SIGMOD conference, pp. 184\u2013193, 1990.","DOI":"10.1145\/93597.98728"},{"key":"5_CR7","unstructured":"E. Laenens and D. Vermeir, Assumption-free semantics for ordered logic programs: on the relationship between well-founded and stable partial models, 1990. University of Antwerp, Tech. Report 90-19"},{"key":"5_CR8","unstructured":"E. Laenens, Foundations of Ordered Logic, 1990. PhD Thesis, University of Antwerp UIA"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd, in Foundations of Logic Programming, Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0167-9236(88)90100-5","volume":"4","author":"D. Nute","year":"1988","unstructured":"D. Nute, \u201cDefeasible reasoning and decision support systems,\u201d Decision support systems, vol. 4, pp. 97\u2013110, 1988.","journal-title":"Decision support systems"},{"key":"5_CR11","unstructured":"T. Przymusinski, \u201cThree-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming,\u201d Proc. 1st Int. Conference on Principles of Knowledge Representation and Reasoning, pp. 341\u2013349, 1989."},{"key":"5_CR12","unstructured":"T. C. Przymusinski, \u201cPerfect Model Semantics,\u201d in Proc. of the Intl. Conf. on Logic Programming, 1988."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"T. C. Przymusinski, \u201cEvery logic program has a natural stratification and an iterated fixed point model,\u201d in Proc. of the Symposium on Principles Of Database Systems, pp. 11\u201321, 1989.","DOI":"10.1145\/73721.73723"},{"key":"5_CR14","first-page":"55","volume-title":"Logic and Databases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter, \u201cOn closed world databases,\u201d Logic and Databases, pp. 55\u201376, Plenum, New York, 1978. Also in \u2018Readings in nonmonotonic reasoning', M.L. Ginsberg"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"D. Sacca and C. Zaniolo, \u201cStable models and Non-determinism for logic programs with negation,\u201d Proc. ACM Symp. on Principles of Database Systems, 1990.","DOI":"10.1145\/298514.298572"},{"key":"5_CR16","first-page":"1","volume":"1","author":"D. Vermeir","year":"1989","unstructured":"D. Vermeir, D. Nute, and P. Geerts, \u201cA logic for defeasible perspectives,\u201d in Proc. of the 1988 Tubingen Workshop on Semantic Networks and Nonmonotonic Reasoning, Vol. 1, pp. 1\u201327, SNS-Bericht 89-48, 1989.","journal-title":"Proc. of the 1988 Tubingen Workshop on Semantic Networks and Nonmonotonic Reasoning"},{"key":"5_CR17","first-page":"534","volume":"III","author":"D. Vermeir","year":"1990","unstructured":"D. Vermeir, D. Nute, and P. Geerts, \u201cModeling Defeasible Reasoning with Multiple Agents,\u201d in Proc. of the HICSS, Vol. III, pp. 534\u2013543, 1990.","journal-title":"Proc. of the HICSS"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Jia-Huai You and Li Yan Yuan, \u201cThree-Valued Formalization of Logic Programming: Is It Needed?,\u201d in Proc. of the PODS'90 conference, pp. 172\u2013182, 1990.","DOI":"10.1145\/298514.298559"}],"container-title":["Lecture Notes in Computer Science","MFDBS 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54009-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:23Z","timestamp":1619572703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54009-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540090","9783540473480"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-54009-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}