Login / Signup
Guy Axelrod
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Higher Level
Complex Structures
Modal Logic
Structured Data
Top Venues
CoRR
PAAR+SC²@IJCAR
IEEE Trans. Games
</>
Publications
</>
Michael Beukman
,
Manuel Fokam
,
Marcel Kruger
,
Guy Axelrod
,
Muhammad Umair Nasir
,
Branden Ingram
,
Benjamin Rosman
,
Steven James
Hierarchically Composing Level Generators for the Creation of Complex Structures.
IEEE Trans. Games
16 (2) (2024)
Guy Axelrod
,
Willem Conradie
Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics.
PAAR+SC²@IJCAR
(2024)
Michael Beukman
,
Manuel Fokam
,
Marcel Kruger
,
Guy Axelrod
,
Muhammad Umair Nasir
,
Branden Ingram
,
Benjamin Rosman
,
Steven James
Hierarchically Composing Level Generators for the Creation of Complex Structures.
CoRR
(2023)