{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:16:15Z","timestamp":1773148575563,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540540090","type":"print"},{"value":"9783540473480","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54009-1_25","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:22:48Z","timestamp":1330208568000},"page":"357-371","source":"Crossref","is-referenced-by-count":22,"title":["A database needs two kinds of negation"],"prefix":"10.1007","author":[{"given":"Gerd","family":"Wagner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"25_CR1","unstructured":"K.R. Apt and M. Bezem: Acyclic Programs, in D. Warren and P. Szeredi (eds.), Logic Programming: Proc. Int. Conf. and Symp. 1990"},{"issue":"6","key":"25_CR2","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"E.F. Codd: A Relational Model of Data for Large Shared Data Banks, Communications of the ACM 13\/6 (1970), 377\u2013387","journal-title":"Communications of the ACM"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"N.C.A. da Costa, L.J. Henschen, J.J. Lu and V.S. Subrahmanian: Automatic Theorem Proving in Paraconsistent Logics, in M.E. Stickel (ed.), Proc. 10th Int. Conf. Automated Deduction 1990, Springer Lecture Notes in AI, Vol. 449","DOI":"10.1007\/3-540-52885-7_80"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K. Ross and J.S. Schlipf: Unfounded Sets and Well-founded Semantics for General Logic Programs, in Proc. 7th Symp. on Principles of Database Systems 1988, 221\u2013230","DOI":"10.1145\/308386.308444"},{"key":"25_CR5","unstructured":"M. Gelfond and V. Lifschitz: Logic Programs with Classical Negation, in D. Warren and P. Szeredi (eds.), Logic Programming: Proc. Int. Conf. and Symp. 1990"},{"key":"25_CR6","volume-title":"Experience and theory","author":"S. K\u00f6rner","year":"1966","unstructured":"S. K\u00f6rner: Experience and theory, Kegan Paul, London 1966"},{"key":"25_CR7","unstructured":"R. Kowalski and F. Sadri: Logic Programs with Exceptions, in D. Warren and P. Szeredi (eds.), Logic Programming: Proc. Int. Conf. and Symp. 1990"},{"key":"25_CR8","unstructured":"T. Langholm: Partiality, Truth and Persistence, CSLI Lecture Notes No. 15, University of Chicago Press, 1988"},{"key":"25_CR9","first-page":"81","volume":"30","author":"H.J. Levesque","year":"1986","unstructured":"H.J. Levesque: Making Believers out of Computers, AI 30 (1986), 81\u2013107","journal-title":"AI"},{"key":"25_CR10","first-page":"16","volume":"14","author":"D. Nelson","year":"1949","unstructured":"D. Nelson: Constructible falsity, JSL 14 (1949), 16\u201326","journal-title":"JSL"},{"key":"25_CR11","unstructured":"D. Pearce and G. Wagner: Reasoning with Negative Information I \u2014 Strong Negation in Logic Programs, LWI Technical Report 4\/1989, Freie Universit\u00e4t Berlin, also in L. Haarparanta (ed.), Proc. Symp. on the Philosophy of Jaakko Hintikka, Helsinki 1990"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"T.C. Przymusinski: On the Declarative Semantics of Stratified Deductive Databases and Logic Programs, in J. Minker (ed.): Foundations of Deductive Databases and Logic Programming, Morgan Kaufman, 1988","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"25_CR13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00243002","volume":"5","author":"T.C. Przymusinski","year":"1989","unstructured":"T.C. Przymusinski: On the Declarative and Procedural Semantics of Logic Programs, J. Automated Reasoning 5 (1989), 167\u2013205","journal-title":"J. Automated Reasoning"},{"key":"25_CR14","unstructured":"T.C. Przymusinski: Non-Monotonic Formalisms and Logic Programming, in Proc. Conf. on Logic Programming 1989, MIT 1989"},{"key":"25_CR15","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","volume":"XIII","author":"T.C. Przymusinski","year":"1990","unstructured":"T.C. Przymusinski: Well-founded Semantics Coincides with Three-Valued Stable Semantics, Fundamenta Informaticae XIII (1990), 445\u2013463","journal-title":"Fundamenta Informaticae"},{"key":"25_CR16","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF00248321","volume":"5","author":"A. Rajasekar","year":"1989","unstructured":"A. Rajasekar, J. Lobo and J. Minker: Weak Generalized Closed World Assumption, J. Automated Reasoning 5 (1989), 293\u2013307","journal-title":"J. Automated Reasoning"},{"key":"25_CR17","unstructured":"R. Reiter: On Closed-World Databases, in J. Minker and H. Gallaire (eds.): Logic and Databases, Plenum Press, 1978"},{"key":"25_CR18","volume-title":"Proc. of the GMD Workshop on Nonmonotonic Reasoning 1989","author":"G. Wagner","year":"1990","unstructured":"G. Wagner: The Two Sources of Nonmonotonicity in Vivid Logic \u2014 Inconsistency Handling and Weak Falsity, in G. Brewka and H. Freitag (eds.), Proc. of the GMD Workshop on Nonmonotonic Reasoning 1989, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bonn \u2014 St. Augustin, 1990"},{"key":"25_CR19","unstructured":"G. Wagner: Logic Programming with Strong Negation and Inexact Predicates, LWI Technical Report 11\/1990, Freie Universit\u00e4t Berlin, also to appear in Journal of Logic and Computation"}],"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_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:35:17Z","timestamp":1640921717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54009-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540090","9783540473480"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-54009-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}