{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T22:20:35Z","timestamp":1761862835558},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1983,3,1]],"date-time":"1983-03-01T00:00:00Z","timestamp":415324800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1983,3]]},"DOI":"10.1007\/bf03037025","type":"journal-article","created":{"date-parts":[[2009,4,17]],"date-time":"2009-04-17T02:47:37Z","timestamp":1239936457000},"page":"87-91","source":"Crossref","is-referenced-by-count":9,"title":["A prolog extension for handling negative knowledge"],"prefix":"10.1007","volume":"1","author":[{"given":"Hitoshi","family":"Aida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidehiko","family":"Tanaka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tohru","family":"Moto-Oka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037025_CR1","first-page":"569","volume":"74","author":"R. Kowalski","year":"1974","unstructured":"Kowalski, R.: Predicate Logic as Programming Language, IFIP 74 (North-Holland, 1974) 569.","journal-title":"IFIP"},{"key":"BF03037025_CR2","unstructured":"Fifth Generation Computer Systems, ed. T. Moto-oka (North-Holland, 1982)."},{"key":"BF03037025_CR3","unstructured":"Aida, H.: Heiretsu Prolog System \u201cParalog\u201d ni tsuite (on the Parallel Prolog System \u201cParalog\u201d), Proc. of Prolog Conf. (Tsukuba, 1982) 18. [in Japanese]"},{"key":"BF03037025_CR4","unstructured":"Warren, D. H. D.: Implementing Prolog\u2014Compiling Predicate Logic Programs, D. A. I. Research reports,39\u201340 (University of Edinburgh, 1977)."},{"key":"BF03037025_CR5","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"McDermott, D. and Doyle, J.: Non-Monotonic Logic I, Artificial Intelligence13, (North-Holland, 1980) 41.","journal-title":"Artificial Intelligence"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037025.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037025\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:27Z","timestamp":1558572747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,3]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1983,3]]}},"alternative-id":["BF03037025"],"URL":"https:\/\/doi.org\/10.1007\/bf03037025","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983,3]]}}}