{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T21:32:14Z","timestamp":1672263134971},"reference-count":30,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":6409,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1016\/0743-1066(95)00065-8","type":"journal-article","created":{"date-parts":[[2003,4,25]],"date-time":"2003-04-25T10:09:04Z","timestamp":1051265344000},"page":"31-67","source":"Crossref","is-referenced-by-count":6,"title":["Extending negation as failure by abduction: A three-valued stable model semantics"],"prefix":"10.1016","volume":"26","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Luisa","family":"Sapino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0743-1066(95)00065-8_BIB1","series-title":"Proc. ILPS-94","first-page":"424","article-title":"SLX\u2014A Top-Down Derivation Procedure for Programs with Explicit Negation","author":"Alferes","year":"1994"},{"key":"10.1016\/0743-1066(95)00065-8_BIB2","series-title":"Proc. 11th ECAI Conference","first-page":"140","article-title":"Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation","author":"Alferes","year":"1994"},{"key":"10.1016\/0743-1066(95)00065-8_BIB3","series-title":"Modern Uses of Multiple-Valued Logic","first-page":"8","article-title":"A Useful Four-Valued Logic","author":"Belnap","year":"1977"},{"key":"10.1016\/0743-1066(95)00065-8_BIB4","series-title":"Proc. of the Joint International Conference and Symposium on Logic Programming","first-page":"97","article-title":"Normal Logic Programs as Open Positive Programs","author":"Brogi","year":"1992"},{"key":"10.1016\/0743-1066(95)00065-8_BIB5","article-title":"Abductive Logic Programming","author":"Chen","year":"1989"},{"key":"10.1016\/0743-1066(95)00065-8_BIB6","series-title":"Proc. ICLP-91 Conference","first-page":"3","article-title":"Negations as Hypotheses: An Abductive Foundation for Logic Programming","author":"Dung","year":"1991"},{"key":"10.1016\/0743-1066(95)00065-8_BIB7","article-title":"Abduction Through Deduction","author":"Eshghi","year":"1988"},{"key":"10.1016\/0743-1066(95)00065-8_BIB8","series-title":"Proc. ICLP-89 Conference","first-page":"234","article-title":"Abduction Compared with Negation by Failure","author":"Eshghi","year":"1989"},{"key":"10.1016\/0743-1066(95)00065-8_BIB9","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","article-title":"A Kripke\/Kleene Semantics for Logic Programs","volume":"2","author":"Fitting","year":"1985","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/0743-1066(95)00065-8_BIB10","series-title":"Proc. ILPS-91","first-page":"71","article-title":"Well-Founded Semantics, Generalized","author":"Fitting","year":"1991"},{"issue":"2,3,4","key":"10.1016\/0743-1066(95)00065-8_BIB11","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":"Journal of Logic Programming"},{"key":"10.1016\/0743-1066(95)00065-8_BIB12","series-title":"Proc. Fifth International Conference and Symposium on Logic Programming","first-page":"1070","article-title":"The Stable Model Semantics for Logic Programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/0743-1066(95)00065-8_BIB13","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","article-title":"Multivalued Logics: A Uniform Approach to Reasoning in Artificial Intelligence","volume":"4","author":"Ginsberg","year":"1988","journal-title":"Computational Intelligence"},{"key":"10.1016\/0743-1066(95)00065-8_BIB14","series-title":"Proc. ICLP93","first-page":"586","article-title":"A Semantics for Eshghi and Kowalski's Abductive Procedure","author":"Giordano","year":"1993"},{"issue":"6","key":"10.1016\/0743-1066(95)00065-8_BIB15","doi-asserted-by":"crossref","DOI":"10.1093\/logcom\/2.6.719","article-title":"Abductive Logic Programming","volume":"2","author":"Kakas","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/0743-1066(95)00065-8_BIB16","series-title":"Proc. ECAI-90 Conference","first-page":"385","article-title":"Generalized Stable Models: A Semantics for Abduction","author":"Kakas","year":"1990"},{"key":"10.1016\/0743-1066(95)00065-8_BIB17","series-title":"Proc. ILPS-91 Conference","first-page":"85","article-title":"Stable Theories for Logic Programming","author":"Kakas","year":"1991"},{"key":"10.1016\/0743-1066(95)00065-8_BIB18","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","article-title":"Negation in Logic Programming","volume":"4","author":"Kunen","year":"1987","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/0743-1066(95)00065-8_BIB19","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","article-title":"Signed Data Dependencies in Logic Programs","volume":"7","author":"Kunen","year":"1989","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/0743-1066(95)00065-8_BIB20","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/0743-1066(95)00065-8_BIB21","series-title":"Automated Theorem Proving: A Logical Basis","author":"Loveland","year":"1978"},{"key":"10.1016\/0743-1066(95)00065-8_BIB22","series-title":"Proc. IJCAI-91 Conference","first-page":"863","article-title":"Derivation Procedures for Extended Stable Models","author":"Pereira","year":"1991"},{"key":"10.1016\/0743-1066(95)00065-8_BIB23","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","article-title":"A Logical Framework for Default Reasoning","volume":"36","author":"Poole","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(95)00065-8_BIB24","series-title":"Formal Techniques in AI","article-title":"Semantic Issues in Deductive Databases and Logic Programs","author":"Przymusinska","year":"1990"},{"key":"10.1016\/0743-1066(95)00065-8_BIB25","series-title":"Proc. ICLP-90 Conference","first-page":"459","article-title":"Extended Stable Semantics for Normal and Disjunctive Programs","author":"Przymusinski","year":"1990"},{"key":"10.1016\/0743-1066(95)00065-8_BIB26","series-title":"Proc. ACM SIGMOD-SIGACT Symp. on Principles of Database Systems","first-page":"205","article-title":"Stable Models and Non-Determinism for Logic Programs with Negation","author":"Sacc\u00e0","year":"1990"},{"key":"10.1016\/0743-1066(95)00065-8_BIB27","series-title":"Foundations of Deductive Database and Logic Programming","first-page":"313","article-title":"A Theorem-Proving Approach to Database Integrity","author":"Sadri","year":"1988"},{"key":"10.1016\/0743-1066(95)00065-8_BIB28","series-title":"Proc. 3rd International Workshop on Extensions of Logic Programming","first-page":"19","article-title":"A Correct Goal-Directed Proof Procedure for a General Logic Program with Integrity Constraints","author":"Satoh","year":"1992"},{"key":"10.1016\/0743-1066(95)00065-8_BIB29","series-title":"Proc. 8th ACM Symposium on Principles of Database Systems","first-page":"1","article-title":"The Alternating Fixpoint of Logic Programs with Negation","author":"van Gelder","year":"1989"},{"key":"10.1016\/0743-1066(95)00065-8_BIB30","series-title":"Proc. ACM Symposium on Principles of Database Systems","first-page":"221","article-title":"Unfounded Sets and Well-Founded Semantics for General Logic Programs","author":"van Gelder","year":"1988"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106695000658?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106695000658?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T14:21:40Z","timestamp":1555424500000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0743106695000658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["0743106695000658"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(95)00065-8","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}