Michael Genesereth
Associate Professor of Computer Science
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
-
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)
2024-25 Courses
- 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 (Aut, Win, Spr, Sum) - Part-time Curricular Practical Training
CS 390D (Aut, Win, Spr, Sum) - Programming Service Project
CS 192 (Aut, Win, Spr, Sum) - Senior Project
CS 191 (Aut, Win, Spr, Sum) - Supervised Undergraduate Research
CS 195 (Aut, Win, Spr, Sum) - Writing Intensive Senior Research Project
CS 191W (Aut, Win, Spr)
- Advanced Reading and Research
-
Prior Year Courses
2023-24 Courses
- Computational Logic
CS 157 (Aut) - General Game Playing
CS 227B (Spr) - Logic Programming
CS 151 (Spr)
2022-23 Courses
- Computational Logic
CS 157 (Aut) - General Game Playing
CS 227B (Spr) - Logic Programming
CS 151 (Spr)
2021-22 Courses
- Computational Logic
CS 157 (Aut) - General Game Playing
CS 227B (Spr) - Logic Programming
CS 151 (Spr)
- Computational Logic
Stanford Advisees
-
Master's Program Advisor
Upamanyu Dass-Vattam, William Denton, Sina Jandaghi Semnani, Walter Lopez Chavez, Joshua Martinez, Ishan Mehta, Jaime Mizrachi Eshkenazi, Butch Nasser, Teresa Noyola, Travis Senf, Arnav Singhvi, Anya Von Diessl
All Publications
-
Practical Reformulation of Deductive Databases
IEEE COMPUTER SOC. 2019: 65–72
View details for DOI 10.1109/AIKE.2019.00020
View details for Web of Science ID 000502534100012
-
The Herbrand Manifesto Thinking Inside the Box
SPRINGER-VERLAG BERLIN. 2015: 3–12
View details for DOI 10.1007/978-3-319-21542-6_1
View details for Web of Science ID 000363484500002
-
The International General Game Playing Competition
AI MAGAZINE
2013; 34 (2): 107-111
View details for Web of Science ID 000336891800009
-
General game playing: Overview of the AAAI competition
AI MAGAZINE
2005; 26 (2): 62-72
View details for Web of Science ID 000229889700005
- Computational Law 2005
- General Game Playing - Overview of the AAAI Competition AAAI Magazine 2005; 26 (2)
-
Recursive query plans for data integration
JOURNAL OF LOGIC PROGRAMMING
2000; 43 (1): 49-73
View details for Web of Science ID 000084835800004
-
Linearly bounded reformulations of conjunctive databases
1st International Conference on Computational Logic (CL 2000)
SPRINGER-VERLAG BERLIN. 2000: 987–1001
View details for Web of Science ID 000165607800066
-
Insurance Portfolio Analysis as Containment Testing
IOS PRESS. 2023: 137-142
View details for DOI 10.3233/FAIA230957
View details for Web of Science ID 001175464100018
-
Knowledge graphs: Introduction, history, and perspectives
AI MAGAZINE
2022; 43 (1): 17-29
View details for DOI 10.1002/aaai.12033
View details for Web of Science ID 000780336400004
-
Rule-Based Exploration of Structured Data in the Browser
SPRINGER-VERLAG BERLIN. 2015: 161–75
View details for DOI 10.1007/978-3-319-21542-6_11
View details for Web of Science ID 000363484500012
-
PARACONSISTENT INFERENCE FROM DATA USING EXISTENTIAL Omega-ENTAILMENT
INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING
2011; 5 (3): 257–69
View details for DOI 10.1142/S1793351X11001249
View details for Web of Science ID 000214232700002
-
Semantics for Smart Services
SCIENCE OF SERVICE SYSTEMS
2011: 91–105
View details for DOI 10.1007/978-1-4419-8270-4_6
View details for Web of Science ID 000290497300006
-
Logical Spreadsheets
4th International Web Rule Symposium
SPRINGER-VERLAG BERLIN. 2010: 1–1
View details for Web of Science ID 000287827100001
- Data Integration - The Relational Logic Approach Morgan-Claypool. 2010
-
Semantic Email Addressing The Semantic Web Killer App?
IEEE INTERNET COMPUTING
2009; 13 (1): 48-55
View details for Web of Science ID 000262501000009
-
Equivalence of SQL Queries In Presence of Embedded Dependencies
28th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS)
ASSOC COMPUTING MACHINERY. 2009: 217–226
View details for Web of Science ID 000268444200024
-
Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems
21st Australian Joint Conference on Artificial Intelligence
SPRINGER-VERLAG BERLIN. 2008: 56–66
View details for Web of Science ID 000263294500006
-
PrediCalc: a logical spreadsheet management system
KNOWLEDGE ENGINEERING REVIEW
2007; 22 (3): 281-295
View details for DOI 10.1017/S0269888907001154
View details for Web of Science ID 000251889700006
-
Reformulation for extensional reasoning
7th International Symposium on Abstraction, Reformulation and Approximation
SPRINGER-VERLAG BERLIN. 2007: 215–229
View details for Web of Science ID 000248245500018
- Database Reformulation with Integrity Constraints 2005
- Axiom Schemata as Metalevel Axioms: Model Theory 2005
- PrediCalc: A Logical Spreadsheet Management System 2005
-
Adding AI to web services
International Symposium on Agent-Mediated Knowledge Management
SPRINGER-VERLAG BERLIN. 2004: 322–338
View details for Web of Science ID 000189418700023
- 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
-
Mobile robot obstacle avoidance via depth from focus
ROBOTICS AND AUTONOMOUS SYSTEMS
1997; 22 (2): 151-158
View details for Web of Science ID 000071460600005
-
The conceptual basis for mediation services
IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS
1997; 12 (5): 38-47
View details for Web of Science ID A1997XX98600009
- Abstraction in Planning and Execution Logic Group, Stanford University Computer Science Department 1997
- Proceedings of the Sixth International World Wide Web Conference edited by Genesereth, M., R., Patterson, A. Elsevier. 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
- 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
-
Assumptive planning and execution: A simple, working robot architecture
AUTONOMOUS ROBOTS
1996; 3 (1): 49-67
View details for Web of Science ID A1996VV72400005
- Stanford Information Network Logic Group, Stanford University Computer Science Department 1996
- Assumptive Planning and Execution: A Simple Working Robot Architecture,Autonomous Robots 1996; 3: 49-67
-
McCarthy's idea
European Workshop on Logics in Artificial Intelligence (JELIA 96)
SPRINGER-VERLAG BERLIN. 1996: 134–142
View details for Web of Science ID A1996BH80L00009
-
Obstacle avoidance via depth from focus
Image Understanding Workshop
MORGAN KAUFMANN PUB INC. 1996: 1339–1344
View details for Web of Science ID A1996BJ19S00137
-
A distributed and anonymous knowledge sharing approach to software interoperation
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
1995; 4 (4): 339-367
View details for Web of Science ID A1995TN85400003
-
Development of multi-institutional testbed for collaborative facility engineering infrastructure
2nd Congress on Computing in Civil Engineering (II-CCCE)
AMER SOC CIVIL ENGINEERS. 1995: 1308–1315
View details for Web of Science ID A1995BE46R00179
-
SOFTWARE AGENTS
COMMUNICATIONS OF THE ACM
1994; 37 (7): 48-?
View details for Web of Science ID A1994NU72300010
-
THE FEDERATION ARCHITECTURE FOR INTEROPERABLE AGENT-BASED CONCURRENT ENGINEERING SYSTEMS
CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS
1994; 2 (2): 125-131
View details for Web of Science ID A1994PV37700006
-
PROGRESSIVE NEGOTIATION FOR RESOLVING CONFLICTS AMONG DISTRIBUTED HETEROGENEOUS COOPERATING AGENTS
12th National Conference on Artificial Intelligence
M I T PRESS. 1994: 381–386
View details for Web of Science ID A1994BC17T00059
- 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
-
FROM DART TO DESIGNWORLD - A CHRONICLE OF RESEARCH ON AUTOMATED ENGINEERING IN THE STANFORD LOGIC GROUP
ARTIFICIAL INTELLIGENCE
1993; 59 (1-2): 159-165
View details for Web of Science ID A1993KN18100020
-
AGENT-BASED FRAMEWORK FOR INTEGRATED FACILITY ENGINEERING
ENGINEERING WITH COMPUTERS
1993; 9 (2): 94-107
View details for Web of Science ID A1993LW94100003
- 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
- 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
- Single Phase Agreements Among Rational Agents in Journal of Experimental and Theoretical Artificial Intelligence 1993
-
TIME-SAVING TIPS FOR PROBLEM-SOLVING WITH INCOMPLETE INFORMATION
11th National Conference on Artificial Intelligence (AAAI-93)
M I T PRESS. 1993: 724–730
View details for Web of Science ID A1993BA08N00108
-
SINGLE-PHASE AGREEMENTS AMONG RATIONAL AGENTS
JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE
1993; 5 (1): 1-19
View details for Web of Science ID A1993LG79800001
- Time-Saving Tips for Problem Solving with Incomplete Information 1993
-
AUTOMATED CONCURRENT ENGINEERING IN DESIGNWORLD
COMPUTER
1993; 26 (1): 74-76
View details for Web of Science ID A1993KG31600013
-
PACT - AN EXPERIMENT IN INTEGRATING CONCURRENT ENGINEERING SYSTEMS
COMPUTER
1993; 26 (1): 28-37
View details for Web of Science ID A1993KG31600005
- Agent-Based Concurrent Engineering 1992
- An Agent-Based Approach for Integrated Design Environments 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
- The Relevance of Irrelevance 1987
- Introspective Fidelity in Metalevel Architectures and Reflection edited by Maes, P. North-Holland. 1987: 75–85
- Logical Foundations of Artificial Intelligence Morgan-Kaufman. 1987
- Communication and Cooperation 1987
- Choosing Directions for Rules Journal of Automated Reasoning 1987: 395-431
-
CONTROLLING RECURSIVE INFERENCE
ARTIFICIAL INTELLIGENCE
1986; 30 (3): 343-389
View details for Web of Science ID A1986E943300003
- Cooperation Without Communication 1986
- Choosing Directions for Rules 1986
-
ORDERING CONJUNCTIVE QUERIES
ARTIFICIAL INTELLIGENCE
1985; 26 (2): 171-215
View details for Web of Science ID A1985AGK1800003
- 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
- Ordering Conjuncts in Problem Solving Artificial Intelligence 1985; 26 (2): 171-216
-
LOGIC PROGRAMMING
COMMUNICATIONS OF THE ACM
1985; 28 (9): 933-941
View details for Web of Science ID A1985APZ4200013
- 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
-
THE USE OF DESIGN DESCRIPTIONS IN AUTOMATED DIAGNOSIS
ARTIFICIAL INTELLIGENCE
1984; 24 (1-3): 411-436
View details for Web of Science ID A1984TW88200008
- 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
- 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
- Residue: A Deductive Approach to Design HPP-83-46, Stanford University Heuristic Programming Project 1983
- What's New: A Semantic Definition of Novelty 1983
- An Overview of Meta-Level Architecture 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
- Metaphors and Models 1980
- Metaphors and Models HPP-80-20, Stanford University Heuristic Programming Project 1980
- Why HPP-80-19, Stanford University Heuristic Programming Project 1980
- The Advanced Scientific Computing Environment Project 1979
- Automated Consultation for Complex Computer Systems 1979
- The Canonicality of Rule Systems 1979
- The Use of Semantics in a Tablet-Based Program for Selecting Parts of Mathematical Expressions" 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