| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Michael R. Genesereth Timothy L. Hinrichs , Michael R. Genesereth: Axiom Schemata as Metalevel Axioms: Model Theory. AAAI 2005 : 294-299 Nathaniel Love , Michael R. Genesereth: Computational Law. ICAIL 2005 : 205-209 Michael Kassoff , Lee-Ming Zen , Ankit Garg , Michael R. Genesereth: PrediCalc: A Logical Spreadsheet Management System. VLDB 2005 : 1247-1250 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. AMKM 2003 : 322-338 Rada Chirkova , Michael R. Genesereth: Linearly Bounded Reformulations of Conjunctive Databases. Computational Logic 2000 : 987-1001 Rada Chirkova , Michael R. Genesereth: Linearly Bounded Reformulations of Unary Databases. SARA 2000 : 144-163 Oliver M. Duschka , Michael R. Genesereth, Alon Y. Levy : Recursive Query Plans for Data Integration. J. Log. Program. 43 (1): 49-73 (2000) Oliver M. Duschka , Michael R. Genesereth: Answering Recursive Queries Using Views. PODS 1997 : 109-116 Oliver M. Duschka , Michael R. Genesereth: Query Planning in Infomaster. SAC 1997 : 109-111 Michael R. Genesereth, Arthur M. Keller , Oliver M. Duschka : Infomaster: An Information Integration System. SIGMOD Conference 1997 : 539-542 Arthur M. Keller , Michael R. Genesereth: Using Infomaster to Create a Housewares Virtual Catalog. Electronic Markets 7 (4): (1997) Gio Wiederhold , Michael R. Genesereth: The Conceptual Basis for Mediation Services. IEEE Expert 12 (5): 38-47 (1997) Illah R. Nourbakhsh , David Andre , Carlo Tomasi , Michael R. Genesereth: Mobile robot obstacle avoidance via depth from focus. Robotics and Autonomous Systems 22 (2): 151-158 (1997) Michael R. Genesereth: McCarthy's Idea. JELIA 1996 : 134-142 Gio Wiederhold , Michael R. Genesereth: The Basis for Mediation. CoopIS 1995 : 140-157 Joann J. Ordille , Oswald Drobnik , Michael R. Genesereth, Y. Lashkari , Bart Selman : Intelligent Agents in Distributed Systems (Panel). ICDCS 1995 : 342 Narinder Singh , Michael R. Genesereth, M. Syed : A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation. Int. J. Cooperative Inf. Syst. 4 (4): 339-368 (1995) Taha Khedro , Michael R. Genesereth: Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents. AAAI 1994 : 381-386 Taha Khedro , Michael R. Genesereth: Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving. ECAI 1994 : 249-253 Michael R. Genesereth, Steven P. Ketchpel : Software Agents. Commun. ACM 37 (7): 48-53, 147 (1994) Michael R. Genesereth, Illah R. Nourbakhsh : Time-Saving Tips for Problem Solving with Incomplete Information. AAAI 1993 : 724-730 Michael R. Genesereth: From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group. Artif. Intell. 59 (1-2): 159-165 (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. IEEE Computer 26 (1): 28-37 (1993) Nam Huyn , Michael R. Genesereth, Reed Letsinger : Automated Concurrent Engineering in Designworld. IEEE Computer 26 (1): 74-76 (1993) Michael R. Genesereth, Jane Yung-jen Hsu : Partial Programs. KR 1991 : 238-249 Michael R. Genesereth: Knowledge Interchange Format. KR 1991 : 599-600 Narinder Singh , Michael R. Genesereth: Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning. SIGART Bulletin 2 (3): 143-151 (1991) Devika Subramanian , Michael R. Genesereth: The Relevance of Irrelevance. IJCAI 1987 : 416-422 Richard Treitel , Michael R. Genesereth: Choosing Directions for Rules. J. Autom. Reasoning 3 (4): 395-431 (1987) Richard Treitel , Michael R. Genesereth: Choosing Directions for Rules. AAAI 1986 : 153-157 Michael R. Genesereth, Matthew L. Ginsberg , Jeffrey S. Rosenschein : Cooperation without Communication. AAAI 1986 : 51-57 Claudia Mazzetti , Jay M. Tenenbaum , Michael R. Genesereth, Ronald J. Brachman , Mark Stefik : AAAI-86: Experimenting with a New Conference Format. AI Magazine 6 (4): 93-95 (1986) David E. Smith , Michael R. Genesereth, Matthew L. Ginsberg : Controlling Recursive Inference. Artif. Intell. 30 (3): 343-389 (1986) Vineet Singh , Michael R. Genesereth: A Variable Supply Model for Distributing Deductions. IJCAI 1985 : 39-45 Jeffrey S. Rosenschein , Michael R. Genesereth: Deals Among Rational Agents. IJCAI 1985 : 91-99 David E. Smith , Michael R. Genesereth: Ordering Conjunctive Queries. Artif. Intell. 26 (2): 171-215 (1985) Michael R. Genesereth, Matthew L. Ginsberg : Logic Programming. Commun. ACM 28 (9): 933-941 (1985) Jock D. Mackinlay , Michael R. Genesereth: Expressiveness and Language Choice. Data Knowl. Eng. 1 : 17-29 (1985) Jock D. Mackinlay , Michael R. Genesereth: Expressiveness of Languages. AAAI 1984 : 226-232 Michael R. Genesereth: The Use of Design Descriptions in Automated Diagnosis. Artif. Intell. 24 (1-3): 411-436 (1984) Michael R. Genesereth: An Overview of Meta-Level Architecture. AAAI 1983 : 119-124 Russell Greiner , Michael R. Genesereth: What's New? A Semantic Definition of Novelty. IJCAI 1983 : 450-454 Michael R. Genesereth: Diagnosis Using Hierarchical Design Models. AAAI 1982 : 278-283 Michael R. Genesereth: Metaphors and Models. AAAI 1980 : 208-211 Michael R. Genesereth: Canonicity in rule systems. EUROSAM 1979 : 23-29 Michael R. Genesereth: An Automated Consultant for MACSYMA. IJCAI 1977 : 789 1 [ 34 ] 2 [ 43 ] 3 [ 15 ] 4 [ 41 ] [ 42 ] [ 43 ] 5 [ 24 ] 6 [ 31 ] 7 [ 37 ] [ 38 ] [ 39 ] [ 40 ] 8 [ 43 ] 9 [ 24 ] 10 [ 24 ] 11 [ 44 ] 12 [ 10 ] [ 14 ] [ 16 ] 13 [ 43 ] 14 [ 5 ] 15 [ 24 ] 16 [ 40 ] 17 [ 43 ] 18 [ 46 ] 19 [ 43 ] 20 [ 22 ] 21 [ 23 ] 22 [ 43 ] [ 44 ] 23 [ 43 ] 24 [ 43 ] 25 [ 36 ] [ 37 ] 26 [ 27 ] 27 [ 28 ] [ 29 ] 28 [ 31 ] 29 [ 23 ] 30 [ 45 ] 31 [ 8 ] [ 9 ] 32 [ 24 ] 33 [ 15 ] 34 [ 43 ] 35 [ 43 ] 36 [ 26 ] [ 34 ] 37 [ 31 ] 38 [ 43 ] 39 [ 12 ] [ 16 ] 40 [ 31 ] 41 [ 20 ] [ 30 ] 42 [ 13 ] 43 [ 11 ] [ 14 ] 44 [ 15 ] 45 [ 19 ] 46 [ 30 ] 47 [ 15 ] [ 24 ] 48 [ 34 ] 49 [ 17 ] [ 18 ] 50 [ 24 ] 51 [ 32 ] [ 35 ] 52 [ 44 ]  ©2006 Association for Computing Machinery |
