Search the dblp DataBase
Michael R. Genesereth :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Oliver M. Duschka , Michael R. Genesereth Answering Recursive Queries Using Views. [Citation Graph (17, 12)][DBLP ] PODS, 1997, pp:109-116 [Conf ] Michael R. Genesereth , Arthur M. Keller , Oliver M. Duschka Infomaster: An Information Integration System. [Citation Graph (8, 0)][DBLP ] SIGMOD Conference, 1997, pp:539-542 [Conf ] Michael R. Genesereth , Steven P. Ketchpel Software Agents. [Citation Graph (7, 0)][DBLP ] Commun. ACM, 1994, v:37, n:7, pp:48-53 [Journal ] David E. Smith , Michael R. Genesereth Ordering Conjunctive Queries. [Citation Graph (5, 0)][DBLP ] Artif. Intell., 1985, v:26, n:2, pp:171-215 [Journal ] Gio Wiederhold , Michael R. Genesereth The Basis for Mediation. [Citation Graph (3, 0)][DBLP ] CoopIS, 1995, pp:140-157 [Conf ] Oliver M. Duschka , Michael R. Genesereth Query Planning in Infomaster. [Citation Graph (3, 0)][DBLP ] SAC, 1997, pp:109-111 [Conf ] Michael R. Genesereth An Overview of Meta-Level Architecture. [Citation Graph (2, 0)][DBLP ] AAAI, 1983, pp:119-124 [Conf ] Jeffrey S. Rosenschein , Michael R. Genesereth Deals Among Rational Agents. [Citation Graph (2, 0)][DBLP ] IJCAI, 1985, pp:91-99 [Conf ] David E. Smith , Michael R. Genesereth , Matthew L. Ginsberg Controlling Recursive Inference. [Citation Graph (2, 0)][DBLP ] Artif. Intell., 1986, v:30, n:3, pp:343-389 [Journal ] Michael R. Genesereth , Matthew L. Ginsberg Logic Programming. [Citation Graph (2, 0)][DBLP ] Commun. ACM, 1985, v:28, n:9, pp:933-941 [Journal ] Taha Khedro , Michael R. Genesereth Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents. [Citation Graph (1, 0)][DBLP ] AAAI, 1994, pp:381-386 [Conf ] Rada Chirkova , Michael R. Genesereth Linearly Bounded Reformulations of Conjunctive Databases. [Citation Graph (1, 0)][DBLP ] Computational Logic, 2000, pp:987-1001 [Conf ] Michael R. Genesereth Knowledge Interchange Format. [Citation Graph (1, 0)][DBLP ] KR, 1991, pp:599-600 [Conf ] Michael R. Genesereth The Use of Design Descriptions in Automated Diagnosis. [Citation Graph (1, 0)][DBLP ] Artif. Intell., 1984, v:24, n:1-3, pp:411-436 [Journal ] 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. [Citation Graph (1, 0)][DBLP ] IEEE Computer, 1993, v:26, n:1, pp:28-37 [Journal ] Oliver M. Duschka , Michael R. Genesereth , Alon Y. Levy Recursive Query Plans for Data Integration. [Citation Graph (1, 0)][DBLP ] J. Log. Program., 2000, v:43, n:1, pp:49-73 [Journal ] Michael R. Genesereth Metaphors and Models. [Citation Graph (0, 0)][DBLP ] AAAI, 1980, pp:208-211 [Conf ] Michael R. Genesereth Diagnosis Using Hierarchical Design Models. [Citation Graph (0, 0)][DBLP ] AAAI, 1982, pp:278-283 [Conf ] Michael R. Genesereth , Matthew L. Ginsberg , Jeffrey S. Rosenschein Cooperation without Communication. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:51-57 [Conf ] Michael R. Genesereth , Illah R. Nourbakhsh Time-Saving Tips for Problem Solving with Incomplete Information. [Citation Graph (0, 0)][DBLP ] AAAI, 1993, pp:724-730 [Conf ] Timothy L. Hinrichs , Michael R. Genesereth Axiom Schemata as Metalevel Axioms: Model Theory. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:294-299 [Conf ] Jock D. Mackinlay , Michael R. Genesereth Expressiveness of Languages. [Citation Graph (0, 0)][DBLP ] AAAI, 1984, pp:226-232 [Conf ] Richard Treitel , Michael R. Genesereth Choosing Directions for Rules. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:153-157 [Conf ] Charles J. Petrie , Michael R. Genesereth , Hans Bjornsson , Rada Chirkova , Martin Ekstrom , Hidehito Gomi , Tim Hinrichs , Rob Hoskins , Michael Kassoff , Daishi Kato , Kyohei Kawazoe , Jung Ung Min , Waqar Mohsin Adding AI to Web Services. [Citation Graph (0, 0)][DBLP ] AMKM, 2003, pp:322-338 [Conf ] Taha Khedro , Michael R. Genesereth Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:249-253 [Conf ] Michael R. Genesereth Canonicity in rule systems. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:23-29 [Conf ] Nathaniel Love , Michael R. Genesereth Computational Law. [Citation Graph (0, 0)][DBLP ] ICAIL, 2005, pp:205-209 [Conf ] Joann J. Ordille , Oswald Drobnik , Michael R. Genesereth , Y. Lashkari , Bart Selman Intelligent Agents in Distributed Systems (Panel). [Citation Graph (0, 0)][DBLP ] ICDCS, 1995, pp:342- [Conf ] Michael R. Genesereth An Automated Consultant for MACSYMA. [Citation Graph (0, 0)][DBLP ] IJCAI, 1977, pp:789- [Conf ] Russell Greiner , Michael R. Genesereth What's New? A Semantic Definition of Novelty. [Citation Graph (0, 0)][DBLP ] IJCAI, 1983, pp:450-454 [Conf ] Vineet Singh , Michael R. Genesereth A Variable Supply Model for Distributing Deductions. [Citation Graph (0, 0)][DBLP ] IJCAI, 1985, pp:39-45 [Conf ] Devika Subramanian , Michael R. Genesereth The Relevance of Irrelevance. [Citation Graph (0, 0)][DBLP ] IJCAI, 1987, pp:416-422 [Conf ] Michael R. Genesereth McCarthy's Idea. [Citation Graph (0, 0)][DBLP ] JELIA, 1996, pp:134-142 [Conf ] Michael R. Genesereth , Jane Yung-jen Hsu Partial Programs. [Citation Graph (0, 0)][DBLP ] KR, 1991, pp:238-249 [Conf ] Rada Chirkova , Michael R. Genesereth Linearly Bounded Reformulations of Unary Databases. [Citation Graph (0, 0)][DBLP ] SARA, 2000, pp:144-163 [Conf ] Michael Kassoff , Lee-Ming Zen , Ankit Garg , Michael R. Genesereth PrediCalc: A Logical Spreadsheet Management System. [Citation Graph (0, 0)][DBLP ] VLDB, 2005, pp:1247-1250 [Conf ] Michael R. Genesereth From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1993, v:59, n:1-2, pp:159-165 [Journal ] Michael R. Genesereth , Nathaniel Love , Barney Pell General Game Playing: Overview of the AAAI Competition. [Citation Graph (0, 0)][DBLP ] AI Magazine, 2005, v:26, n:2, pp:62-72 [Journal ] Claudia Mazzetti , Jay M. Tenenbaum , Michael R. Genesereth , Ronald J. Brachman , Mark Stefik AAAI-86: Experimenting with a New Conference Format. [Citation Graph (0, 0)][DBLP ] AI Magazine, 1986, v:6, n:4, pp:93-95 [Journal ] Nam Huyn , Michael R. Genesereth , Reed Letsinger Automated Concurrent Engineering in Designworld. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1993, v:26, n:1, pp:74-76 [Journal ] Jock D. Mackinlay , Michael R. Genesereth Expressiveness and Language Choice. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 1985, v:1, n:1, pp:17-29 [Journal ] Arthur M. Keller , Michael R. Genesereth Using Infomaster to Create a Housewares Virtual Catalog. [Citation Graph (0, 0)][DBLP ] Electronic Markets, 1997, v:7, n:4, pp:- [Journal ] Gio Wiederhold , Michael R. Genesereth The Conceptual Basis for Mediation Services. [Citation Graph (0, 0)][DBLP ] IEEE Expert, 1997, v:12, n:5, pp:38-47 [Journal ] Narinder Singh , Michael R. Genesereth , M. Syed A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 1995, v:4, n:4, pp:339-368 [Journal ] Richard Treitel , Michael R. Genesereth Choosing Directions for Rules. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1987, v:3, n:4, pp:395-431 [Journal ] Illah R. Nourbakhsh , David Andre , Carlo Tomasi , Michael R. Genesereth Mobile robot obstacle avoidance via depth from focus. [Citation Graph (0, 0)][DBLP ] Robotics and Autonomous Systems, 1997, v:22, n:2, pp:151-158 [Journal ] Narinder Singh , Michael R. Genesereth Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning. [Citation Graph (0, 0)][DBLP ] SIGART Bulletin, 1991, v:2, n:3, pp:143-151 [Journal ] Harry Surden , Michael R. Genesereth , Bret Logu Representational complexity in law. [Citation Graph (0, 0)][DBLP ] ICAIL, 2007, pp:193-194 [Conf ] Timothy L. Hinrichs , Michael R. Genesereth Reformulation for Extensional Reasoning. [Citation Graph (0, 0)][DBLP ] SARA, 2007, pp:215-229 [Conf ] Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems. [Citation Graph (, )][DBLP ] Extensional Reasoning. [Citation Graph (, )][DBLP ] Injecting the How into the What: Investigating a Finite Classical Logic. [Citation Graph (, )][DBLP ] Equivalence of SQL queries in presence of embedded dependencies. [Citation Graph (, )][DBLP ] Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. [Citation Graph (, )][DBLP ] Database Reformulation with Integrity Constraints (extended abstract) [Citation Graph (, )][DBLP ] Equivalence of SQL Queries in Presence of Embedded Dependencies [Citation Graph (, )][DBLP ] Search in 0.015secs, Finished in 0.017secs