3 papers
cs.LO2026
An ASP-based approach to Solving General Stochastic Two-Player Games
Yifan He, Michael Thielscher
The Game Description Language (GDL) is a widely used formalism for specifying general games. Due to their similar syntax and semantics, Answer Set Programming (ASP) and its extensi…
cs.CL2026
An Agentic Approach to Generating XAI-Narratives
Yifan He, David Martens
Explainable AI (XAI) research has experienced substantial growth in recent years. Existing XAI methods, however, have been criticized for being technical and expert-oriented, motiv…
cs.LO2025
Repairing General Game Descriptions (extended version)
Yifan He, Munyque Mittelmann, Aniello Murano +2
The Game Description Language (GDL) is a widely used formalism for specifying the rules of general games. Writing correct GDL descriptions can be challenging, especially for non-ex…