乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T15:07:19Z","timestamp":1745334439892},"reference-count":46,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5533,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1998,6]]},"DOI":"10.1016\/s0004-3702(98)00032-0","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T11:20:41Z","timestamp":1027596041000},"page":"97-141","source":"Crossref","is-referenced-by-count":170,"title":["The value of the four values"],"prefix":"10.1016","volume":"102","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[]},{"given":"Arnon","family":"Avron","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(98)00032-0_BIB1","volume":"Vol. 1","author":"Anderson","year":"1975"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB2","series-title":"Proceedings 9th IEEE Annual Symposium on Logic in Computer Science","first-page":"468","article-title":"Logical bilattices and inconsistent data","author":"Arieli","year":"1994"},{"issue":"1","key":"10.1016\/S0004-3702(98)00032-0_BIB3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","article-title":"Reasoning with logical bilattices","volume":"5","author":"Arieli","year":"1996","journal-title":"J. Logic, Language and Information"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB4","series-title":"Proceedings First World Congress on Paraconsistency","article-title":"Bilattices and paraconsistency","author":"Arieli","year":"1997"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB5","unstructured":"O. Arieli, A. Avron, A model-theoretic approach to recover consistent data from inconsistent knowledgebases, J. Automat. Reasoning, to appear."},{"issue":"1","key":"10.1016\/S0004-3702(98)00032-0_BIB6","doi-asserted-by":"crossref","first-page":"276","DOI":"10.2307\/2274919","article-title":"Natural 3-valued logics: characterization and proof theory","volume":"56","author":"Avron","year":"1991","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB7","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S0960129500001018","article-title":"The structure of interlaced bilattices","volume":"6","author":"Avron","year":"1996","journal-title":"J. Math. Structures in Computer Science"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB8","series-title":"Modern Uses of Multiple-Valued Logic","first-page":"7","article-title":"A useful four-valued logic","author":"Belnap","year":"1977"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB9","series-title":"Contemporary Aspects of Philosophy","first-page":"30","article-title":"How computer should think","author":"Belnap","year":"1977"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB10","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","article-title":"On the theory of inconsistent formal systems","volume":"15","author":"da Costa","year":"1974","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB11","series-title":"Proceedings 7th Portuguese Conference on Artificial Intelligence","first-page":"409","article-title":"A model theory for paraconsistent logic programming","volume":"Vol. 990","author":"Damasio","year":"1995"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB12","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(80)90013-2","article-title":"Note on the mathematics of nonmonotonic reasoning","volume":"13","author":"Davis","year":"1980","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(98)00032-0_BIB13","first-page":"31","article-title":"The completeness and compactness of a three-valued first-order logic","volume":"XIX","author":"D'Ottaviano","year":"1985","journal-title":"Revista Colombiana de Matematicas"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB14","article-title":"Relevant logic and entailment","volume":"III","author":"Dunn","year":"1986"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB15","article-title":"The Semantic Foundation of Logic","volume":"Vol. I","author":"Epstein","year":"1990"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB16","series-title":"Proceedings 4th Annual Symposium on Logic in Computer Science","first-page":"63","article-title":"Negation as refutation","author":"Fitting","year":"1989"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB17","series-title":"20th International Symposium on Multiple-Valued Logic","first-page":"238","article-title":"Bilattices in logic programming","author":"Fitting","year":"1990"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB18","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1093\/logcom\/1.6.797","article-title":"Kleene's logic, generalized","volume":"1","author":"Fitting","year":"1990","journal-title":"J. Logic Comput."},{"issue":"2","key":"10.1016\/S0004-3702(98)00032-0_BIB19","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":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB20","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","article-title":"The family of stable models","volume":"17","author":"Fitting","year":"1993","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB21","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/FI-1994-201234","article-title":"Kleene's three-valued logics and their children","volume":"20","author":"Fitting","year":"1994","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"10.1016\/S0004-3702(98)00032-0_BIB22","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1080\/11663081.1993.10510806","article-title":"Note on a six-valued extension of three-valued logic","volume":"3","author":"Font","year":"1993","journal-title":"J. Appl. Non-Classical Logic"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB23","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0004-3702(91)90043-J","article-title":"Rationality, transitivity and contraposition","volume":"52","author":"Freund","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB24","series-title":"Proceedings NATO Advanced Study Inst. on Logic and Models of Concurent Systems","first-page":"439","article-title":"Theoretical foundation for nonmonotonic reasoning in expert systems","author":"Gabbay","year":"1985"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB25","series-title":"Proceedings 5th Logic Programming Symposium","first-page":"1070","article-title":"The stable model semantics for logic programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB26","series-title":"Readings in Nonmonotonic Reasoning","first-page":"251","article-title":"Multi-valued logics","author":"Ginsberg","year":"1987"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB27","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","article-title":"Multivalued logics: a uniform approach to reasoning in AI","volume":"4","author":"Ginsberg","year":"1988","journal-title":"Computer Intelligence"},{"issue":"2","key":"10.1016\/S0004-3702(98)00032-0_BIB28","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00245460","article-title":"A logic for reasoning with inconsistency","volume":"9","author":"Kifer","year":"1992","journal-title":"J. Automat. Reasoning"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(98)00032-0_BIB29","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Nonmonotonic reasoning, preferential models and cumulative logics","volume":"44","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB30","series-title":"Proceedings 5th Conference of Computer Science Logic","first-page":"227","article-title":"Plausibility logic","author":"Lehmann","year":"1992"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","article-title":"What does a conditional knowledge base entail?","volume":"55","author":"Lehmann","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB32","series-title":"Proceedings 2nd International Workshop on Nonmonotonic Reasoning","first-page":"202","article-title":"Benchmark problems for formal nonmonotonic reasoning","author":"Lifschitz","year":"1988"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB33","first-page":"1","article-title":"General theory of cumulative inference, nonmonotonic reasoning","volume":"Vol. 346","author":"Makinson","year":"1989"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB34","first-page":"35","article-title":"General patterns in nonmonotonic reasoning","volume":"Vol. 3","author":"Makinson","year":"1994"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB35","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription\u2014a form of nonmonotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB36","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF02432151","article-title":"Seventy-five problems for testing automatic theorem provers","volume":"2","author":"Pelletier","year":"1986","journal-title":"J. Automat. Reasoning"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB37","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(89)90027-1","article-title":"Reasoning about truth","volume":"39","author":"Priest","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB38","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF00370190","article-title":"Minimally Inconsistent LP","volume":"50","author":"Priest","year":"1991","journal-title":"Studia Logica"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB39","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0020-0255(89)90003-0","article-title":"On interpretation of inconsistent theories","volume":"47","author":"Rozoner","year":"1989","journal-title":"Information Sciences"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB40","article-title":"Nonmonotonic logics\u2014basic concepts, results, and techniques","volume":"Vol. 1187","author":"Schlechta","year":"1997"},{"issue":"1","key":"10.1016\/S0004-3702(98)00032-0_BIB41","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00215627","article-title":"Evidential bilattice logic and lexical inferences","volume":"5","author":"Schoter","year":"1996","journal-title":"J. Logic, Language and Information"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB42","series-title":"Readings in Nonmonotonic Reasoning","first-page":"227","article-title":"A semantical approach to nonmonotonic logics","author":"Shoham","year":"1987"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB43","series-title":"Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence","author":"Shoham","year":"1988"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB44","first-page":"7","article-title":"Mechanical proof procedures for many valued lattice-based logic programming","volume":"7","author":"Subrahmanian","year":"1990","journal-title":"J. Nonclassical Logic"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB45","series-title":"Proceedings 20th International Symposium on Multiple Logic","first-page":"339","article-title":"Paraconsistent disjunctive deductive databases","author":"Subrahmanian","year":"1990"},{"key":"10.1016\/S0004-3702(98)00032-0_BIB46","article-title":"Disjunctive, deductive and active knowledge bases","author":"Wagner","year":"1994"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000320?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000320?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T05:48:48Z","timestamp":1578462528000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370298000320"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["S0004370298000320"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(98)00032-0","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}