Michael R. Genesereth - Publications

Affiliations: 
Stanford University, Palo Alto, CA 
Area:
Computer Science

24 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2011 Barkowsky T, Bertel S, Broz F, Chaudhri VK, Eagle N, Genesereth M, Halpin H, Hamner E, Hoffmann G, Hölscher C, Horvitz E, Lauwers T, McGuinness DL, Michalowski M, Mower E, et al. Reports of the AAAI 2010 spring symposia Ai Magazine. 31: 115-122. DOI: 10.1609/Aimag.V31I3.2304  0.345
2011 Kassoff M, Genesereth MR. Paraconsistent inference from data using existential -entailment Proceedings - International Workshop On Database and Expert Systems Applications, Dexa. 315-319. DOI: 10.1142/S1793351X11001249  0.353
2009 Chirkova R, Genesereth MR. Equivalence of SQL queries in presence of embedded dependencies Proceedings of the Acm Sigact-Sigmod-Sigart Symposium On Principles of Database Systems. 217-226. DOI: 10.1145/1559795.1559829  0.317
2009 Kassoff M, Petrie C, Zen L-, Genesereth M. Semantic Email Addressing: The Semantic Web Killer App? Ieee Internet Computing. 13: 48-55. DOI: 10.1109/Mic.2009.20  0.346
2009 Hinrichs TL, Kao JY, Genesereth MR. Inconsistency-tolerant reasoning with classical logic and large databases Sara 2009 - Proceedings, 8th Symposium On Abstraction, Reformulation and Approximation. 105-112.  0.704
2008 Hinrichs TL, Genesereth MR. Injecting the how into the what: Investigating a finite classical logic Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, Kr 2008. 92-102.  0.696
2007 Kassoff M, Genesereth MR. PrediCalc: A logical spreadsheet management system Knowledge Engineering Review. 22: 281-295. DOI: 10.1017/S0269888907001154  0.352
2007 Hinrichs TL, Genesereth MR. Extensional reasoning Ceur Workshop Proceedings. 257: 3-26.  0.72
2007 Hinrichs TL, Genesereth MR. Reformulation for extensional reasoning Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4612: 215-229.  0.727
2005 Hinrichs TL, Genesereth MR. Axiom schemata as metalevel axioms: Model theory Proceedings of the National Conference On Artificial Intelligence. 1: 294-299.  0.708
2003 Petrie CJ, Genesereth MR, Bjornsson HC, Chirkova R, Ekstrom MA, Gomi H, Hinrichs T, Hoskins R, Kassoff M, Kato D, Kawazoe K, Min JU, Mohsin W. Adding AI to Web Services Lecture Notes in Computer Science. 322-338. DOI: 10.1007/978-3-540-24612-1_23  0.651
2000 Duschka OM, Genesereth MR, Levy AY. Recursive query plans for data integration Journal of Logic Programming. 43: 49-73. DOI: 10.1016/S0743-1066(99)00025-4  0.369
2000 Chirkova R, Genesereth MR. Linearly Bounded Reformulations of Conjunctive Databases Lecture Notes in Computer Science. 987-1001. DOI: 10.1007/3-540-44957-4_66  0.715
2000 Chirkova R, Genesereth MR. Linearly bounded reformulations of conjunctive databases (Extended Abstract) Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 1861: 987-1001.  0.345
1997 Keller AM, Genesereth MR. Using Infomaster to Create a Housewares Virtual Catalog Electronic Markets. 7: 41-44. DOI: 10.1080/10196789700000048  0.343
1997 Nourbakhsh IR, Andre D, Tomasi C, Genesereth MR. Mobile robot obstacle avoidance via depth from focus Robotics and Autonomous Systems. 22: 151-158. DOI: 10.1016/S0921-8890(97)00051-1  0.611
1997 Nourbakhsh IR, Andre D, Tomasi C, Genesereth MR. Mobile robot obstacle avoidance via depth from focus Robotics and Autonomous Systems. 22: 151-158.  0.576
1996 Nourbakhsh IR, Genesereth MR. Assumptive planning and execution: A simple, working robot architecture Autonomous Robots. 3: 49-67. DOI: 10.1007/Bf00162467  0.615
1995 Singh N, Genesereth M, Syed M. A Distributed And Anonymous Knowledge Sharing Approach To Software Interoperation International Journal of Cooperative Information Systems. 4: 339-367. DOI: 10.1142/S0218843095000159  0.353
1994 Khedro T, Genesereth MR. The Federation Architecture for Interoperable Agent-based Concurrent Engineering Systems Concurrent Engineering. 2: 125-131. DOI: 10.1177/1063293X9400200206  0.355
1993 Khedro T, Genesereth MR, Teicholz PM. Agent-based framework for integrated facility engineering Engineering With Computers. 9: 94-107. DOI: 10.1007/Bf01199048  0.377
1991 Singh N, Genesereth M. Epikit: a library of subroutines supporting declarative representations and reasoning Intelligence\/Sigart Bulletin. 2: 143-151. DOI: 10.1145/122296.122318  0.371
1986 Smith DE, Genesereth MR, Ginsberg ML. Controlling recursive inference Artificial Intelligence. 30: 343-389. DOI: 10.1016/0004-3702(86)90003-2  0.351
1985 Smith DE, Genesereth MR. Ordering conjunctive queries Artificial Intelligence. 26: 171-215. DOI: 10.1016/0004-3702(85)90028-1  0.334
Show low-probability matches.