[6] He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard.
[20] Symbium is the most recent spinoff from the computational law research undertaken by CodeX and is a winner of the Ivory Innovation Prize for Policy and Regulatory Reform.
[32][33] He invented the notion of Model-based Diagnosis as a contrast with the symptom-based approach then current in systems like Mycin, and this was recognized by its inclusion in a retrospective on fifty volumes of Artificial Intelligence (journal).
[38] In 2016, Genesereth launched an effort to bring logic education to high schools across America[39][40] citing Herbrand semantics[41] as the foundation of the pedagogical approach.
[1] He has also been an organizer of the International General Game Playing Competition,[46] a program chair in 1993 of The Web Conference,[47] a co-organizer of 2010 American Association for the Advancement of Artificial Intelligence Spring Symposium on Intelligent Privacy Management,[48] and a chair of the Ninth Symposium on Abstraction, Reformulation and Approximation.