dblp.uni-trier.dewww.uni-trier.de

Michael R. Genesereth Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
57EERada Chirkova, Michael R. Genesereth: Equivalence of SQL queries in presence of embedded dependencies. PODS 2009: 217-226
56EEMichael Kassoff, Charles J. Petrie, Lee-Ming Zen, Michael R. Genesereth: Semantic Email Addressing: The Semantic Web Killer App? IEEE Internet Computing 13(1): 48-55 (2009)
2008
55EEEric Schkufza, Nathaniel Love, Michael R. Genesereth: Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems. Australasian Conference on Artificial Intelligence 2008: 56-66
54 Timothy L. Hinrichs, Michael R. Genesereth: Injecting the How into the What: Investigating a Finite Classical Logic. KR 2008: 92-192
53EERada Chirkova, Michael R. Genesereth: Equivalence of SQL Queries in Presence of Embedded Dependencies CoRR abs/0812.2195: (2008)
2007
52EETim Hinrichs, Michael R. Genesereth: Extensional Reasoning. ESARLT 2007
51EEHarry Surden, Michael R. Genesereth, Bret Logu: Representational complexity in law. ICAIL 2007: 193-194
50EETimothy L. Hinrichs, Michael R. Genesereth: Reformulation for Extensional Reasoning. SARA 2007: 215-229
49EEMichael Kassoff, Michael R. Genesereth: PrediCalc: a logical spreadsheet management system. Knowledge Eng. Review 22(3): 281-295 (2007)
2005
48 Timothy L. Hinrichs, Michael R. Genesereth: Axiom Schemata as Metalevel Axioms: Model Theory. AAAI 2005: 294-299
47 Nathaniel Love, Michael R. Genesereth: Computational Law. ICAIL 2005: 205-209
46EEMichael Kassoff, Lee-Ming Zen, Ankit Garg, Michael R. Genesereth: PrediCalc: A Logical Spreadsheet Management System. VLDB 2005: 1247-1250
45 Michael R. Genesereth, Nathaniel Love, Barney Pell: General Game Playing: Overview of the AAAI Competition. AI Magazine 26(2): 62-72 (2005)
44EERada Chirkova, Michael R. Genesereth: Database Reformulation with Integrity Constraints (extended abstract) CoRR abs/cs/0506026: (2005)
2003
43EECharles 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
2000
42EERada Chirkova, Michael R. Genesereth: Linearly Bounded Reformulations of Conjunctive Databases. Computational Logic 2000: 987-1001
41EERada Chirkova, Michael R. Genesereth: Linearly Bounded Reformulations of Unary Databases. SARA 2000: 144-163
40 Oliver M. Duschka, Michael R. Genesereth, Alon Y. Levy: Recursive Query Plans for Data Integration. J. Log. Program. 43(1): 49-73 (2000)
1997
39EEOliver M. Duschka, Michael R. Genesereth: Answering Recursive Queries Using Views. PODS 1997: 109-116
38EEOliver M. Duschka, Michael R. Genesereth: Query Planning in Infomaster. SAC 1997: 109-111
37EEMichael R. Genesereth, Arthur M. Keller, Oliver M. Duschka: Infomaster: An Information Integration System. SIGMOD Conference 1997: 539-542
36EEArthur M. Keller, Michael R. Genesereth: Using Infomaster to Create a Housewares Virtual Catalog. Electronic Markets 7(4): (1997)
35 Gio Wiederhold, Michael R. Genesereth: The Conceptual Basis for Mediation Services. IEEE Expert 12(5): 38-47 (1997)
34EEIllah 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)
1996
33EEMichael R. Genesereth: McCarthy's Idea. JELIA 1996: 134-142
1995
32 Gio Wiederhold, Michael R. Genesereth: The Basis for Mediation. CoopIS 1995: 140-157
31 Joann J. Ordille, Oswald Drobnik, Michael R. Genesereth, Y. Lashkari, Bart Selman: Intelligent Agents in Distributed Systems (Panel). ICDCS 1995: 342
30 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)
1994
29 Taha Khedro, Michael R. Genesereth: Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents. AAAI 1994: 381-386
28 Taha Khedro, Michael R. Genesereth: Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving. ECAI 1994: 249-253
27 Michael R. Genesereth, Steven P. Ketchpel: Software Agents. Commun. ACM 37(7): 48-53, 147 (1994)
1993
26 Michael R. Genesereth, Illah R. Nourbakhsh: Time-Saving Tips for Problem Solving with Incomplete Information. AAAI 1993: 724-730
25 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)
24 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)
23 Nam Huyn, Michael R. Genesereth, Reed Letsinger: Automated Concurrent Engineering in Designworld. IEEE Computer 26(1): 74-76 (1993)
1991
22 Michael R. Genesereth, Jane Yung-jen Hsu: Partial Programs. KR 1991: 238-249
21 Michael R. Genesereth: Knowledge Interchange Format. KR 1991: 599-600
20 Narinder Singh, Michael R. Genesereth: Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning. SIGART Bulletin 2(3): 143-151 (1991)
1987
19 Devika Subramanian, Michael R. Genesereth: The Relevance of Irrelevance. IJCAI 1987: 416-422
18 Richard Treitel, Michael R. Genesereth: Choosing Directions for Rules. J. Autom. Reasoning 3(4): 395-431 (1987)
1986
17 Richard Treitel, Michael R. Genesereth: Choosing Directions for Rules. AAAI 1986: 153-157
16 Michael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein: Cooperation without Communication. AAAI 1986: 51-57
15 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)
14 David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg: Controlling Recursive Inference. Artif. Intell. 30(3): 343-389 (1986)
1985
13 Vineet Singh, Michael R. Genesereth: A Variable Supply Model for Distributing Deductions. IJCAI 1985: 39-45
12 Jeffrey S. Rosenschein, Michael R. Genesereth: Deals Among Rational Agents. IJCAI 1985: 91-99
11 David E. Smith, Michael R. Genesereth: Ordering Conjunctive Queries. Artif. Intell. 26(2): 171-215 (1985)
10 Michael R. Genesereth, Matthew L. Ginsberg: Logic Programming. Commun. ACM 28(9): 933-941 (1985)
9 Jock D. Mackinlay, Michael R. Genesereth: Expressiveness and Language Choice. Data Knowl. Eng. 1(1): 17-29 (1985)
1984
8 Jock D. Mackinlay, Michael R. Genesereth: Expressiveness of Languages. AAAI 1984: 226-232
7 Michael R. Genesereth: The Use of Design Descriptions in Automated Diagnosis. Artif. Intell. 24(1-3): 411-436 (1984)
1983
6 Michael R. Genesereth: An Overview of Meta-Level Architecture. AAAI 1983: 119-124
5 Russell Greiner, Michael R. Genesereth: What's New? A Semantic Definition of Novelty. IJCAI 1983: 450-454
1982
4 Michael R. Genesereth: Diagnosis Using Hierarchical Design Models. AAAI 1982: 278-283
1980
3 Michael R. Genesereth: Metaphors and Models. AAAI 1980: 208-211
1979
2 Michael R. Genesereth: Canonicity in rule systems. EUROSAM 1979: 23-29
1977
1 Michael R. Genesereth: An Automated Consultant for MACSYMA. IJCAI 1977: 789

Coauthor Index

1David Andre [34]
2Hans Bjornsson [43]
3Ronald J. Brachman (Ron Brachman) [15]
4Rada Chirkova [41] [42] [43] [44] [53] [57]
5Mark R. Cutkosky [24]
6Oswald Drobnik [31]
7Oliver M. Duschka [37] [38] [39] [40]
8Martin Ekstrom [43]
9Robert S. Engelmore [24]
10Richard Fikes [24]
11Ankit Garg [46]
12Matthew L. Ginsberg [10] [14] [16]
13Hidehito Gomi [43]
14Russell Greiner [5]
15Thomas R. Gruber (Tom Gruber) [24]
16Alon Y. Halevy (Alon Y. Levy) [40]
17Timothy L. Hinrichs (Tim Hinrichs) [43] [48] [50] [52] [54]
18Rob Hoskins [43]
19Jane Yung-jen Hsu [22]
20Nam Huyn [23]
21Michael Kassoff [43] [46] [49] [56]
22Daishi Kato [43]
23Kyohei Kawazoe [43]
24Arthur M. Keller [36] [37]
25Steven P. Ketchpel [27]
26Taha Khedro [28] [29]
27Y. Lashkari [31]
28Reed Letsinger [23]
29Bret Logu [51]
30Nathaniel Love [45] [47] [55]
31Jock D. Mackinlay [8] [9]
32William S. Mark [24]
33Claudia Mazzetti [15]
34Jung Ung Min [43]
35Waqar Mohsin [43]
36Illah R. Nourbakhsh [26] [34]
37Joann J. Ordille [31]
38Barney Pell [45]
39Charles J. Petrie [43] [56]
40Jeffrey S. Rosenschein [12] [16]
41Eric Schkufza [55]
42Bart Selman [31]
43Narinder Singh [20] [30]
44Vineet Singh [13]
45David E. Smith [11] [14]
46Mark Stefik [15]
47Devika Subramanian [19]
48Harry Surden [51]
49M. Syed [30]
50Jay M. Tenenbaum [15] [24]
51Carlo Tomasi [34]
52Richard Treitel [17] [18]
53Jay C. Weber [24]
54Gio Wiederhold [32] [35]
55Lee-Ming Zen [46] [56]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)