{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T22:45:33Z","timestamp":1774046733514,"version":"3.50.1"},"reference-count":0,"publisher":"ACM","isbn-type":[{"value":"9781970001990","type":"print"}],"license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9,1]]},"DOI":"10.1145\/3191315.3191321","type":"book-chapter","created":{"date-parts":[[2018,9,24]],"date-time":"2018-09-24T16:40:06Z","timestamp":1537807206000},"page":"279-323","source":"Crossref","is-referenced-by-count":27,"title":["Predicate logic as a modeling language: the IDP system"],"prefix":"10.1145","author":[{"given":"Broes","family":"De Cat","sequence":"first","affiliation":[]},{"given":"Bart","family":"Bogaerts","sequence":"additional","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]},{"given":"Gerda","family":"Janssens","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]}],"member":"320","container-title":["Declarative Logic Programming: Theory, Systems, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191315.3191321","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/ft_gateway.cfm?id=3191321&ftid=2002868&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:31Z","timestamp":1750212691000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/citation.cfm?id=3191321"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,1]]},"ISBN":["9781970001990"],"references-count":0,"URL":"https:\/\/doi.org\/10.1145\/3191315.3191321","relation":{},"subject":[],"published":{"date-parts":[[2018,9,1]]}}}