Travelled to:1 × Australia
1 × Norway
1 × United Kingdom
4 × USA
Collaborated with:O.M.Duschka R.Chirkova T.L.Hinrichs ∅ J.Y.Hsu A.M.Keller M.Kassoff L.Zen A.Garg
Talks about:queri (3) infomast (2) system (2) logic (2) spreadsheet (1) interchang (1) reformul (1) knowledg (1) investig (1) conjunct (1)
Person: Michael R. Genesereth
DBLP: Genesereth:Michael_R=
Contributed to:
2009
2008
2005
20001997
1997
19971991Wrote 9 papers:
- PODS-2009-ChirkovaG #dependence #embedded #equivalence #query #sql
- Equivalence of SQL queries in presence of embedded dependencies (RC, MRG), pp. 217–226.
- KR-2008-HinrichsG #finite #how #injection #logic #what
- Injecting the How into the What: Investigating a Finite Classical Logic (TLH, MRG), pp. 92–192.
- VLDB-2005-KassoffZGG #logic #named #spreadsheet
- PrediCalc: A Logical Spreadsheet Management System (MK, LMZ, AG, MRG), pp. 1247–1250.
- CL-2000-ChirkovaG #bound #database
- Linearly Bounded Reformulations of Conjunctive Databases (RC, MRG), pp. 987–1001.
- PODS-1997-DuschkaG #query #recursion #using
- Answering Recursive Queries Using Views (OMD, MRG), pp. 109–116.
- SAC-1997-DuschkaG #query
- Query Planning in Infomaster (OMD, MRG), pp. 109–111.
- SIGMOD-1997-GeneserethKD #integration #named
- Infomaster: An Information Integration System (MRG, AMK, OMD), pp. 539–542.
- KR-1991-Genesereth
- Knowledge Interchange Format (MRG), pp. 599–600.
- KR-1991-GeneserethH #source code
- Partial Programs (MRG, JYjH), pp. 238–249.