{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T19:23:54Z","timestamp":1763580234404},"reference-count":10,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[1986,4,1]],"date-time":"1986-04-01T00:00:00Z","timestamp":512697600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Expert"],"published-print":{"date-parts":[[1986,4]]},"DOI":"10.1109\/mex.1986.5006497","type":"journal-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T20:40:39Z","timestamp":1243975239000},"page":"36-43","source":"Crossref","is-referenced-by-count":11,"title":["Declarative Knowledge Programming: Better Than Procedural?"],"prefix":"10.1109","volume":"1","author":[{"given":"Marshall I.","family":"Schor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-108550-6.50012-4"},{"key":"ref3","author":"brownston","year":"1985","journal-title":"Programming Expert Systems in OPS5"},{"key":"ref10","author":"forgy","year":"1979","journal-title":"On the efficient implementation of production systems"},{"key":"ref6","author":"coelho","year":"1980","journal-title":"How To Solve It With Prolog"},{"key":"ref5","first-page":"357","year":"0","journal-title":"Readings in Knowledge Representation"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"ref7","first-page":"79","article-title":"choices without backtracking","author":"de kleer","year":"1984","journal-title":"Proc AAAI"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.301.0014"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90039-X"},{"key":"ref1","author":"doyle","year":"1978","journal-title":"Truth maintenance systems for problem solving"}],"container-title":["IEEE Expert"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/64\/5006481\/05006497.pdf?arnumber=5006497","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:48:40Z","timestamp":1642006120000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5006497\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,4]]},"references-count":10,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/mex.1986.5006497","relation":{},"ISSN":["0885-9000","2374-9407"],"issn-type":[{"value":"0885-9000","type":"print"},{"value":"2374-9407","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,4]]}}}