Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael R. Genesereth
2010 – today
- 2012
[c42]Abhijeet Mohapatra, Michael R. Genesereth: Incrementally maintaining run-length encoded attributes in column stores. IDEAS 2012: 146-154- 2011
- [j25]Michael Kassoff, Michael R. Genesereth: Paraconsistent Inference from Data Using Existential ω-Entailment. Int. J. Semantic Computing 5(3): 257-269 (2011)
- [p1]Charles J. Petrie, Axel Hochstein, Michael R. Genesereth: Semantics for Smart Services. The Science of Service Systems 2011: 91-105
- [c41]Michael Kassoff, Michael R. Genesereth: Paraconsistent Inference from Data Using Existential Omega-Entailment. DEXA Workshops 2011: 315-319
- [c40]
- [e2]Michael R. Genesereth, Peter Z. Revesz (Eds.): Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011. AAAI 2011, ISBN 978-1-57735-543-4
- 2010
- [b3]Michael R. Genesereth: Data Integration: The Relational Logic Approach. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2010
- [j24]Thomas 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)
- [c39]
2000 – 2009
- 2009
- [j23]Michael 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)
- [c38]Axel 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
- [c37]Rada Chirkova, Michael R. Genesereth: Equivalence of SQL queries in presence of embedded dependencies. PODS 2009: 217-226
- [c36]Timothy L. Hinrichs, Jui-Yi Kao, Michael R. Genesereth: Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. SARA 2009
- 2008
- [c35]Eric 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
- [c34]Timothy L. Hinrichs, Michael R. Genesereth: Injecting the How into the What: Investigating a Finite Classical Logic. KR 2008: 92-192
- [i2]Rada Chirkova, Michael R. Genesereth: Equivalence of SQL Queries in Presence of Embedded Dependencies. CoRR abs/0812.2195 (2008)
- 2007
- [j22]Michael Kassoff, Michael R. Genesereth: PrediCalc: a logical spreadsheet management system. Knowledge Eng. Review 22(3): 281-295 (2007)
- [c33]
- [c32]Harry Surden, Michael R. Genesereth, Bret Logu: Representational complexity in law. ICAIL 2007: 193-194
- [c31]Timothy L. Hinrichs, Michael R. Genesereth: Reformulation for Extensional Reasoning. SARA 2007: 215-229
- 2005
- [j21]Michael R. Genesereth, Nathaniel Love, Barney Pell: General Game Playing: Overview of the AAAI Competition. AI Magazine 26(2): 62-72 (2005)
- [c30]Timothy L. Hinrichs, Michael R. Genesereth: Axiom Schemata as Metalevel Axioms: Model Theory. AAAI 2005: 294-299
- [c29]
- [c28]Michael Kassoff, Lee-Ming Zen, Ankit Garg, Michael R. Genesereth: PrediCalc: A Logical Spreadsheet Management System. VLDB 2005: 1247-1250
- [i1]Rada Chirkova, Michael R. Genesereth: Database Reformulation with Integrity Constraints (extended abstract). CoRR abs/cs/0506026 (2005)
- 2003
- [c27]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
- 2000
- [j20]Oliver M. Duschka, Michael R. Genesereth, Alon Y. Levy: Recursive Query Plans for Data Integration. J. Log. Program. 43(1): 49-73 (2000)
- [c26]Rada Chirkova, Michael R. Genesereth: Linearly Bounded Reformulations of Conjunctive Databases. Computational Logic 2000: 987-1001
- [c25]Rada Chirkova, Michael R. Genesereth: Linearly Bounded Reformulations of Unary Databases. SARA 2000: 144-163
1990 – 1999
- 1997
- [j19]Arthur M. Keller, Michael R. Genesereth: Using Infomaster to Create a Housewares Virtual Catalog. Electronic Markets 7(4) (1997)
- [j18]Gio Wiederhold, Michael R. Genesereth: The Conceptual Basis for Mediation Services. IEEE Expert 12(5): 38-47 (1997)
- [j17]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)
- [c24]Oliver M. Duschka, Michael R. Genesereth: Answering Recursive Queries Using Views. PODS 1997: 109-116
- [c23]
- [c22]Michael R. Genesereth, Arthur M. Keller, Oliver M. Duschka: Infomaster: An Information Integration System. SIGMOD Conference 1997: 539-542
- 1996
- [j16]Illah R. Nourbakhsh, Michael R. Genesereth: Assumptive planning and execution: A simple, working robot architecture. Auton. Robots 3(1): 49-67 (1996)
- [c21]
- 1995
- [j15]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)
- [c20]
- [c19]Joann J. Ordille, Oswald Drobnik, Michael R. Genesereth, Y. Lashkari, Bart Selman: Intelligent Agents in Distributed Systems (Panel). ICDCS 1995: 342
- 1994
- [j14]
- [c18]Taha Khedro, Michael R. Genesereth: Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents. AAAI 1994: 381-386
- [c17]Taha Khedro, Michael R. Genesereth: Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving. ECAI 1994: 249-253
- 1993
- [j13]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)
- [j12]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)
- [j11]Nam Huyn, Michael R. Genesereth, Reed Letsinger: Automated Concurrent Engineering in Designworld. IEEE Computer 26(1): 74-76 (1993)
- [j10]Jeffrey S. Rosenschein, Michael R. Genesereth: Single-phase agreements among rational agents. J. Exp. Theor. Artif. Intell. 5(1): 1-19 (1993)
- [c16]Michael R. Genesereth, Illah R. Nourbakhsh: Time-Saving Tips for Problem Solving with Incomplete Information. AAAI 1993: 724-730
- 1991
- [j9]Narinder Singh, Michael R. Genesereth: Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning. SIGART Bulletin 2(3): 143-151 (1991)
- [c15]
- [c14]
1980 – 1989
- 1989
- [b2]Michael R. Genesereth, Nils J. Nilsson: Logische Grundlagen der künstlichen Intelligenz. Artificial intelligence, Vieweg 1989, ISBN 978-3-528-04638-5, pp. I-XXIV, 1-576
- [j8]Charles 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
- [b1]Michael R. Genesereth, Nils J. Nilsson: Logical foundations of artificial intelligence. Morgan Kaufmann 1988, ISBN 978-0-934613-31-6, pp. I-XVII, 1-405
- 1987
- [j7]Richard Treitel, Michael R. Genesereth: Choosing Directions for Rules. J. Autom. Reasoning 3(4): 395-431 (1987)
- [c13]
- 1986
- [j6]David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg: Controlling Recursive Inference. Artif. Intell. 30(3): 343-389 (1986)
- [j5]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)
- [c12]Michael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein: Cooperation without Communication. AAAI 1986: 51-57
- [c11]
- 1985
- [j4]David E. Smith, Michael R. Genesereth: Ordering Conjunctive Queries. Artif. Intell. 26(2): 171-215 (1985)
- [j3]
- [j2]Jock D. Mackinlay, Michael R. Genesereth: Expressiveness and Language Choice. Data Knowl. Eng. 1(1): 17-29 (1985)
- [c10]Vineet Singh, Michael R. Genesereth: A Variable Supply Model for Distributing Deductions. IJCAI 1985: 39-45
- [c9]
- 1984
- [j1]Michael R. Genesereth: The Use of Design Descriptions in Automated Diagnosis. Artif. Intell. 24(1-3): 411-436 (1984)
- [c8]
- 1983
- [c7]
- [c6]Russell Greiner, Michael R. Genesereth: What's New? A Semantic Definition of Novelty. IJCAI 1983: 450-454
- [e1]Michael R. Genesereth (Ed.): Proceedings of the National Conference on Artificial Intelligence. Washington, D.C., August 22-26, 1983. AAAI Press 1983, ISBN 0-262-51052-9
- 1982
- [c5]
- 1980
- [c4]
1970 – 1979
- 1979
- [c3]
- [c2]
- 1977
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-06 21:01 CET by the dblp team