{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:42:56Z","timestamp":1771699376875,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T00:00:00Z","timestamp":1719187200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Carl-Zeiss-Stiftung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,24]]},"DOI":"10.1145\/3649158.3657034","type":"proceedings-article","created":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T18:21:05Z","timestamp":1719339665000},"page":"117-125","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["BlueSky: How to Raise a Robot - A Case for Neuro-Symbolic AI in Constrained Task Planning for Humanoid Assistive Robots"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-3620-3462","authenticated-orcid":false,"given":"Niklas","family":"Hemken","sequence":"first","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Baden-W\u00fcrttemberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5739-8852","authenticated-orcid":false,"given":"Florian","family":"Jacob","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Baden-W\u00fcrttemberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8120-933X","authenticated-orcid":false,"given":"Fabian","family":"T\u00ebrnava","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Baden-W\u00fcrttemberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8891-9366","authenticated-orcid":false,"given":"Rainer","family":"Kartmann","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Baden-W\u00fcrttemberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4879-7680","authenticated-orcid":false,"given":"Tamim","family":"Asfour","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Baden-W\u00fcrttemberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3441-3180","authenticated-orcid":false,"given":"Hannes","family":"Hartenstein","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Baden-W\u00fcrttemberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,6,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3532105.3535018"},{"key":"e_1_3_2_1_2_1","volume-title":"Plug and Play Language Models: A Simple Approach to Controlled Text Generation. arxiv","author":"Dathathri Sumanth","year":"1912","unstructured":"Sumanth Dathathri, Andrea Madotto, Janice Lan, Jane Hung, Eric Frank, Piero Molino, Jason Yosinski, and Rosanne Liu. 2020. Plug and Play Language Models: A Simple Approach to Controlled Text Generation. arxiv: 1912.02164 [cs.CL]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9560934"},{"key":"e_1_3_2_1_4_1","unstructured":"Danny Driess Fei Xia Mehdi S. M. Sajjadi Corey Lynch Aakanksha Chowdhery Brian Ichter Ayzaan Wahid Jonathan Tompson Quan Vuong Tianhe Yu Wenlong Huang Yevgen Chebotar Pierre Sermanet Daniel Duckworth Sergey Levine Vincent Vanhoucke Karol Hausman Marc Toussaint Klaus Greff Andy Zeng Igor Mordatch and Pete Florence. 2023. PaLM-E: An Embodied Multimodal Language Model. arxiv: 2303.03378 [cs.LG]"},{"key":"e_1_3_2_1_5_1","unstructured":"Anthony Brohan et al. 2023. RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control. arxiv: 2307.15818 [cs.RO]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-023--10448-w"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.7554\/eLife.51005"},{"key":"e_1_3_2_1_8_1","volume-title":"Chatbots reinlegen -- Wie man KI-Sprachgeneratoren entlarvt. c't","author":"Gr\u00e4vemeyer Arne","year":"2023","unstructured":"Arne Gr\u00e4vemeyer. 2023. Chatbots reinlegen -- Wie man KI-Sprachgeneratoren entlarvt. c't , Vol. 16 (2023), 116--119. https:\/\/www.heise.de\/select\/ct\/2023\/16\/2313010292321745772 (?Fooling Chatbots - How to Expose AI Speech Generators.\")."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450569.3463559"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3589608.3595078"},{"key":"e_1_3_2_1_11_1","unstructured":"Adele Howe Craig Knoblock Drew McDermott Ashwin Ram Manuela Veloso Daniel Weld and David Wilkins. 1998. PDDL -- The Planning Domain Definition Language. Technical Report. Yale Center for Computational Vision and Control."},{"key":"e_1_3_2_1_12_1","unstructured":"Daniel Kahneman. 2011. Thinking Fast and Slow. Farrar Straus and Giroux NY."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/aaai.12036"},{"key":"e_1_3_2_1_14_1","volume-title":"CTRL: A Conditional Transformer Language Model for Controllable Generation. arxiv","author":"Keskar Nitish Shirish","year":"2019","unstructured":"Nitish Shirish Keskar, Bryan McCann, Lav R. Varshney, Caiming Xiong, and Richard Socher. 2019. CTRL: A Conditional Transformer Language Model for Controllable Generation. arxiv: 1909.05858 [cs.CL]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3589608.3593840"},{"key":"e_1_3_2_1_16_1","unstructured":"Henry George Lidell and Robert Scott. [n. d.]. A Greek--English Lexicon. Clarendon Press Oxford. https:\/\/www.perseus.tufts.edu\/hopper\/text?doc=Perseus:text:1999.04.0057:entry=su\/mbolon"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0079--7421(08)60536--8"},{"key":"e_1_3_2_1_18_1","unstructured":"Jasmin Mousavi. 2024. Towards Consistent Language Models Using Declarative Constraints. In AAAI workshop on Neuro-Symbolic Learning and Reasoning in the Era of Large Language Models. https:\/\/openreview.net\/forum?id=UQTGlkr30Y"},{"key":"e_1_3_2_1_19_1","volume-title":"Shi Qiu, Muhammad Saqib, Saeed Anwar, Muhammad Usman, Naveed Akhtar, Nick Barnes, and Ajmal Mian.","author":"Naveed Humza","year":"2024","unstructured":"Humza Naveed, Asad Ullah Khan, Shi Qiu, Muhammad Saqib, Saeed Anwar, Muhammad Usman, Naveed Akhtar, Nick Barnes, and Ajmal Mian. 2024. A Comprehensive Overview of Large Language Models. arxiv: 2307.06435 [cs.CL]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-031--17146--8_10"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3508398.3511497"},{"key":"e_1_3_2_1_22_1","unstructured":"OpenAI. 2023. GPT-4 Technical Report. arxiv: 2303.08774 [cs.CL]"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1037\/0033--295X.97.2.285"},{"key":"e_1_3_2_1_24_1","unstructured":"Amit Sheth Kaushik Roy and Manas Gaur. 2023. Neurosymbolic AI -- Why What and How. arxiv: 2305.00813 [cs.AI]"},{"key":"e_1_3_2_1_25_1","volume-title":"S M Mehedi Zaman, Vinija Jain, Anku Rani, Vipula Rawte, Aman Chadha, and Amitava Das.","author":"S.","year":"2024","unstructured":"S. M Towhidul Islam Tonmoy, S M Mehedi Zaman, Vinija Jain, Anku Rani, Vipula Rawte, Aman Chadha, and Amitava Das. 2024. A Comprehensive Survey of Hallucination Mitigation Techniques in Large Language Models. arxiv: 2401.01313 [cs.CL]"},{"key":"e_1_3_2_1_26_1","unstructured":"Wikipedia contributors. 2023. River crossing puzzle. https:\/\/en.wikipedia.org\/w\/index.php?title=River_crossing_puzzle&oldid=1150277959"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW59228.2023.00370"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Ziyi Yang Shreyas S. Raman Ankit Shah and Stefanie Tellex. 2023. Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents. arxiv: 2309.09919 [cs.RO]","DOI":"10.1109\/ICRA57147.2024.10611447"}],"event":{"name":"SACMAT 2024: The 29th ACM Symposium on Access Control Models and Technologies","location":"San Antonio TX USA","acronym":"SACMAT 2024","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 29th ACM Symposium on Access Control Models and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649158.3657034","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649158.3657034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T02:10:33Z","timestamp":1755915033000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649158.3657034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,24]]},"references-count":28,"alternative-id":["10.1145\/3649158.3657034","10.1145\/3649158"],"URL":"https:\/\/doi.org\/10.1145\/3649158.3657034","relation":{},"subject":[],"published":{"date-parts":[[2024,6,24]]},"assertion":[{"value":"2024-06-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}