{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:16Z","timestamp":1720624936258},"reference-count":16,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3589,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1016\/s1571-0661(04)80765-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"51-68","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Topological Investigations of the Operators of the Well-Founded, and Alternating Fixed-Point Semantics of Normal Logic Programs"],"prefix":"10.1016","volume":"74","author":[{"given":"Roland","family":"Heinze","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB1","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1989-12305","article-title":"Topological model set deformations in logic programming","volume":"12","author":"Batarekh","year":"1989","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","article-title":"Kripke-Kleene-semantics for general logic programs","volume":"2","author":"Fitting","year":"1985","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB3","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","article-title":"Bilattices and the semantics of logic programming","volume":"11","author":"Fitting","year":"1991","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB4","unstructured":"Fitting M., Well-founded semantics, generalized, in: Proceedings of the International Symposium on Logic Programming (1991), pp. 71\u201384."},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB5","unstructured":"Heinz, R., \u201cTopological and Generalized Metric Methods for Logic Programming Semantics,\u201d Diplomarbeit in Informatik, Universit\u00e4t Bonn (2001)."},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB6","unstructured":"Heinz, R., P. Hitzler and A. K. Seda, Convergence classes and spaces of partial functions, in: Proceedings of the International Symposium on Domain Theory, Chengdu, China, 2001, Kluwer Academic Publishers, to appear."},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB7","series-title":"\u201cFoundations of Logic Programming\u201d","author":"Lloyd","year":"1987"},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB8","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","article-title":"The well-founded semantics coincides with the three\u2013valued stable semantics","volume":"13","author":"Przymusinski","year":"1990","journal-title":"Special Edition of Fundamenta Informaticae on Non\u2013Monotonic Reasoning"},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1006\/inco.2001.3073","article-title":"Clausal logic and logic programming in algebraic domains","volume":"171","author":"Rounds","year":"2001","journal-title":"Information and computation"},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB10","doi-asserted-by":"crossref","first-page":"359","DOI":"10.3233\/FI-1995-2443","article-title":"Topology and the semantics of logic programs","volume":"24","author":"Seda","year":"1995","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB11","first-page":"447","article-title":"Some convergence issues in theoretical computer science","volume":"5","author":"Seda","year":"2002","journal-title":"Information"},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB12","unstructured":"Seda, A. K. and P. Hitzler, Topology and iterates in computational logic, in: Proceedings of the 12th Summer Conference on Topology and its Applications: Special Session on Topology in computer Science, Ontario, 1997, Topology Proceedings 22:427\u2013469, 1999."},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB13","series-title":"2nd Irish Workshop on Formaol Methods(IWFM-'98), Cork, 1998, EWIC","first-page":"1","article-title":"Strictly level-decreasing logic programs","author":"Seda","year":"1999"},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB14","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","article-title":"The alternating fixpoint of logic programs with negation","volume":"47","author":"van Gelder","year":"1993","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB15","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","article-title":"The well-founded semantics for general logic programs","volume":"38","author":"van Gelder","year":"1991","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1571-0661(04)80765-5_NEWBIB16","series-title":"Series in Mathematics","article-title":"\u201cGeneral Topoloby\u201d","author":"Willard","year":"1970"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807655?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807655?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,6,26]],"date-time":"2021-06-26T01:51:56Z","timestamp":1624672316000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104807655"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":16,"alternative-id":["S1571066104807655"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80765-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}