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 |