Yifan He. Automatically Verifying and Repairing General Game Descriptions. In Shqiponja Ahmetaj, Kai Sauerwald, editors, Proceedings of the Doctoral Consortium of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR-DC 2025) co-located with KR 2025, November 11-17, 2025, Melbourne, Australia. Volume 4078 of CEUR Workshop Proceedings, pages 14-19, CEUR-WS.org, 2025. [doi]
Abstract is missing.