{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:48:58Z","timestamp":1725536938129},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/vlhcc.2018.8506542","type":"proceedings-article","created":{"date-parts":[[2018,10,25]],"date-time":"2018-10-25T23:44:51Z","timestamp":1540511091000},"page":"265-266","source":"Crossref","is-referenced-by-count":0,"title":["Human-AI Interaction in Symbolic Problem Solving"],"prefix":"10.1109","author":[{"given":"Benjamin T.","family":"Jones","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DAS.2008.21"},{"journal-title":"The Sciences of the Artificial","year":"1996","author":"simon","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1109\/VLHCC.2018.8506580","article-title":"Searching Over Search Trees for Human-Al Collaboration in Exploratory Problem Solving: A Case Study in Algebra","author":"jones","year":"2018","journal-title":"2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1866029.1866035"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2946795"},{"journal-title":"A History of Mathematics","year":"2004","author":"katz","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/07370024.2012.697020"}],"event":{"name":"2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","start":{"date-parts":[[2018,10,1]]},"location":"Lisbon","end":{"date-parts":[[2018,10,4]]}},"container-title":["2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8488603\/8506479\/08506542.pdf?arnumber=8506542","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T20:57:04Z","timestamp":1643230624000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8506542\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/vlhcc.2018.8506542","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}