{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:42:33Z","timestamp":1725561753278},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We announce an interactive website for exploring logic with the help of Lorenzen dialogue games. The site allows one to play concrete dialogue games and compute winning plays and winning strategies from initial segments of such games. A variety of dialogue rule sets are available, allowing one to explore different logics through a uniform framework. We have also implemented several formula translations, so that one can explore how games vary as one changes the initial formula of a dialogue game, and we consider some heuristics for computing winning plays and winning strategies.<\/jats:p>","DOI":"10.29007\/7v3p","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T22:57:35Z","timestamp":1516748255000},"page":"7-0","source":"Crossref","is-referenced-by-count":0,"title":["Playing Lorenzen Dialogue Games on the Web"],"prefix":"10.29007","volume":"13","author":[{"given":"Jesse","family":"Alama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara L.","family":"Uckelman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning."},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T22:58:37Z","timestamp":1516748317000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/8r"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/7v3p","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}