{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:06Z","timestamp":1750220526807,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T00:00:00Z","timestamp":1629244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,18]]},"DOI":"10.1145\/3471875.3472990","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T02:03:17Z","timestamp":1629338597000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Actions you can handle: dependent types for AI plans"],"prefix":"10.1145","author":[{"given":"Alasdair","family":"Hill","sequence":"first","affiliation":[{"name":"Heriot-Watt University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekaterina","family":"Komendantskaya","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew L.","family":"Daggitt","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronald P. A.","family":"Petrick","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"volume-title":"Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI","year":"2021","author":"Abdulaziz Mohammad","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2018.00079"},{"key":"e_1_3_2_1_3_1","first-page":"2020","volume-title":"Arch. Formal Proofs","author":"Abdulaziz Mohammad","year":"2020"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00044-3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_1"},{"key":"e_1_3_2_1_7_1","unstructured":"Michael Cashmore Anna Collins Benjamin Krarup Senka Krivic Daniele Magazzeni and David Smith. 2019. Towards explainable AI planning as a service. arXiv preprint arXiv:1908.05059.  Michael Cashmore Anna Collins Benjamin Krarup Senka Krivic Daniele Magazzeni and David Smith. 2019. Towards explainable AI planning as a service. arXiv preprint arXiv:1908.05059."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2951"},{"volume-title":"Applications of Declarative Programming and Knowledge Management","author":"Chrpa Luk\u00e1\u0161","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","unstructured":"Daniel C Dennett. 2006. Cognitive wheels: The frame problem of AI.  Daniel C Dennett. 2006. Cognitive wheels: The frame problem of AI."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-008-9079-0"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i06.6534"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/566"},{"volume-title":"GPS: A case study in generality and problem solving","year":"1969","author":"Ernst George W","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622876.1622939"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0403-1"},{"key":"e_1_3_2_1_17_1","volume-title":"FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings (Lecture Notes in Computer Science","volume":"143","author":"Fu Peng","year":"2016"},{"volume-title":"Theorem proving by resolution as a basis for question-answering systems. Machine intelligence, 4","year":"1969","author":"Green Cordell","key":"e_1_3_2_1_19_1"},{"volume-title":"Readings in Artificial Intelligence","author":"Hayes Patrick J","key":"e_1_3_2_1_20_1"},{"volume-title":"Agda Code for Proof Carrying Plans, 2018","year":"2021","author":"Hill A.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3414080.3414094"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1036"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/373243.375719"},{"volume-title":"AAAI Fall Symposium on Automated Deduction in Nonstandard Logics. 62\u201366","year":"1993","author":"Jacopin Eric","key":"e_1_3_2_1_26_1"},{"volume-title":"Readings in artificial intelligence","author":"McCarthy John","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","unstructured":"Drew McDermott Malik Ghallab Adele Howe Craig Knoblock Ashwin Ram Manuela Veloso Daniel Weld and David Wilkins. 1998. PDDL-the planning domain definition language.  Drew McDermott Malik Ghallab Adele Howe Craig Knoblock Ashwin Ram Manuela Veloso Daniel Weld and David Wilkins. 1998. PDDL-the planning domain definition language."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/3002861"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/647851.737404"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.035"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/935673"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3326938.3326940"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71070-7_28"},{"key":"e_1_3_2_1_35_1","volume-title":"PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings, Jos\u00e9 J\u00falio Alferes and Moa Johansson (Eds.) (Lecture Notes in Computer Science","volume":"220","author":"Schwaab Christopher","year":"2019"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020820000972"}],"event":{"name":"ICFP '21: 26th ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Republic of Korea","acronym":"ICFP '21"},"container-title":["Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3471875.3472990","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3471875.3472990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:49Z","timestamp":1750195489000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3471875.3472990"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":35,"alternative-id":["10.1145\/3471875.3472990","10.1145\/3471875"],"URL":"https:\/\/doi.org\/10.1145\/3471875.3472990","relation":{},"subject":[],"published":{"date-parts":[[2021,8,18]]},"assertion":[{"value":"2021-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}