
Michael Genesereth
Associate Professor of Computer Science and, by courtesy, of Law
Bio
Genesereth is most known for his work on Computational Logic and applications of that work in Enterprise Management, Computational Law, and General Game Playing. He is one of the founders of Teknowledge, CommerceNet, Mergent Systems, and Symbium. Genesereth is the director of the Logic Group at Stanford and the founder and research director of CodeX - the Stanford Center for Legal Informatics.
Academic Appointments
-
Associate Professor, Computer Science
-
Associate Professor (By courtesy), Stanford Law School
-
Faculty Affiliate, Institute for Human-Centered Artificial Intelligence (HAI)
Administrative Appointments
-
Research Director, CodeX: The Stanford Center for Legal Informatics (2005 - Present)
Program Affiliations
-
Symbolic Systems Program
Professional Education
-
PhD, Harvard University (1978)
2022-23 Courses
- Computational Law
CS 204 (Spr) - Computational Logic
CS 157 (Aut) - General Game Playing
CS 227B (Spr) - Logic Programming
CS 151 (Spr) -
Independent Studies (15)
- Advanced Reading and Research
CS 499 (Aut, Win, Spr, Sum) - Advanced Reading and Research
CS 499P (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390A (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390B (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390C (Aut, Win, Spr, Sum) - Independent Project
CS 399 (Aut, Win, Spr, Sum) - Independent Project
CS 399P (Aut, Win, Spr, Sum) - Independent Work
CS 199 (Aut, Win, Spr, Sum) - Independent Work
CS 199P (Aut, Win, Spr, Sum) - Master's Degree Project
SYMSYS 290 (Win, Spr) - Part-time Curricular Practical Training
CS 390D (Aut, Win) - Programming Service Project
CS 192 (Aut, Win, Spr, Sum) - Senior Project
CS 191 (Aut, Win, Spr, Sum) - Supervised Undergraduate Research
CS 195 (Aut, Win) - Writing Intensive Senior Research Project
CS 191W (Aut, Win, Spr)
- Advanced Reading and Research
-
Prior Year Courses
2021-22 Courses
- Computational Logic
CS 157 (Aut) - General Game Playing
CS 227B (Spr) - Logic Programming
CS 151 (Spr)
2020-21 Courses
- Computational Law
CS 204 (Spr) - Computational Law
LAW 4019 (Spr) - Computational Logic
CS 157 (Aut) - Logic Programming
CS 151 (Spr)
2019-20 Courses
- Computational Logic
CS 157 (Aut) - Knowledge Graphs
CS 520 (Spr) - Logic Programming
CS 151 (Spr)
- Computational Logic
Stanford Advisees
-
Master's Program Advisor
Tommy Bruzzese, Jack Chapman, Alina Chou, Caroline Gao, Chenxi Gu, Sina Jandaghi Semnani, Muhammad Khattak, Li-Heng Lin, Udayan Mandal, Teresa Noyola, Shaham Parvin, Zach Rotzal, Alex Sun, Karen Wang, Daniel Zeng, Joseph Zhu
All Publications
- Data Integration - The Relational Logic Approach Morgan-Claypool. 2010
- Computational Law 2005
- Axiom Schemata as Metalevel Axioms: Model Theory 2005
- PrediCalc: A Logical Spreadsheet Management System 2005
- Database Reformulation with Integrity Constraints 2005
- General Game Playing - Overview of the AAAI Competition AAAI Magazine 2005; 26 (2)
- Linearly Bounded Reformulations of Unary Databases 2000
- Linearly Bounded Reformulations of Conjunctive Databases 2000
- Database Reformulation 1998
- Dervish in AI-based Mobile Robots: Case Studies of Successful Robot Systems edited by Kortenkamp, D., Bonasso, P., Murphy, R. MIT Press. 1998: 1
- Query Planning with Disjunctive Sources 1998
- Teaching AI Using Robots in AI-based Mobile Robots: Case Studies of Successful Robot Systems edited by Kortenkamp, D., Bonasso, P., Murphy, R. MIT Press. 1998: 1
- Using Infomaster to Create a Housewares Virtual Catalog Journal of Electronic Markets, Institute for Media and Communication Management, University of St. Gallen, Switzerland 1997; 7 (4): 41-45
- Proceedings of the Sixth International World Wide Web Conference edited by Genesereth, M., R., Patterson, A. Elsevier. 1997
- Abstraction in Planning and Execution Logic Group, Stanford University Computer Science Department 1997
- Infomaster - An Information Integration Tool 1997
- Answering Recursive Queries Using Views 1997
- Query Planning in Infomaster 1997
- Infomaster: An Information Integration System 1997
- An Agent-Based Framework for Interoperability in Software Agents edited by Bradshaw, J. AAAI Press. 1997: 1
- Assumptive Planning and Execution: A Simple Working Robot Architecture,Autonomous Robots 1996; 3: 49-67
- Stanford Information Network Logic Group, Stanford University Computer Science Department 1996
- A Framework for Collaborative Distributed Facility Engineering 1994
- Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving 1994
- Solution Consistency and Convergence in Cooperative Distributed Problem Solving 1994
- Concurrent Engineering through Interoperable Software Agents 1994
- Single Phase Agreements Among Rational Agents in Journal of Experimental and Theoretical Artificial Intelligence 1993
- From Dart to Designworld: A Chronicle of Research on Automated Engineering in The Stanford Logic Group Artificial Intelligence, to appear 1993
- Agent-Based Technology for Facility Design Software Integration 1993
- A Formal Approach to Interdisciplinary Communication of Facility Design Information International Journal for Artificial Intelligence in Engineering 1993
- Collaborative Distributed Facility Engineering Through Agent-Based Software Integration 1993
- Time-Saving Tips for Problem Solving with Incomplete Information 1993
- PACT: An Experiment in Integrating Concurrent Engineering Systems Computer 1993; 26 (1): 28-37
- Progressive Negotiation: A Strategy for Resolving Conflicts in Cooperative Distributed Multidisciplinary Design 1993
- FCDA: A Framework for Collaborative Distributed Multidisciplinary Design 1993
- An Agent-Based Framework for Integrated Facility Engineering International Journal for Engineering with Computers 1993; 9: 94-107
- An Agent-Based Approach for Integrated Design Environments 1992
- Agent-Based Concurrent Engineering 1992
- Partial Programs edited by Allen, J., Fikes, R., Sandewall, E. 1991
- A Comparative Analysis of Some Simple Architectures for Autonomous Agents Architectures for Cognition edited by vanLehn, K., Erlbaum, L. 1991: 279–300
- Designworld 1991
- A Fast Algorithm for Automatic Theorem Proving with Equality Logic-91-2, Stanford University Computer Science Department 1991
- Knowledge Interchange Format edited by Allen, J., Fikes, R., Sandewall, E. 1991
- Epikit: A Library of Subroutines Supporting Declarative Representation and Reasoning 1991
- Discrete Systems Theory Logic-89-6, Stanford University Computer Science Department 1989
- Deals Among Rational Agents in The Ecology of Computation edited by Huberman, B., A. North-Holland. 1988: 117–132
- Choosing Directions for Rules Journal of Automated Reasoning 1987: 395-431
- Introspective Fidelity in Metalevel Architectures and Reflection edited by Maes, P. North-Holland. 1987: 75–85
- Logical Foundations of Artificial Intelligence Morgan-Kaufman. 1987
- The Relevance of Irrelevance 1987
- Communication and Cooperation 1987
- Cooperation Without Communication 1986
- Choosing Directions for Rules 1986
- Ordering Conjuncts in Problem Solving Artificial Intelligence 1985; 26 (2): 171-216
- Deals Among Rational Agents 1985
- A Variable Supply Model for Distributing Deductions Journal of Parallel and Distributed Computing 1985
- A Variable Supply Model for Distributing Deductions 1985
- PM: A Parallel Execution Model for Backward Chaining Deductions Future Computing Systems 1985
- Expressiveness and Language Choice Data and Knowledge Engineering 1985; 1 (1): 17-29
- Choosing Directions for Rules KSL-85-46, Stanford University Heuristic Programming Project 1985
- Procedural Hints in the Control of Reasoning HPP-84-11, Stanford University Heuristic Programming Project 1984
- The Use of Hierarchical Design Models in the Automated Diagnosis of Computer Systems in Qualitative Reasoning about Physical Systems edited by Bobrow, D. North-Holland. 1984: 411–436
- Solving the Prisoner's Dilemma STAN-CS-84-1032, Stanford University Computer Science Department 1984
- The Role of Abstractions in Understanding Analogies HPP-84-8, Stanford University Heuristic Programming Project 1984
- Expressiveness of Languages 1984
- An Overview of Meta-Level Architecture 1983
- What's New: A Semantic Definition of Novelty 1983
- Residue: A Deductive Approach to Design HPP-83-46, Stanford University Heuristic Programming Project 1983
- Meta-Cognition:Reasoning about Knowledge in Expert Systems edited by Hayes-Roth, F., Lenat, D., Waterman, D. 1982: 219–240
- The Use of Hierarchical Design Models in the Automated Diagnosis of Computer Systems 1982
- Artificial Intelligence Techniques in Macsyma in AI Handbook edited by Feigenbaum, E., Barr, A. Morgan-Kaufmann. 1981: 143–149
- The Role of Plans in Intelligent Teaching Systems in Intelligent Teaching Systems edited by Sleeman, D., Brown, J., S Academic Press. 1981: 137–152
- Why HPP-80-19, Stanford University Heuristic Programming Project 1980
- Metaphors and Models 1980
- Metaphors and Models HPP-80-20, Stanford University Heuristic Programming Project 1980
- The Use of Semantics in a Tablet-Based Program for Selecting Parts of Mathematical Expressions" 1979
- The Advanced Scientific Computing Environment Project 1979
- Automated Consultation for Complex Computer Systems 1979
- The Canonicality of Rule Systems 1979
- The Difficulties of Using Macsyma and the Functions of User Aids 1977
- A Fast Inference Algorithm for Semantic Networks Memo, M.I.T. Mathlab Group 1977
- Multi-Vendor Catalogs: Smart Catalogs and Virtual Catalogs