Michael R. Genesereth Home Page Coauthor index DBLP Vis pubzone.org

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

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

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)