Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael R. Genesereth" ( http://dblp.L3S.de/Authors/Michael_R._Genesereth )

URL (Homepage):  http://logic.stanford.edu/people/genesereth/  Author page on DBLP  Author page in RDF  Community of Michael R. Genesereth in ASPL-2

Publication years (Num. hits)
1977-1986 (18) 1987-1994 (16) 1995-2003 (15) 2005-2009 (16) 2010-2011 (8)
Publication types (Num. hits)
article(27) book(3) incollection(1) inproceedings(40) proceedings(2)
Venues (Conferences, Journals, ...)
AAAI(10) IJCAI(5) SARA(5) Artif. Intell.(4) AI Magazine(3) KR(3) Commun. ACM(2) CoRR(2) ICAIL(2) IEEE Computer(2) PODS(2) AAAI Spring Symposium: Social ...(1) AMKM(1) Australasian Conference on Art...(1) Auton. Robots(1) Computational Logic(1) More (+10 of total 41)
Authors
Michael R. Genesereth(73) Michael Kassoff(7) Rada Chirkova(6) Oliver M. Duschka(4) Timothy L. Hinrichs(4) Charles J. Petrie(3) Illah R. Nourbakhsh(3) Jeffrey S. Rosenschein(3) Matthew L. Ginsberg(3) Narinder Singh(3) Nathaniel Love(3) Arthur M. Keller(2) Axel Hochstein(2) David E. Smith(2) Gio Wiederhold(2) Jay M. Tenenbaum(2) More (+10 of total 85)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 73 publication records. Showing 73 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Michael Kassoff, Michael R. Genesereth Paraconsistent Inference from Data Using Existential ω-Entailment. Search on Bibsonomy Int. J. Semantic Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Charles J. Petrie, Axel Hochstein, Michael R. Genesereth Semantics for Smart Services. Search on Bibsonomy The Science of Service Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael 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. Search on Bibsonomy SARA The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Kassoff, Michael R. Genesereth The Markov Reformulation Theorem. Search on Bibsonomy SARA The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Kassoff, Michael R. Genesereth Paraconsistent Inference from Data Using Existential Omega-Entailment. Search on Bibsonomy DEXA Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas 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. Search on Bibsonomy AI Magazine The full citation details ... 2010 DBLP  BibTeX  RDF
1Michael R. Genesereth Data Integration: The Relational Logic Approach Search on Bibsonomy 2010   DOI  RDF
1Michael R. Genesereth Logical Spreadsheets. Search on Bibsonomy RuleML The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Kassoff, Charles J. Petrie, Lee-Ming Zen, Michael R. Genesereth Semantic Email Addressing: The Semantic Web Killer App? Search on Bibsonomy IEEE Internet Computing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Timothy L. Hinrichs, Jui-Yi Kao, Michael R. Genesereth Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. Search on Bibsonomy SARA The full citation details ... 2009 DBLP  BibTeX  RDF
1Axel Hochstein, Michael R. Genesereth Deep Web Annotation Using Goal-Oriented Special Purpose Ontologies (Position Paper). Search on Bibsonomy AAAI Spring Symposium: Social Semantic Web: Where Web 2.0 Meets Web 3.0 The full citation details ... 2009 DBLP  BibTeX  RDF
1Rada Chirkova, Michael R. Genesereth Equivalence of SQL queries in presence of embedded dependencies. Search on Bibsonomy PODS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF embedded dependencies, conjunctive queries, query equivalence
1Rada Chirkova, Michael R. Genesereth Equivalence of SQL Queries in Presence of Embedded Dependencies Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Eric Schkufza, Nathaniel Love, Michael R. Genesereth Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Timothy L. Hinrichs, Michael R. Genesereth Injecting the How into the What: Investigating a Finite Classical Logic. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Michael Kassoff, Michael R. Genesereth PrediCalc: a logical spreadsheet management system. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tim Hinrichs, Michael R. Genesereth Extensional Reasoning. Search on Bibsonomy ESARLT The full citation details ... 2007 DBLP  BibTeX  RDF
1Timothy L. Hinrichs, Michael R. Genesereth Reformulation for Extensional Reasoning. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Harry Surden, Michael R. Genesereth, Bret Logu Representational complexity in law. Search on Bibsonomy ICAIL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rada Chirkova, Michael R. Genesereth Database Reformulation with Integrity Constraints (extended abstract) Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Michael R. Genesereth, Nathaniel Love, Barney Pell General Game Playing: Overview of the AAAI Competition. Search on Bibsonomy AI Magazine The full citation details ... 2005 DBLP  BibTeX  RDF
1Michael Kassoff, Lee-Ming Zen, Ankit Garg, Michael R. Genesereth PrediCalc: A Logical Spreadsheet Management System. Search on Bibsonomy VLDB The full citation details ... 2005 DBLP  BibTeX  RDF
1Nathaniel Love, Michael R. Genesereth Computational Law. Search on Bibsonomy ICAIL The full citation details ... 2005 DBLP  BibTeX  RDF
1Timothy L. Hinrichs, Michael R. Genesereth Axiom Schemata as Metalevel Axioms: Model Theory. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Charles 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. Search on Bibsonomy AMKM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Oliver M. Duschka, Michael R. Genesereth, Alon Y. Levy Recursive Query Plans for Data Integration. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Rada Chirkova, Michael R. Genesereth Linearly Bounded Reformulations of Unary Databases. Search on Bibsonomy SARA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Rada Chirkova, Michael R. Genesereth Linearly Bounded Reformulations of Conjunctive Databases. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Illah R. Nourbakhsh, David Andre, Carlo Tomasi, Michael R. Genesereth Mobile robot obstacle avoidance via depth from focus. Search on Bibsonomy Robotics and Autonomous Systems The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Arthur M. Keller, Michael R. Genesereth Using Infomaster to Create a Housewares Virtual Catalog. Search on Bibsonomy Electronic Markets The full citation details ... 1997 DBLP  BibTeX  RDF
1Gio Wiederhold, Michael R. Genesereth The Conceptual Basis for Mediation Services. Search on Bibsonomy IEEE Expert The full citation details ... 1997 DBLP  BibTeX  RDF
1Oliver M. Duschka, Michael R. Genesereth Query Planning in Infomaster. Search on Bibsonomy SAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael R. Genesereth, Arthur M. Keller, Oliver M. Duschka Infomaster: An Information Integration System. Search on Bibsonomy SIGMOD Conference The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Internet
1Oliver M. Duschka, Michael R. Genesereth Answering Recursive Queries Using Views. Search on Bibsonomy PODS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Datalog
1Illah R. Nourbakhsh, Michael R. Genesereth Assumptive planning and execution: A simple, working robot architecture. Search on Bibsonomy Auton. Robots The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Michael R. Genesereth McCarthy's Idea. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Narinder Singh, Michael R. Genesereth, M. Syed A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation. Search on Bibsonomy Int. J. Cooperative Inf. Syst. The full citation details ... 1995 DBLP  BibTeX  RDF
1Joann J. Ordille, Oswald Drobnik, Michael R. Genesereth, Y. Lashkari, Bart Selman Intelligent Agents in Distributed Systems (Panel). Search on Bibsonomy ICDCS The full citation details ... 1995 DBLP  BibTeX  RDF
1Gio Wiederhold, Michael R. Genesereth The Basis for Mediation. Search on Bibsonomy CoopIS The full citation details ... 1995 DBLP  BibTeX  RDF
1Michael R. Genesereth, Steven P. Ketchpel Software Agents. Search on Bibsonomy Commun. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Taha Khedro, Michael R. Genesereth Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving. Search on Bibsonomy ECAI The full citation details ... 1994 DBLP  BibTeX  RDF
1Taha Khedro, Michael R. Genesereth Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents. Search on Bibsonomy AAAI The full citation details ... 1994 DBLP  BibTeX  RDF
1Jeffrey S. Rosenschein, Michael R. Genesereth Single-phase agreements among rational agents. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Nam Huyn, Michael R. Genesereth, Reed Letsinger Automated Concurrent Engineering in Designworld. Search on Bibsonomy IEEE Computer The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Mark 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. Search on Bibsonomy IEEE Computer The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Michael R. Genesereth From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group. Search on Bibsonomy Artif. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Michael R. Genesereth, Illah R. Nourbakhsh Time-Saving Tips for Problem Solving with Incomplete Information. Search on Bibsonomy AAAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Narinder Singh, Michael R. Genesereth Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning. Search on Bibsonomy SIGART Bulletin The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Michael R. Genesereth, Jane Yung-jen Hsu Partial Programs. Search on Bibsonomy KR The full citation details ... 1991 DBLP  BibTeX  RDF
1Michael R. Genesereth Knowledge Interchange Format. Search on Bibsonomy KR The full citation details ... 1991 DBLP  BibTeX  RDF
1Charles 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. Search on Bibsonomy SIGART Newsletter The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Michael R. Genesereth, Nils J. Nilsson Logische Grundlagen der künstlichen Intelligenz. Search on Bibsonomy 1989   RDF
1Michael R. Genesereth, Nils J. Nilsson Logical foundations of artificial intelligence. Search on Bibsonomy 1988   RDF
1Richard Treitel, Michael R. Genesereth Choosing Directions for Rules. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Devika Subramanian, Michael R. Genesereth The Relevance of Irrelevance. Search on Bibsonomy IJCAI The full citation details ... 1987 DBLP  BibTeX  RDF
1David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg Controlling Recursive Inference. Search on Bibsonomy Artif. Intell. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Claudia Mazzetti, Jay M. Tenenbaum, Michael R. Genesereth, Ronald J. Brachman, Mark Stefik AAAI-86: Experimenting with a New Conference Format. Search on Bibsonomy AI Magazine The full citation details ... 1986 DBLP  BibTeX  RDF
1Michael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein Cooperation without Communication. Search on Bibsonomy AAAI The full citation details ... 1986 DBLP  BibTeX  RDF
1Richard Treitel, Michael R. Genesereth Choosing Directions for Rules. Search on Bibsonomy AAAI The full citation details ... 1986 DBLP  BibTeX  RDF
1Jock D. Mackinlay, Michael R. Genesereth Expressiveness and Language Choice. Search on Bibsonomy Data Knowl. Eng. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Michael R. Genesereth, Matthew L. Ginsberg Logic Programming. Search on Bibsonomy Commun. ACM The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1David E. Smith, Michael R. Genesereth Ordering Conjunctive Queries. Search on Bibsonomy Artif. Intell. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Jeffrey S. Rosenschein, Michael R. Genesereth Deals Among Rational Agents. Search on Bibsonomy IJCAI The full citation details ... 1985 DBLP  BibTeX  RDF
1Vineet Singh, Michael R. Genesereth A Variable Supply Model for Distributing Deductions. Search on Bibsonomy IJCAI The full citation details ... 1985 DBLP  BibTeX  RDF
1Michael R. Genesereth The Use of Design Descriptions in Automated Diagnosis. Search on Bibsonomy Artif. Intell. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Jock D. Mackinlay, Michael R. Genesereth Expressiveness of Languages. Search on Bibsonomy AAAI The full citation details ... 1984 DBLP  BibTeX  RDF
1Russell Greiner, Michael R. Genesereth What's New? A Semantic Definition of Novelty. Search on Bibsonomy IJCAI The full citation details ... 1983 DBLP  BibTeX  RDF
1Michael R. Genesereth An Overview of Meta-Level Architecture. Search on Bibsonomy AAAI The full citation details ... 1983 DBLP  BibTeX  RDF
1Michael R. Genesereth (eds.) Proceedings of the National Conference on Artificial Intelligence. Washington, D.C., August 22-26, 1983. Search on Bibsonomy AAAI The full citation details ... 1983 DBLP  BibTeX  RDF
1Michael R. Genesereth Diagnosis Using Hierarchical Design Models. Search on Bibsonomy AAAI The full citation details ... 1982 DBLP  BibTeX  RDF
1Michael R. Genesereth Metaphors and Models. Search on Bibsonomy AAAI The full citation details ... 1980 DBLP  BibTeX  RDF
1Michael R. Genesereth Canonicity in rule systems. Search on Bibsonomy EUROSAM The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
1Michael R. Genesereth An Automated Consultant for MACSYMA. Search on Bibsonomy IJCAI The full citation details ... 1977 DBLP  BibTeX  RDF
Displaying result #1 - #73 of 73 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.