Concepedia

Game Formalization

Game Formalization is a scholarly contribution that systematizes the structural, procedural, and rule-based elements of a game into a precise, analyzable form, distinguishing it from other game-related constructs by its focus on formal representation and rigorous specification within academic research.

147

Publications

6.4K

Citations

250

Authors

147

Institutions

Publications per year

2017–2026

18

Parents

Publications

147

Games and full completeness for multiplicative linear logic

Samson Abramsky, Radha Jagadeesan · Journal of Symbolic Logic · 1994 · 381 citations

, , +11

Defining Game Mechanics

Miguel Sicart · IT University Of Copenhagen (IT University of Copenhagen) · 2008 · 374 citations

, , +8

Nightmare at test time

Amir Globerson, Sam T. Roweis · 2006 · 319 citations

, , +16

Games with a Purpose for the Semantic Web

Katharina Siorpaes, Martin Hepp · IEEE Intelligent Systems · 2008 · 215 citations

, , +15

INVESTMENT FOR THE LONG RUN: NEW EVIDENCE FOR AN OLD RULE

Harry M. Markowitz · The Journal of Finance · 1976 · 209 citations

, , +11

1–5 of 147

Authors

250

  1. MT
    Michael Thielscher

    UNSW Sydney, Australia

    11 publications · 354 citations

    11

    h-index

  2. MM
    Michael Mateas

    University of California, Santa Cruz, United States

    9 publications · 389 citations

    9

    h-index

  3. SS
    Stephan Schiffel

    Technische Universität Dresden, Germany

    6 publications · 244 citations

    6

    h-index

  4. SA
    Samson Abramsky

    University of Oxford, United Kingdom

    6 publications · 718 citations

    6

    h-index

  5. DR
    Dan R. Ghica

    University of Birmingham, United Kingdom

    5 publications · 162 citations

    5

    h-index

1–5 of 250

Institutions

147

  1. UNSW Sydney

    Sydney, Australia

    9 h-index

    10 publications

    326 citations

  2. University of California, Santa Cruz

    Santa Cruz, United States

    9 h-index

    22 publications

    553 citations

  3. IT University of Copenhagen

    Copenhagen, Denmark

    7 h-index

    10 publications

    626 citations

  4. University of Oxford

    Oxford, United Kingdom

    6 h-index

    15 publications

    756 citations

  5. University of Birmingham

    Birmingham, United Kingdom

    4 h-index

    4 publications

    107 citations

  6. Technische Universität Dresden

    Dresden, Germany

    4 h-index

    5 publications

    93 citations

  7. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    4 publications

    474 citations

  8. Imperial College London

    London, United Kingdom

    3 h-index

    3 publications

    597 citations

1–8 of 147

Venues

  1. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 6 publications · 205 citations

    6

    h-index

  2. 5

    h-index

  3. Oxford University Research Archive (ORA) (University of Oxford)

    Repository · 3 publications · 48 citations

    3

    h-index

  4. Artificial Intelligence

    3 publications · 55 citations

    3

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 45 citations

    3

    h-index

1–5