{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:24Z","timestamp":1750221384761,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T00:00:00Z","timestamp":1519862400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ONR","award":["N00014-16-1-2278"],"award-info":[{"award-number":["N00014-16-1-2278"]}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1723963"],"award-info":[{"award-number":["1723963"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1145\/3173386.3176914","type":"proceedings-article","created":{"date-parts":[[2018,3,9]],"date-time":"2018-03-09T17:31:20Z","timestamp":1520616680000},"page":"301-302","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Inferring and Obeying Norms in Temporal Logic"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Kasenberg","sequence":"first","affiliation":[{"name":"Tufts University, Medford, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1625275.1625466"},{"key":"e_1_3_2_1_2_1","volume-title":"3rd International Workshop on AI, Ethics, and Society.","author":"Arnold Thomas","year":"2017","unstructured":"Thomas Arnold, Daniel Kasenberg, and Matthias Scheutz . 2017. Value Alignment or Misalignment--What Will Keep Systems Accountable? 3rd International Workshop on AI, Ethics, and Society."},{"key":"e_1_3_2_1_3_1","volume-title":"An inconsistency-adaptive deontic logic for normative conflicts. Journal of Philosophical Logic","author":"Beirlaen Mathieu","year":"2013","unstructured":"Mathieu Beirlaen, Christian Stra\u00dfer, and Joke Meheus . 2013. An inconsistency-adaptive deontic logic for normative conflicts. Journal of Philosophical Logic (2013), 1--31."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"Daniil Chivilikhin Ilya Ivanov and Anatoly Shalyto . 2015. Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation. ACM 1185--1188. 10.1145\/2739482.2768475","DOI":"10.1145\/2739482.2768475"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_2_1_6_1","volume-title":"IFAC Proceedings Volumes","volume":"44","author":"Dennis Ding Xu Chu","year":"2011","unstructured":"Xu Chu Dennis Ding, Stephen L Smith, Calin Belta, and Daniela Rus . 2011. LTL control in uncertain environments with probabilistic satisfaction guarantees. IFAC Proceedings Volumes Vol. 44, 1 (2011), 3515--3520."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278721.3278774"},{"key":"e_1_3_2_1_8_1","volume-title":"Interpretable Apprenticeship Learning with Temporal Logic Specifications Proceedings of the 56th IEEE Conference on Decision and Control (CDC).","author":"Kasenberg Daniel","year":"2017","unstructured":"Daniel Kasenberg and Matthias Scheutz . 2017. Interpretable Apprenticeship Learning with Temporal Logic Specifications Proceedings of the 56th IEEE Conference on Decision and Control (CDC)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11295"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645529.657801"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9070-9"}],"event":{"name":"HRI '18: ACM\/IEEE International Conference on Human-Robot Interaction","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGCHI ACM Special Interest Group on Computer-Human Interaction","IEEE-RAS Robotics and Automation"],"location":"Chicago IL USA","acronym":"HRI '18"},"container-title":["Companion of the 2018 ACM\/IEEE International Conference on Human-Robot Interaction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3173386.3176914","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3173386.3176914","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3173386.3176914","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:56Z","timestamp":1750213616000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3173386.3176914"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":11,"alternative-id":["10.1145\/3173386.3176914","10.1145\/3173386"],"URL":"https:\/\/doi.org\/10.1145\/3173386.3176914","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]},"assertion":[{"value":"2018-03-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}