Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics. - Guy Axelrod; Willem Conradie (PAAR+SC²@IJCAR, 2024)

Hierarchically Composing Level Generators for the Creation of Complex Structures. - Michael Beukman; Manuel Fokam; Marcel Kruger; Guy Axelrod; Muhammad Umair Nasir; Branden Ingram; Benjamin Rosman; Steven James 001 (IEEE Trans. Games, 2024)

Few-shot Policy (de)composition in Conversational Question Answering. - Kyle Erwin; Guy Axelrod; Maria Chang 001; Achille Fokoue; Maxwell Crouse; Soham Dan; Tian Gao; Rosario Uceda-Sosa; Ndivhuwo Makondo; Naweed Khan; Alexander G. Gray (CoRR, 2025)