Michael R. Genesereth

Publication Activity (10 Years)

Years Active: 1977-2023
Publications (10 Years): 9

Top Topics

Queries Using Views

Aggregate Views

Top Venues

AAAI Fall Symposia

Publications

Preston Carlson, Michael R. Genesereth
Insurance Portfolio Analysis as Containment Testing. JURIX (2023)
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
Knowledge Graphs: Introduction, History and, Perspectives. AI Mag. 43 (1) (2022)
Michael R. Genesereth, Abhijeet Mohapatra
Practical Reformulation of Deductive Databases. AIKE (2019)
Michael R. Genesereth
AI amusements: computer elected governor of California Corpus Legis trounces human opponents in state election. AI Matters 4 (1) (2018)
Sudhir Agarwal, Abhijeet Mohapatra, Michael R. Genesereth
Smart Forms. AAAI Fall Symposia (2016)
Abhijeet Mohapatra, Sudhir Agarwal, Michael R. Genesereth
Update Policies. Australasian Conference on Artificial Intelligence (2016)
Abhijeet Mohapatra, Bertrand Decoster, Sudhir Agarwal, Michael R. Genesereth
Invariant Projections in Games. GCAI (2016)
Sudhir Agarwal, Abhijeet Mohapatra, Michael R. Genesereth, Harold Boley
Rule-Based Exploration of Structured Data in the Browser. RuleML (2015)
Michael R. Genesereth, Eric Jui-Yi Kao
The Herbrand Manifesto - Thinking Inside the Box. RuleML (2015)
Abhijeet Mohapatra, Michael R. Genesereth
Incremental Maintenance of Aggregate Views. FoIKS (2014)
Abhijeet Mohapatra, Michael R. Genesereth
An Incremental Algorithm to Optimally Maintain Aggregate Views. LPAR (short papers) (2013)
Sudhir Agarwal, Michael R. Genesereth
Extraction and integration of web data by end-users. CIKM (2013)
Michael R. Genesereth, Yngvi Björnsson
The International General Game Playing Competition. AI Mag. 34 (2) (2013)
Abhijeet Mohapatra, Michael R. Genesereth
Reformulating Aggregate Queries Using Views. SARA (2013)
Abhijeet Mohapatra, Michael R. Genesereth
Incrementally maintaining run-length encoded attributes in column stores. IDEAS (2012)
Michael Kassoff, Michael R. Genesereth
Paraconsistent Inference from Data Using Existential Omega-Entailment. DEXA Workshops (2011)
Michael Kassoff, Michael R. Genesereth
The Markov Reformulation Theorem. SARA (2011)
Michael Kassoff, Michael R. Genesereth
Paraconsistent Inference from Data Using Existential ω-Entailment. Int. J. Semantic Comput. 5 (3) (2011)
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, Deborah L. McGuinness, Marek P. Michalowski, Emily Mower, Thomas F. Shipley, Kristen Stubbs, Roland Vogl, Mary-Anne Williams
Reports of the AAAI 2010 Spring Symposia. AI Mag. 31 (3) (2010)
Michael R. Genesereth
Logical Spreadsheets. RuleML (2010)
Michael Kassoff, Charles J. Petrie, Lee-Ming Zen, Michael R. Genesereth
Semantic Email Addressing: The Semantic Web Killer App? IEEE Internet Comput. 13 (1) (2009)
Timothy L. Hinrichs, Eric Jui-Yi Kao, Michael R. Genesereth
Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. SARA (2009)
Rada Chirkova, Michael R. Genesereth
Equivalence of SQL queries in presence of embedded dependencies. PODS (2009)
Axel Hochstein, Michael R. Genesereth
Deep Web Annotation Using Goal-Oriented Special Purpose Ontologies (Position Paper). AAAI Spring Symposium: Social Semantic Web: Where Web 2.0 Meets Web 3.0 (2009)
Rada Chirkova, Michael R. Genesereth
Equivalence of SQL Queries in Presence of Embedded Dependencies CoRR (2008)
Eric Schkufza, Nathaniel Love, Michael R. Genesereth
Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems. Australasian Conference on Artificial Intelligence (2008)
Timothy L. Hinrichs, Michael R. Genesereth
Injecting the How into the What: Investigating a Finite Classical Logic. KR (2008)
Michael Kassoff, Michael R. Genesereth
PrediCalc: a logical spreadsheet management system. Knowl. Eng. Rev. 22 (3) (2007)
Timothy L. Hinrichs, Michael R. Genesereth
Reformulation for Extensional Reasoning. SARA (2007)
Harry Surden, Michael R. Genesereth, Bret Logu
Representational complexity in law. ICAIL (2007)
Tim Hinrichs, Michael R. Genesereth
Extensional Reasoning. ESARLT (2007)
Michael Kassoff, Charles Petrie, Lee-Ming Zen, Michael R. Genesereth
Semantic Email Addressing: Sending to People, Not Strings. AAAI Fall Symposium: Integrating Reasoning into Everyday Applications (2006)
Michael Kassoff, Lee-Ming Zen, Ankit Garg, Michael R. Genesereth
PrediCalc: A Logical Spreadsheet Management System. VLDB (2005)
Nathaniel Love, Michael R. Genesereth
Computational Law. ICAIL (2005)
Rada Chirkova, Michael R. Genesereth
Database Reformulation with Integrity Constraints (extended abstract) CoRR (2005)
Michael R. Genesereth, Nathaniel Love, Barney Pell
General Game Playing: Overview of the AAAI Competition. AI Mag. 26 (2) (2005)
Timothy L. Hinrichs, Michael R. Genesereth
Axiom Schemata as Metalevel Axioms: Model Theory. AAAI (2005)
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, Waqar Mohsin
Adding AI to Web Services. AMKM (2003)
Rada Chirkova, Michael R. Genesereth
Linearly Bounded Reformulations of Conjunctive Databases. Computational Logic (2000)
Oliver M. Duschka, Michael R. Genesereth, Alon Y. Levy
Recursive Query Plans for Data Integration. J. Log. Program. 43 (1) (2000)
Rada Chirkova, Michael R. Genesereth
Linearly Bounded Reformulations of Unary Databases. SARA (2000)
Arthur M. Keller, Michael R. Genesereth
Using Infomaster to Create a Housewares Virtual Catalog. Electron. Mark. 7 (4) (1997)
Michael R. Genesereth, Arthur M. Keller, Oliver M. Duschka
Infomaster: An Information Integration System. SIGMOD Conference (1997)
Illah R. Nourbakhsh, David Andre, Carlo Tomasi, Michael R. Genesereth
Mobile robot obstacle avoidance via depth from focus. Robotics Auton. Syst. 22 (2) (1997)
Oliver M. Duschka, Michael R. Genesereth
Answering Recursive Queries Using Views. PODS (1997)
Gio Wiederhold, Michael R. Genesereth
The Conceptual Basis for Mediation Services. IEEE Expert 12 (5) (1997)
Oliver M. Duschka, Michael R. Genesereth
Query Planning in Infomaster. SAC (1997)
Illah R. Nourbakhsh, Michael R. Genesereth
Assumptive planning and execution: A simple, working robot architecture. Auton. Robots 3 (1) (1996)
Michael R. Genesereth
McCarthy's Idea. JELIA (1996)
Narinder Singh, Michael R. Genesereth, M. Syed
A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation. Int. J. Cooperative Inf. Syst. 4 (4) (1995)
Gio Wiederhold, Michael R. Genesereth
The Basis for Mediation. CoopIS (1995)
Donald F. Geddis, Michael R. Genesereth, Arthur M. Keller, Narinder Singh
Infomaster: A Virtual Information System. CIKM Information Agents Workshop (1995)
Joann J. Ordille, Oswald Drobnik, Michael R. Genesereth, Y. Lashkari, Bart Selman
Intelligent Agents in Distributed Systems (Panel). ICDCS (1995)
Taha Khedro, Michael R. Genesereth
Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving. ECAI (1994)
Michael R. Genesereth, Steven P. Ketchpel
Software Agents. Commun. ACM 37 (7) (1994)
Taha Khedro, Michael R. Genesereth
Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents. AAAI (1994)
Michael R. Genesereth, Illah R. Nourbakhsh
Time-Saving Tips for Problem Solving with Incomplete Information. AAAI (1993)
Mark R. Cutkosky, Robert S. Engelmore, Richard Fikes, Michael R. Genesereth, Thomas R. Gruber, William S. Mark, Jay M. Tenenbaum, Jay C. Weber
PACT: An Experiment in Integrating Concurrent Engineering Systems. Computer 26 (1) (1993)
Nam Huyn, Michael R. Genesereth, Reed Letsinger
Automated Concurrent Engineering in Designworld. Computer 26 (1) (1993)
Michael R. Genesereth
From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group. Artif. Intell. 59 (1-2) (1993)
Jeffrey S. Rosenschein, Michael R. Genesereth
Single-phase agreements among rational agents. J. Exp. Theor. Artif. Intell. 5 (1) (1993)
Michael R. Genesereth
Knowledge Interchange Format. KR (1991)
Narinder Singh, Michael R. Genesereth
Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning. SIGART Bull. 2 (3) (1991)
Michael R. Genesereth
Designworld. ICRA (1991)
Michael R. Genesereth, Jane Yung-jen Hsu
Partial Programs. KR (1991)
Charles Kellogg, Robert A. Gargan Jr., William S. Mark, James McGuire, Michael Pontecorvo, Jon Schlossberg, Joseph W. Sullivan, Michael R. Genesereth, Narinder Singh
The acquisition, verification, and explanation of design knowledge. SIGART Newsl. 108 (1989)
Richard Treitel, Michael R. Genesereth
Choosing Directions for Rules. J. Autom. Reason. 3 (4) (1987)
Devika Subramanian, Michael R. Genesereth
The Relevance of Irrelevance. IJCAI (1987)
Richard Treitel, Michael R. Genesereth
Choosing Directions for Rules. AAAI (1986)
Claudia Mazzetti, Jay M. Tenenbaum, Michael R. Genesereth, Ronald J. Brachman, Mark Stefik
AAAI-86: Experimenting with a New Conference Format. AI Mag. 6 (4) (1986)
David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg
Controlling Recursive Inference. Artif. Intell. 30 (3) (1986)
Michael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein
Cooperation without Communication. AAAI (1986)
Vineet Singh, Michael R. Genesereth
A Variable Supply Model for Distributing Deductions. IJCAI (1985)
Jock D. Mackinlay, Michael R. Genesereth
Expressiveness and Language Choice. Data Knowl. Eng. 1 (1) (1985)
David E. Smith, Michael R. Genesereth
Ordering Conjunctive Queries. Artif. Intell. 26 (2) (1985)
Jeffrey S. Rosenschein, Michael R. Genesereth
Deals Among Rational Agents. IJCAI (1985)
Michael R. Genesereth, Matthew L. Ginsberg
Logic Programming. Commun. ACM 28 (9) (1985)
Jock D. Mackinlay, Michael R. Genesereth
Expressiveness of Languages. AAAI (1984)
Michael R. Genesereth
The Use of Design Descriptions in Automated Diagnosis. Artif. Intell. 24 (1-3) (1984)
Michael R. Genesereth
An Overview of Meta-Level Architecture. AAAI (1983)
Russell Greiner, Michael R. Genesereth
What's New? A Semantic Definition of Novelty. IJCAI (1983)
Tom Kehler, Avron Barr, Tim Finin, Peter Friedland, Michael R. Genesereth, James R. Miller, Mark L. Miller, Elliot Soloway, Harry R. Tennant
Intelligent Assistance for Complex Systems. ACM Annual Conference (1982)
Michael R. Genesereth
Diagnosis Using Hierarchical Design Models. AAAI (1982)
Michael R. Genesereth, James S. Bennett, Clifford R. Hollander
DART: Expert systems for automated computer fault diagnosis. ACM Annual Conference (1981)
Michael R. Genesereth
Metaphors and Models. AAAI (1980)
Michael R. Genesereth
The Role of Plans in Automated Consultation. IJCAI (1979)
Michael R. Genesereth
Canonicity in rule systems. EUROSAM (1979)
Michael R. Genesereth
An Automated Consultant for MACSYMA. IJCAI (1977)