An Automated Consultant for MACSYMA. - Michael R. Genesereth (IJCAI, 1977)

Canonicity in rule systems. - Michael R. Genesereth (EUROSAM, 1979)

The Role of Plans in Automated Consultation. - Michael R. Genesereth (IJCAI, 1979)

Metaphors and Models. - Michael R. Genesereth (AAAI, 1980)

DART: Expert systems for automated computer fault diagnosis. - Michael R. Genesereth; James S. Bennett; Clifford R. Hollander (ACM Annual Conference, 1981)

Diagnosis Using Hierarchical Design Models. - Michael R. Genesereth (AAAI, 1982)

Intelligent Assistance for Complex Systems. - Tom Kehler; Avron Barr; Tim Finin; Peter Friedland; Michael R. Genesereth; James R. Miller; Mark L. Miller; Elliot Soloway; Harry R. Tennant (ACM Annual Conference, 1982)

An Overview of Meta-Level Architecture. - Michael R. Genesereth (AAAI, 1983)

What's New? A Semantic Definition of Novelty. - Russell Greiner; Michael R. Genesereth (IJCAI, 1983)

Expressiveness of Languages. - Jock D. Mackinlay; Michael R. Genesereth (AAAI, 1984)

The Use of Design Descriptions in Automated Diagnosis. - Michael R. Genesereth (Artif. Intell., 1984)

Deals Among Rational Agents. - Jeffrey S. Rosenschein; Michael R. Genesereth (IJCAI, 1985)

A Variable Supply Model for Distributing Deductions. - Vineet Singh; Michael R. Genesereth (IJCAI, 1985)

Ordering Conjunctive Queries. - David E. Smith 001; Michael R. Genesereth (Artif. Intell., 1985)

Logic Programming. - Michael R. Genesereth; Matthew L. Ginsberg (Commun. ACM, 1985)

Expressiveness and Language Choice. - Jock D. Mackinlay; Michael R. Genesereth (Data Knowl. Eng., 1985)

Cooperation without Communication. - Michael R. Genesereth; Matthew L. Ginsberg; Jeffrey S. Rosenschein (AAAI, 1986)

Controlling Recursive Inference. - David E. Smith 001; Michael R. Genesereth; Matthew L. Ginsberg (Artif. Intell., 1986)

AAAI-86: Experimenting with a New Conference Format. - Claudia Mazzetti; Jay M. Tenenbaum; Michael R. Genesereth; Ronald J. Brachman; Mark Stefik (AI Mag., 1986)

The Relevance of Irrelevance. - Devika Subramanian; Michael R. Genesereth (IJCAI, 1987)

Choosing Directions for Rules. - Richard Treitel; Michael R. Genesereth (J. Autom. Reason., 1987)

Logical foundations of artificial intelligence. - Michael R. Genesereth; Nils J. Nilsson (Morgan Kaufmann, 1988)

Logische Grundlagen der künstlichen Intelligenz. - Michael R. Genesereth; Nils J. Nilsson (Vieweg, 1989)

The acquisition, verification, and explanation of design knowledge. - Charles Kellogg; Robert A. Gargan Jr.; William S. Mark; James McGuire; Michael Pontecorvo; Jon Schlossberg; Joseph W. Sullivan; Michael R. Genesereth; Narinder Singh (SIGART Newsl., 1989)

Designworld. - Michael R. Genesereth (ICRA, 1991)

Knowledge Interchange Format. - Michael R. Genesereth (KR, 1991)

Partial Programs. - Michael R. Genesereth; Jane Yung-jen Hsu (KR, 1991)

Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning. - Narinder Singh; Michael R. Genesereth (SIGART Bull., 1991)

Time-Saving Tips for Problem Solving with Incomplete Information. - Michael R. Genesereth; Illah R. Nourbakhsh (AAAI, 1993)

From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group. - Michael R. Genesereth (Artif. Intell., 1993)

PACT: An Experiment in Integrating Concurrent Engineering Systems. - Mark R. Cutkosky; Robert S. Engelmore; Richard Fikes; Michael R. Genesereth; Thomas R. Gruber; William S. Mark; Jay M. Tenenbaum; Jay C. Weber (Computer, 1993)

Automated Concurrent Engineering in Designworld. - Nam Huyn; Michael R. Genesereth; Reed Letsinger (Computer, 1993)

Single-phase agreements among rational agents. - Jeffrey S. Rosenschein; Michael R. Genesereth (J. Exp. Theor. Artif. Intell., 1993)

Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents. - Taha Khedro; Michael R. Genesereth (AAAI, 1994)

Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving. - Taha Khedro; Michael R. Genesereth (ECAI, 1994)

Software Agents. - Michael R. Genesereth; Steven P. Ketchpel (Commun. ACM, 1994)

Infomaster: A Virtual Information System. - Donald F. Geddis; Michael R. Genesereth; Arthur M. Keller; Narinder Singh (CIKM Information Agents Workshop, 1995)

The Basis for Mediation. - Gio Wiederhold; Michael R. Genesereth (CoopIS, 1995)

Intelligent Agents in Distributed Systems (Panel). - Joann J. Ordille; Oswald Drobnik; Michael R. Genesereth; Y. Lashkari; Bart Selman (ICDCS, 1995)

A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation. - Narinder Singh; Michael R. Genesereth; M. Syed (Int. J. Cooperative Inf. Syst., 1995)

McCarthy's Idea. - Michael R. Genesereth (JELIA, 1996)

Assumptive planning and execution: A simple, working robot architecture. - Illah R. Nourbakhsh; Michael R. Genesereth (Auton. Robots, 1996)

Answering Recursive Queries Using Views. - Oliver M. Duschka; Michael R. Genesereth (PODS, 1997)

Query Planning in Infomaster. - Oliver M. Duschka; Michael R. Genesereth (SAC, 1997)

Infomaster: An Information Integration System. - Michael R. Genesereth; Arthur M. Keller; Oliver M. Duschka (SIGMOD Conference, 1997)

Using Infomaster to Create a Housewares Virtual Catalog. - Arthur M. Keller; Michael R. Genesereth (Electron. Mark., 1997)

The Conceptual Basis for Mediation Services. - Gio Wiederhold; Michael R. Genesereth (IEEE Expert, 1997)

Mobile robot obstacle avoidance via depth from focus. - Illah R. Nourbakhsh; David Andre; Carlo Tomasi; Michael R. Genesereth (Robotics Auton. Syst., 1997)

Linearly Bounded Reformulations of Conjunctive Databases. - Rada Chirkova; Michael R. Genesereth (Computational Logic, 2000)

Linearly Bounded Reformulations of Unary Databases. - Rada Chirkova; Michael R. Genesereth (SARA, 2000)

Recursive Query Plans for Data Integration. - Oliver M. Duschka; Michael R. Genesereth; Alon Y. Levy (J. Log. Program., 2000)

Adding AI to Web Services. - Charles J. Petrie; Michael R. Genesereth; Hans C. Bjornsson; Rada Chirkova; Martin A. Ekstrom; Hidehito Gomi; Tim Hinrichs; Rob Hoskins; Michael Kassoff; Daishi Kato; Kyohei Kawazoe; Jung Ung Min; et al. (AMKM, 2003)

Axiom Schemata as Metalevel Axioms: Model Theory. - Timothy L. Hinrichs; Michael R. Genesereth (AAAI, 2005)

Computational Law. - Nathaniel Love; Michael R. Genesereth (ICAIL, 2005)

PrediCalc: A Logical Spreadsheet Management System. - Michael Kassoff; Lee-Ming Zen; Ankit Garg; Michael R. Genesereth (VLDB, 2005)

General Game Playing: Overview of the AAAI Competition. - Michael R. Genesereth; Nathaniel Love; Barney Pell (AI Mag., 2005)

Database Reformulation with Integrity Constraints (extended abstract) - Rada Chirkova; Michael R. Genesereth (CoRR, 2005)

Semantic Email Addressing: Sending to People, Not Strings. - Michael Kassoff; Charles Petrie; Lee-Ming Zen; Michael R. Genesereth (AAAI Fall Symposium: Integrating Reasoning into Everyday Applications, 2006)

Extensional Reasoning. - Tim Hinrichs; Michael R. Genesereth (ESARLT, 2007)

Representational complexity in law. - Harry Surden; Michael R. Genesereth; Bret Logu (ICAIL, 2007)

Reformulation for Extensional Reasoning. - Timothy L. Hinrichs; Michael R. Genesereth (SARA, 2007)

PrediCalc: a logical spreadsheet management system. - Michael Kassoff; Michael R. Genesereth (Knowl. Eng. Rev., 2007)

Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems. - Eric Schkufza; Nathaniel Love; Michael R. Genesereth (Australasian Conference on Artificial Intelligence, 2008)

Injecting the How into the What: Investigating a Finite Classical Logic. - Timothy L. Hinrichs; Michael R. Genesereth (KR, 2008)

Deep Web Annotation Using Goal-Oriented Special Purpose Ontologies (Position Paper). - Axel Hochstein; Michael R. Genesereth (AAAI Spring Symposium: Social Semantic Web: Where Web 2.0 Meets Web 3.0, 2009)

Equivalence of SQL queries in presence of embedded dependencies. - Rada Chirkova; Michael R. Genesereth (PODS, 2009)

Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. - Timothy L. Hinrichs; Eric Jui-Yi Kao; Michael R. Genesereth (SARA, 2009)

Semantic Email Addressing: The Semantic Web Killer App? - Michael Kassoff; Charles J. Petrie; Lee-Ming Zen; Michael R. Genesereth (IEEE Internet Comput., 2009)

Logical Spreadsheets. - Michael R. Genesereth (RuleML, 2010)

Reports of the AAAI 2010 Spring Symposia. - Thomas Barkowsky; Sven Bertel; Frank Broz; Vinay K. Chaudhri; Nathan Eagle; Michael R. Genesereth; Harry Halpin; Emily Hamner; Gabe Hoffmann; Christoph Hölscher; Eric Horvitz; Tom Lauwers; et al. (AI Mag., 2010)

Data Integration: The Relational Logic Approach - Michael R. Genesereth (Data Integration, 2010)

Semantics for Smart Services. - Charles J. Petrie; Axel Hochstein; Michael R. Genesereth (The Science of Service Systems, 2011)

Paraconsistent Inference from Data Using Existential Omega-Entailment. - Michael Kassoff; Michael R. Genesereth (DEXA Workshops, 2011)

The Markov Reformulation Theorem. - Michael Kassoff; Michael R. Genesereth (SARA, 2011)

Paraconsistent Inference from Data Using Existential ω-Entailment. - Michael Kassoff; Michael R. Genesereth (Int. J. Semantic Comput., 2011)

Incrementally maintaining run-length encoded attributes in column stores. - Abhijeet Mohapatra; Michael R. Genesereth (IDEAS, 2012)

Extraction and integration of web data by end-users. - Sudhir Agarwal 001; Michael R. Genesereth (CIKM, 2013)

An Incremental Algorithm to Optimally Maintain Aggregate Views. - Abhijeet Mohapatra; Michael R. Genesereth (LPAR (short papers), 2013)

Reformulating Aggregate Queries Using Views. - Abhijeet Mohapatra; Michael R. Genesereth (SARA, 2013)

The International General Game Playing Competition. - Michael R. Genesereth; Yngvi Björnsson (AI Mag., 2013)

Introduction to Logic - Michael R. Genesereth; Eric Kao (Morgan & Claypool Publishers, 2013)

Introduction to Logic, Second Edition - Michael R. Genesereth; Eric Kao (Introduction to Logic (2nd Ed.), 2013)

Incremental Maintenance of Aggregate Views. - Abhijeet Mohapatra; Michael R. Genesereth (FoIKS, 2014)

General Game Playing - Michael R. Genesereth; Michael Thielscher (Morgan & Claypool Publishers, 2014)

Rule-Based Exploration of Structured Data in the Browser. - Sudhir Agarwal 001; Abhijeet Mohapatra; Michael R. Genesereth; Harold Boley (RuleML, 2015)

The Herbrand Manifesto - Thinking Inside the Box. - Michael R. Genesereth; Eric Jui-Yi Kao (RuleML, 2015)

Smart Forms. - Sudhir Agarwal 001; Abhijeet Mohapatra; Michael R. Genesereth (AAAI Fall Symposia, 2016)

Update Policies. - Abhijeet Mohapatra; Sudhir Agarwal 001; Michael R. Genesereth (Australasian Conference on Artificial Intelligence, 2016)

Invariant Projections in Games. - Abhijeet Mohapatra; Bertrand Decoster; Sudhir Agarwal 001; Michael R. Genesereth (GCAI, 2016)

Introduction to Logic, Third Edition - Michael R. Genesereth; Eric Kao (Introduction to Logic (3rd Ed.), 2016)

AI amusements: computer elected governor of California Corpus Legis trounces human opponents in state election. - Michael R. Genesereth (AI Matters, 2018)

Practical Reformulation of Deductive Databases. - Michael R. Genesereth; Abhijeet Mohapatra (AIKE, 2019)

Introduction to Logic Programming - Michael R. Genesereth; Vinay K. Chaudhri (Morgan & Claypool Publishers, 2020)

Knowledge Graphs: Introduction, History and, Perspectives. - Vinay K. Chaudhri; Chaitanya K. Baru; Naren Chittar; Xin Luna Dong; Michael R. Genesereth; James A. Hendler; Aditya Kalyanpur; Douglas B. Lenat; Juan Sequeda; Denny Vrandecic; Kuansan Wang (AI Mag., 2022)

Insurance Portfolio Analysis as Containment Testing. - Preston Carlson; Michael R. Genesereth (JURIX, 2023)

Prolog as a Knowledge Representation Language the Nature and Importance of Prolog. - Michael R. Genesereth (Prolog: The Next 50 Years, 2023)

Dynamic Logic Programming. - Michael R. Genesereth (Prolog: The Next 50 Years, 2023)

Symbium: Using Logic Programming to Streamline Citizen-to-Government Interactions. - Tristan Krueger; Abhijeet Mohapatra; Michael R. Genesereth (Prolog: The Next 50 Years, 2023)

General Game Playing - Killer App for Logic Programming. - Michael R. Genesereth (ICLP Workshops, 2024)

A Community-driven vision for a new Knowledge Resource for AI. - Vinay K. Chaudhri; Chaitan Baru; Brandon Bennett; Mehul Bhatt; Darion Cassel; Anthony G. Cohn 001; Rina Dechter; Esra Erdem 001; David A. Ferrucci; Kenneth D. Forbus; Gregory Gelfond; Michael R. Genesereth; et al. (CoRR, 2025)