| 2009 |
|---|
| 56 | EE | 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) |
| 2008 |
|---|
| 55 | EE | 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 |
| 54 | | Timothy L. Hinrichs,
Michael R. Genesereth:
Injecting the How into the What: Investigating a Finite Classical Logic.
KR 2008: 92-192 |
| 53 | EE | Rada Chirkova,
Michael R. Genesereth:
Equivalence of SQL Queries in Presence of Embedded Dependencies
CoRR abs/0812.2195: (2008) |
| 2007 |
|---|
| 52 | EE | Tim Hinrichs,
Michael R. Genesereth:
Extensional Reasoning.
ESARLT 2007 |
| 51 | EE | Harry Surden,
Michael R. Genesereth,
Bret Logu:
Representational complexity in law.
ICAIL 2007: 193-194 |
| 50 | EE | Timothy L. Hinrichs,
Michael R. Genesereth:
Reformulation for Extensional Reasoning.
SARA 2007: 215-229 |
| 49 | EE | Michael 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 |
| 46 | EE | Michael 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) |
| 44 | EE | Rada Chirkova,
Michael R. Genesereth:
Database Reformulation with Integrity Constraints (extended abstract)
CoRR abs/cs/0506026: (2005) |
| 2003 |
|---|
| 43 | EE | 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 |
|---|
| 42 | EE | Rada Chirkova,
Michael R. Genesereth:
Linearly Bounded Reformulations of Conjunctive Databases.
Computational Logic 2000: 987-1001 |
| 41 | EE | Rada 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 |
|---|
| 39 | EE | Oliver M. Duschka,
Michael R. Genesereth:
Answering Recursive Queries Using Views.
PODS 1997: 109-116 |
| 38 | EE | Oliver M. Duschka,
Michael R. Genesereth:
Query Planning in Infomaster.
SAC 1997: 109-111 |
| 37 | EE | Michael R. Genesereth,
Arthur M. Keller,
Oliver M. Duschka:
Infomaster: An Information Integration System.
SIGMOD Conference 1997: 539-542 |
| 36 | EE | Arthur 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) |
| 34 | EE | 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) |
| 1996 |
|---|
| 33 | | Michael 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 |
