{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:00:05Z","timestamp":1725649205133},"reference-count":0,"publisher":"AIP Publishing LLC","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1063\/1.4912930","type":"proceedings-article","created":{"date-parts":[[2015,3,12]],"date-time":"2015-03-12T00:31:19Z","timestamp":1426120279000},"page":"710006","source":"Crossref","is-referenced-by-count":1,"title":["A logic for robotics?"],"prefix":"10.1063","volume":"1648","author":[{"given":"Alexandre","family":"Madeira","sequence":"first","affiliation":[]},{"given":"Renato","family":"Neves","sequence":"additional","affiliation":[]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"317","event":{"name":"PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014)","location":"Rhodes, Greece"},"container-title":["AIP Conference Proceedings"],"original-title":[],"deposited":{"date-parts":[[2023,4,20]],"date-time":"2023-04-20T04:59:11Z","timestamp":1681966751000},"score":1,"resource":{"primary":{"URL":"https:\/\/pubs.aip.org\/aip\/acp\/article\/589751"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1063\/1.4912930","relation":{},"ISSN":["0094-243X"],"issn-type":[{"type":"print","value":"0094-243X"}],"subject":[],"published":{"date-parts":[[2015]]}}}