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

Michael R. Genesereth Home Page Coauthor index pubzone.org

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

DBLP keys2011
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth, Peter Z. Revesz: Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011. AAAI 2011
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kassoff, Michael R. Genesereth: Paraconsistent Inference from Data Using Existential Omega-Entailment. DEXA Workshops 2011: 315-319
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kassoff, Michael R. Genesereth: The Markov Reformulation Theorem. SARA 2011
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles J. Petrie, Axel Hochstein, Michael R. Genesereth: Semantics for Smart Services. The Science of Service Systems 2011: 91-105
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kassoff, Michael R. Genesereth: Paraconsistent Inference from Data Using Existential ω-Entailment. Int. J. Semantic Computing 5(3): 257-269 (2011)
2010
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth: Data Integration: The Relational Logic Approach Morgan & Claypool Publishers 2010
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth: Logical Spreadsheets. RuleML 2010: 1
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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 Magazine 31(3): 115-122 (2010)
2009
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel 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: 51-52
64Electronic 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
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy L. Hinrichs, Jui-Yi Kao, Michael R. Genesereth: Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. SARA 2009
62Electronic 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
61Electronic 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
60no 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
59Electronic 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
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Hinrichs, Michael R. Genesereth: Extensional Reasoning. ESARLT 2007
57Electronic 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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy L. Hinrichs, Michael R. Genesereth: Reformulation for Extensional Reasoning. SARA 2007: 215-229
55Electronic 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
54no 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
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathaniel Love, Michael R. Genesereth: Computational Law. ICAIL 2005: 205-209
52Electronic 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
51Electronic Edition 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)
50Electronic 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
49Electronic 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
48Electronic 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
47Electronic 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
46Electronic Edition 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
45Electronic 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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver M. Duschka, Michael R. Genesereth: Query Planning in Infomaster. SAC 1997: 109-111
43Electronic 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
42Electronic 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)
41no 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)
40Electronic 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth: McCarthy's Idea. JELIA 1996: 134-142
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIllah R. Nourbakhsh, Michael R. Genesereth: Assumptive planning and execution: A simple, working robot architecture. Auton. Robots 3(1): 49-67 (1996)
1995
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGio Wiederhold, Michael R. Genesereth: The Basis for Mediation. CoopIS 1995: 140-157
36no 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
35no 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
34no 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
33no 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth, Steven P. Ketchpel: Software Agents. Commun. ACM 37(7): 48-53 (1994)
1993
31no 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
30Electronic Edition 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)
29Electronic Edition 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)
28Electronic Edition 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)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey S. Rosenschein, Michael R. Genesereth: Single-phase agreements among rational agents. J. Exp. Theor. Artif. Intell. 5(1): 1-19 (1993)
1991
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth, Jane Yung-jen Hsu: Partial Programs. KR 1991: 238-249
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth: Knowledge Interchange Format. KR 1991: 599-600
24Electronic Edition 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)
1989
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth, Nils J. Nilsson: Logische Grundlagen der künstlichen Intelligenz. Vieweg 1989: I-XXIV, 1-576
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles 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 Newsletter 108: 163-165 (1989)
1988
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth, Nils J. Nilsson: Logical foundations of artificial intelligence. Morgan Kaufmann 1988: I-XVII, 1-405
1987
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDevika Subramanian, Michael R. Genesereth: The Relevance of Irrelevance. IJCAI 1987: 416-422
19Electronic Edition 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Treitel, Michael R. Genesereth: Choosing Directions for Rules. AAAI 1986: 153-157
17no 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
16Electronic Edition 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)
15Electronic Edition 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
14no 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
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey S. Rosenschein, Michael R. Genesereth: Deals Among Rational Agents. IJCAI 1985: 91-99
12Electronic Edition 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)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth, Matthew L. Ginsberg: Logic Programming. Commun. ACM 28(9): 933-941 (1985)
10Electronic Edition 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJock D. Mackinlay, Michael R. Genesereth: Expressiveness of Languages. AAAI 1984: 226-232
8Electronic Edition 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth: Proceedings of the National Conference on Artificial Intelligence. Washington, D.C., August 22-26, 1983. AAAI Press 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth: Diagnosis Using Hierarchical Design Models. AAAI 1982: 278-283
1980
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Genesereth: Metaphors and Models. AAAI 1980: 208-211
1979
2Electronic Edition 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 [40]
2Thomas Barkowsky [66]
3Sven Bertel [66]
4Hans Bjornsson [49]
5Ronald J. Brachman (Ron Brachman) [16]
6Frank Broz [66]
7Vinay K. Chaudhri [66]
8Rada Chirkova [47] [48] [49] [50] [59] [64]
9Mark R. Cutkosky [29]
10Oswald Drobnik [36]
11Oliver M. Duschka [43] [44] [45] [46]
12Nathan Eagle [66]
13Martin Ekstrom [49]
14Robert S. Engelmore [29]
15Richard Fikes [29]
16Ankit Garg [52]
17Robert A. Gargan Jr. [22]
18Matthew L. Ginsberg [11] [15] [17]
19Hidehito Gomi [49]
20Russell Greiner [5]
21Thomas R. Gruber (Tom Gruber) [29]
22Alon Y. Halevy (Alon Y. Levy) [46]
23Harry Halpin [66]
24Emily Hamner [66]
25Timothy L. Hinrichs (Tim Hinrichs) [49] [54] [56] [58] [60] [63]
26Axel Hochstein [65] [70]
27Gabe Hoffmann [66]
28Christoph Hölscher [66]
29Eric Horvitz [66]
30Rob Hoskins [49]
31Jane Yung-jen Hsu [26]
32Nam Huyn [28]
33Jui-Yi Kao [63]
34Michael Kassoff [49] [52] [55] [62] [69] [71] [72]
35Daishi Kato [49]
36Kyohei Kawazoe [49]
37Arthur M. Keller [42] [43]
38Charles Kellogg [22]
39Steven P. Ketchpel [32]
40Taha Khedro [33] [34]
41Y. Lashkari [36]
42Tom Lauwers [66]
43Reed Letsinger [28]
44Bret Logu [57]
45Nathaniel Love [51] [53] [61]
46Jock D. Mackinlay [9] [10]
47William S. Mark [22] [29]
48Claudia Mazzetti [16]
49Deborah L. McGuinness [66]
50James McGuire [22]
51Marek P. Michalowski [66]
52Jung Ung Min [49]
53Waqar Mohsin [49]
54Emily Mower [66]
55Nils J. Nilsson [21] [23]
56Illah R. Nourbakhsh [31] [38] [40]
57Joann J. Ordille [36]
58Barney Pell [51]
59Charles J. Petrie [49] [62] [70]
60Michael Pontecorvo [22]
61Peter Z. Revesz [73]
62Jeffrey S. Rosenschein [13] [17] [27]
63Eric Schkufza [61]
64Jon Schlossberg [22]
65Bart Selman [36]
66Thomas F. Shipley [66]
67Narinder Singh [22] [24] [35]
68Vineet Singh [14]
69David E. Smith [12] [15]
70Mark Stefik [16]
71Kristen Stubbs [66]
72Devika Subramanian [20]
73Joseph W. Sullivan [22]
74Harry Surden [57]
75M. Syed [35]
76Jay M. Tenenbaum [16] [29]
77Carlo Tomasi [40]
78Richard Treitel [18] [19]
79Roland Vogl [66]
80Jay C. Weber [29]
81Gio Wiederhold [37] [41]
82Mary-Anne Williams [66]
83Lee-Ming Zen [52] [62]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page