{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:18:08Z","timestamp":1729678688729,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.1990.122627","type":"proceedings-article","created":{"date-parts":[[2002,12,4]],"date-time":"2002-12-04T15:46:26Z","timestamp":1039016786000},"page":"238-246","source":"Crossref","is-referenced-by-count":42,"title":["Bilattices in logic programming"],"prefix":"10.1109","author":[{"given":"M.","family":"Fitting","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Readings in Nonmonotonic Reasoning","first-page":"311","year":"1987","key":"ref4b"},{"key":"ref4a","first-page":"293","author":"clark","year":"1978","journal-title":"Logic and Databases"},{"key":"ref10","first-page":"1054","article-title":"Stratified and three-valued logic programming semantics","author":"fitting","year":"1988","journal-title":"Logic Programming Proc of the Fifth International Conference and Symposium"},{"key":"ref11","article-title":"Stratified, weak stratified and three-valued semantics","author":"fitting","year":"0","journal-title":"Fundamenta Informaticae"},{"key":"ref12","first-page":"243","article-title":"Multi-valued logics","author":"ginsberg","year":"1986","journal-title":"Proc AAAI-98 Fifth National Conference on Artificial Intelligence"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"journal-title":"Introduction to Metamathematics","year":"1950","author":"kleene","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(87)90007-0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(89)90022-8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6"},{"key":"ref18","first-page":"102","author":"morishita","year":"1988","journal-title":"Lattice-valued Programs"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7"},{"key":"ref3","first-page":"8","author":"belnap","year":"1977","journal-title":"Modern Uses of Multiple-Valued Logic"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/FI-1988-11206","article-title":"Logic programming on a topological bilattice","volume":"11","author":"fitting","year":"1988","journal-title":"Fundamenta Informaticae"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(85)80005-4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF00274066"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39159"},{"key":"ref2","first-page":"89","author":"apt","year":"1987","journal-title":"Foundations of Deductive Databases and Logic Programming"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/322326.322339"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90014-G"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(86)90003-8"}],"event":{"name":"Twentieth International Symposium on Multiple-Valued Logic","location":"Charlotte, NC, USA"},"container-title":["Proceedings of the Twentieth International Symposium on Multiple-Valued Logic"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/288\/3484\/00122627.pdf?arnumber=122627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,31]],"date-time":"2021-05-31T19:25:32Z","timestamp":1622489132000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/122627\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/ismvl.1990.122627","relation":{},"subject":[]}}