{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T21:02:15Z","timestamp":1746306135012,"version":"3.37.3"},"reference-count":73,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1755922"],"award-info":[{"award-number":["1755922"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Games"],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1109\/tg.2023.3292982","type":"journal-article","created":{"date-parts":[[2023,7,6]],"date-time":"2023-07-06T17:28:10Z","timestamp":1688664490000},"page":"431-444","source":"Crossref","is-referenced-by-count":1,"title":["Modeling Game Mechanics With Ceptre"],"prefix":"10.1109","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7026-0348","authenticated-orcid":false,"given":"Chris","family":"Martens","sequence":"first","affiliation":[{"name":"Khoury College of Computer Sciences, Northeastern University - Boston Campus, Boston, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3638-2534","authenticated-orcid":false,"given":"Alexander","family":"Card","sequence":"additional","affiliation":[{"name":"Computer Science Department, North Carolina State University, Raleigh, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Crain","sequence":"additional","affiliation":[{"name":"Computer Science Department, North Carolina State University, Raleigh, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Asha","family":"Khatri","sequence":"additional","affiliation":[{"name":"Computer Science Department, North Carolina State University, Raleigh, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v11i1.12784"},{"key":"ref2","first-page":"1","article-title":"Defining operational logics","volume-title":"Proc. DiGRA Int. Conf. Breaking New Ground Innov. Games, Play, Pract. Theory","author":"Wardrip-Fruin","year":"2009"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-021-06029-0"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01584-7"},{"article-title":"Ludi language reference","year":"2023","author":"Browne","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v14i1.13013"},{"year":"2010","key":"ref7","article-title":"Kodu"},{"article-title":"GameMaker studio","year":"2023","author":"Games","key":"ref8"},{"article-title":"Gamemaker","year":"2023","author":"LLC","key":"ref9"},{"key":"ref10","first-page":"1","article-title":"Generative story worlds as linear logic programs","volume-title":"Proc. 7th Intell. Narrative Technol. Workshop","author":"Martens","year":"2014"},{"key":"ref11","first-page":"41","article-title":"Textworld: A learning environment for text-based games","volume-title":"Proc. Workshop Comput. Games","author":"Ct","year":"2018"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3102071.3102098"},{"article-title":"Programming interactive worlds with linear logic","year":"2015","author":"Martens","key":"ref13"},{"issue":"2","key":"ref14","first-page":"62","article-title":"General game playing: Overview of the AAAI competition","volume":"26","author":"Genesereth","year":"2005","journal-title":"AI Mag."},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2010.2041928"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2908812.2908920"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3235765.3235790"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/177"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v5i1.12368"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ITW.2010.5593368"},{"key":"ref21","first-page":"85","article-title":"Towards a video game description language","volume-title":"Proc. Artif. Comput. Intell. Games (Dagstuhl Follow-Ups)","author":"Ebner","year":"2013"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2013.6633610"},{"key":"ref23","first-page":"1","article-title":"General video game playing","volume-title":"Proc. Artif. Comput. Intell. Games (Dagstuhl Follow-Ups)","author":"Levine","year":"2013"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2015.2402393"},{"article-title":"EGGG: The extensible graphical game generator","year":"2000","author":"Orwant","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v9i1.12669"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v7i3.12477"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02654-1_3"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2017.2765599"},{"article-title":"K: A rewrite-based framework for modular language design, semantics, analysis and implementation-version 2","year":"2006","author":"Rosu","key":"ref30"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006430"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1561\/2500000045"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71070-7_28"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.21236\/ADA418517"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.21236\/ADA418538"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2951"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4301.003.0013"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316062"},{"article-title":"A hybrid linear logic for constrained transition systems with applications to molecular biology","year":"2013","author":"Chaudhuri","key":"ref40"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32747-6_4"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.04.002"},{"key":"ref43","first-page":"16","article-title":"Netlogo: A simple environment for modeling complexity","volume-title":"Proc. Int. Conf. Complex Syst.","volume":"21","author":"Tisue","year":"2004"},{"issue":"3","key":"ref44","first-page":"351","article-title":"Agentsheets: End-user programmable simulations","volume":"3","author":"Repenning","year":"2000","journal-title":"J. Artif. Societies Social Simul."},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bty272"},{"article-title":"Puzzlescript","year":"2023","author":"Lavelle","key":"ref46"},{"article-title":"PDDL: The planning domain definition language","year":"1998","author":"Ghallab","key":"ref47"},{"year":"2011","key":"ref48","article-title":"Minecraft"},{"article-title":"Pandemic","year":"2003","author":"Leacock","key":"ref49"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1080\/1049482940040202"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3089799"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1868358.1868363"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1868358.1868361"},{"issue":"2","key":"ref54","first-page":"35","article-title":"Alice2: Programming without syntax errors","volume":"2","author":"Kelleher","year":"2002","journal-title":"User Interface Softw. Technol."},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/1089208.1089210"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044481714-3\/50011-4"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/233561.233565"},{"key":"ref58","article-title":"Compositional compiler verification for a multi-language world","volume-title":"Proc. 1st Int. Conf. Formal Structures Comput. Deduction","author":"Ahmed","year":"2016"},{"key":"ref59","first-page":"10832","article-title":"Learning compositional rules via neural program synthesis","volume":"33","author":"Nye","year":"2020","journal-title":"Adv. Neural Inf. Process. Syst."},{"article-title":"Decidability questions for petri nets","year":"1976","author":"Hack","key":"ref60"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.7146\/brics.v1i8.21662"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2019.8818687"},{"volume-title":"Artificial Intelligence: A Modern Approach","year":"2003","author":"Russell","key":"ref63"},{"article-title":"The think aloud method: A practical approach to modelling cognitive","year":"1994","author":"Someren","key":"ref64"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/3102071.3116218"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2014.6932896"},{"key":"ref67","article-title":"Generating puzzle progressions to study mental model matching","volume-title":"Proc. AIIDE Workshops","author":"Martens","year":"2018"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.14418\/wes01.1.1442"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2002.1024751"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1201\/9781315375229"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45210-2_38"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v11i1.12803"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16638-9_20"}],"container-title":["IEEE Transactions on Games"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/7782673\/10559928\/10174675-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7782673\/10559928\/10174675.pdf?arnumber=10174675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T21:28:43Z","timestamp":1719350923000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10174675\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6]]},"references-count":73,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tg.2023.3292982","relation":{},"ISSN":["2475-1502","2475-1510"],"issn-type":[{"type":"print","value":"2475-1502"},{"type":"electronic","value":"2475-1510"}],"subject":[],"published":{"date-parts":[[2024,6]]}}}