Michael R. Genesereth

Affiliations:
  • Stanford University, USA


According to our database1, Michael R. Genesereth authored at least 98 papers between 1977 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Symbium: Using Logic Programming to Streamline Citizen-to-Government Interactions.
Proceedings of the Prolog: The Next 50 Years, 2023

Dynamic Logic Programming.
Proceedings of the Prolog: The Next 50 Years, 2023

Prolog as a Knowledge Representation Language the Nature and Importance of Prolog.
Proceedings of the Prolog: The Next 50 Years, 2023

Insurance Portfolio Analysis as Containment Testing.
Proceedings of the Legal Knowledge and Information Systems, 2023

2022
Knowledge Graphs: Introduction, History and, Perspectives.
AI Mag., 2022

2020
Introduction to Logic Programming
Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01586-1, 2020

2019
Practical Reformulation of Deductive Databases.
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2018
AI amusements: computer elected governor of California Corpus Legis trounces human opponents in state election.
AI Matters, 2018

2016
Introduction to Logic, Third Edition
Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01801-5, 2016

Invariant Projections in Games.
Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

Update Policies.
Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

Smart Forms.
Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016

2015
The Herbrand Manifesto - Thinking Inside the Box.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Rule-Based Exploration of Structured Data in the Browser.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

2014
General Game Playing
Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01569-4, 2014

Incremental Maintenance of Aggregate Views.
Proceedings of the Foundations of Information and Knowledge Systems, 2014

2013
Introduction to Logic, Second Edition
Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01799-5, 2013

Introduction to Logic
Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01798-8, 2013

The International General Game Playing Competition.
AI Mag., 2013

Reformulating Aggregate Queries Using Views.
Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

An Incremental Algorithm to Optimally Maintain Aggregate Views.
Proceedings of the LPAR 2013, 2013

Extraction and integration of web data by end-users.
Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

2012
Incrementally maintaining run-length encoded attributes in column stores.
Proceedings of the 16th International Database Engineering & Applications Symposium, 2012

2011
Paraconsistent Inference from Data Using Existential ω-Entailment.
Int. J. Semantic Comput., 2011

The Markov Reformulation Theorem.
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011

Paraconsistent Inference from Data Using Existential Omega-Entailment.
Proceedings of the 2011 Database and Expert Systems Applications, 2011

Semantics for Smart Services.
Proceedings of the Science of Service Systems., 2011

2010
Data Integration: The Relational Logic Approach
Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01550-2, 2010

Reports of the AAAI 2010 Spring Symposia.
AI Mag., 2010

Logical Spreadsheets.
Proceedings of the Semantic Web Rules - International Symposium, 2010

2009
Semantic Email Addressing: The Semantic Web Killer App?
IEEE Internet Comput., 2009

Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Equivalence of SQL queries in presence of embedded dependencies.
Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

Deep Web Annotation Using Goal-Oriented Special Purpose Ontologies (Position Paper).
Proceedings of the Social Semantic Web: Where Web 2.0 Meets Web 3.0, 2009

2008
Injecting the How into the What: Investigating a Finite Classical Logic.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems.
Proceedings of the AI 2008: Advances in Artificial Intelligence, 2008

2007
PrediCalc: a logical spreadsheet management system.
Knowl. Eng. Rev., 2007

Reformulation for Extensional Reasoning.
Proceedings of the Abstraction, 2007

Representational complexity in law.
Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

Extensional Reasoning.
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, 2007

2006
Semantic Email Addressing: Sending to People, Not Strings.
Proceedings of the Integrating Reasoning into Everyday Applications, 2006

2005
Database Reformulation with Integrity Constraints (extended abstract)
CoRR, 2005

General Game Playing: Overview of the AAAI Competition.
AI Mag., 2005

PrediCalc: A Logical Spreadsheet Management System.
Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Computational Law.
Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

Axiom Schemata as Metalevel Axioms: Model Theory.
Proceedings of the Proceedings, 2005

2003

2000
Recursive Query Plans for Data Integration.
J. Log. Program., 2000

Linearly Bounded Reformulations of Unary Databases.
Proceedings of the Abstraction, 2000

Linearly Bounded Reformulations of Conjunctive Databases.
Proceedings of the Computational Logic, 2000

1997
Mobile robot obstacle avoidance via depth from focus.
Robotics Auton. Syst., 1997

The Conceptual Basis for Mediation Services.
IEEE Expert, 1997

Using Infomaster to Create a Housewares Virtual Catalog.
Electron. Mark., 1997

Infomaster: An Information Integration System.
Proceedings of the SIGMOD 1997, 1997

Query Planning in Infomaster.
Proceedings of the 1997 ACM symposium on Applied Computing, 1997

Answering Recursive Queries Using Views.
Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1997

1996
Assumptive planning and execution: A simple, working robot architecture.
Auton. Robots, 1996

McCarthy's Idea.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

1995
A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation.
Int. J. Cooperative Inf. Syst., 1995

Intelligent Agents in Distributed Systems (Panel).
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

The Basis for Mediation.
Proceedings of the Third International Conference on Cooperative Information Systems (CoopIS-95), 1995

Infomaster: A Virtual Information System.
Proceedings of the CIKM 1995 Intelligent Information Agents Workshop, 1995

1994
Software Agents.
Commun. ACM, 1994

Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
Single-phase agreements among rational agents.
J. Exp. Theor. Artif. Intell., 1993

Automated Concurrent Engineering in Designworld.
Computer, 1993

PACT: An Experiment in Integrating Concurrent Engineering Systems.
Computer, 1993

From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group.
Artif. Intell., 1993

Time-Saving Tips for Problem Solving with Incomplete Information.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1991
Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning.
SIGART Bull., 1991

Partial Programs.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Knowledge Interchange Format.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Designworld.
Proceedings of the 1991 IEEE International Conference on Robotics and Automation, 1991

1989
The acquisition, verification, and explanation of design knowledge.
SIGART Newsl., 1989

Logische Grundlagen der künstlichen Intelligenz.
Artificial intelligence, Vieweg, ISBN: 978-3-528-04638-5, 1989

1988
Logical foundations of artificial intelligence.
Morgan Kaufmann, ISBN: 978-0-934613-31-6, 1988

1987
Choosing Directions for Rules.
J. Autom. Reason., 1987

The Relevance of Irrelevance.
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986
AAAI-86: Experimenting with a New Conference Format.
AI Mag., 1986

Controlling Recursive Inference.
Artif. Intell., 1986

Cooperation without Communication.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
Expressiveness and Language Choice.
Data Knowl. Eng., 1985

Logic Programming.
Commun. ACM, 1985

Ordering Conjunctive Queries.
Artif. Intell., 1985

A Variable Supply Model for Distributing Deductions.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Deals Among Rational Agents.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984
The Use of Design Descriptions in Automated Diagnosis.
Artif. Intell., 1984

Expressiveness of Languages.
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1983
What's New? A Semantic Definition of Novelty.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

An Overview of Meta-Level Architecture.
Proceedings of the National Conference on Artificial Intelligence, 1983

1982
Intelligent Assistance for Complex Systems.
Proceedings of the ACM 1982 Annual Conference, Dallas, TX, USA, October 25-27, 1982, 1982

Diagnosis Using Hierarchical Design Models.
Proceedings of the National Conference on Artificial Intelligence, 1982

1981
DART: Expert systems for automated computer fault diagnosis.
Proceedings of the ACM 1981 Annual Conference, Los Angeles, CA, USA, November 9-11, 1981., 1981

1980
Metaphors and Models.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979
The Role of Plans in Automated Consultation.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

Canonicity in rule systems.
Proceedings of the Symbolic and Algebraic Computation, 1979

1977
An Automated Consultant for MACSYMA.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977


  Loading...