{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T13:12:34Z","timestamp":1673701954828},"reference-count":16,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[2000,5]]},"DOI":"10.1016\/s0020-0190(00)00046-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T15:58:18Z","timestamp":1027612698000},"page":"147-156","source":"Crossref","is-referenced-by-count":8,"title":["A necessary condition for Constructive Negation in Constraint Logic Programming"],"prefix":"10.1016","volume":"74","author":[{"given":"Agostino","family":"Dovier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianfranco","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0020-0190(00)00046-6_ID007","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","article-title":"Logic programming and negation: A survey","volume":"Vol. 19\u201320","author":"Apt","year":"1994","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0020-0190(00)00046-6_ID008","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0743-1066(90)90023-X","article-title":"A transformation approach to negation in logic programming","volume":"Vol. 8","author":"Barbuti","year":"1990","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0020-0190(00)00046-6_ID009","series-title":"Logic Programming, Proc. 5th International Conference and Symposium","first-page":"111","article-title":"Constructive Negation based on the completed database","author":"Chan","year":"1988"},{"issue":"1","key":"10.1016\/S0020-0190(00)00046-6_ID010","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(95)00147-6","article-title":"{log}: A language for programming in logic with finite sets","volume":"Vol. 28","author":"Dovier","year":"1996","journal-title":"J. Logic Programming"},{"issue":"2\/3","key":"10.1016\/S0020-0190(00)00046-6_ID011","doi-asserted-by":"crossref","first-page":"201","DOI":"10.3233\/FI-1998-36235","article-title":"A uniform axiomatic view of lists, multisets and sets, and the relevant unification algorithms","volume":"Vol. 36","author":"Dovier","year":"1998","journal-title":"Fund. Inform."},{"issue":"1","key":"10.1016\/S0020-0190(00)00046-6_ID012","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF01185404","article-title":"What is failure? An approach to constructive negation","volume":"Vol. 32","author":"Drabent","year":"1995","journal-title":"Acta Inform."},{"key":"10.1016\/S0020-0190(00)00046-6_ID013","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1973"},{"issue":"2","key":"10.1016\/S0020-0190(00)00046-6_ID014","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0743-1066(96)00092-1","article-title":"Constructive Negation by pruning","volume":"Vol. 32","author":"Fages","year":"1997","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0020-0190(00)00046-6_ID015","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","article-title":"Constraint logic programming: A survey","volume":"Vol. 19\u201320","author":"Jaffar","year":"1994","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0020-0190(00)00046-6_ID016","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","article-title":"The semantics of constraint logic programs","volume":"Vol. 37","author":"Jaffar","year":"1998","journal-title":"J. Logic Programming"},{"issue":"3","key":"10.1016\/S0020-0190(00)00046-6_ID017","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","article-title":"Making Prolog more expressive","volume":"Vol. 1","author":"Lloyd","year":"1984","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0020-0190(00)00046-6_ID018","series-title":"Proc. 3rd Symposium Logic in Computer Science, Edinburgh","first-page":"349","article-title":"Complete axiomatizations of the algebras of finite, rational and infinite trees","author":"Maher","year":"1988"},{"key":"10.1016\/S0020-0190(00)00046-6_ID019","series-title":"Logic Programming, Proceedings of the North American Conference 1989","article-title":"On constructive negation in logic programming","author":"Przymusinski","year":"1989"},{"key":"10.1016\/S0020-0190(00)00046-6_ID020","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"19","article-title":"Negation in logic programming","author":"Shepherdson","year":"1988"},{"key":"10.1016\/S0020-0190(00)00046-6_ID021","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1006\/inco.1995.1048","article-title":"Negation and constraint logic programming","volume":"Vol. 1","author":"Stuckey","year":"1995","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0020-0190(00)00046-6_ID022","series-title":"Proc. 1960 International Congress","first-page":"14","article-title":"On a theorem of Cobham concerning undecidable theories","author":"Vaught","year":"1962"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019000000466?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019000000466?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,10]],"date-time":"2020-01-10T22:00:56Z","timestamp":1578693656000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019000000466"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,5]]},"references-count":16,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2000,5]]}},"alternative-id":["S0020019000000466"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0190(00)00046-6","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[2000,5]]}}}