Genesereth - Papers

*** Out of date, with missing papers and missing links, but presented here on the theory that something is better than nothing, ***

2017 - present


2013 - 2016

  • M. Genesereth, Y. Bjornsson: The International General Game Playing Competition, AAAI Magazine, Vol. 34, pp 107-111, 2013.
  • Abhijeet Mohapatra, Michael Genesereth: Reformulating Aggregate Queries Using Views, Proceedings of the Symposium on Abstraction, Reformulation, and Approximation, 2013.
  • Eric Kao, Michael Genesereth: A New Method for Incremental Consequence Finding, Technical Report, Logic Group, Stanford University, 2013.
  • Mohapatra, A., Agarwal, S., Genesereth, M.: Dexter: Plugging-n-Playing with Data Sources in your Browser, AAAI Workshop on Semantic Cities: Beyond Open Data to Models, Standards and Reasoning, 2014.
  • Mohapatra, A., Genesereth, M.: Incremental Maintenance of Aggregate Views, Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014.
  • Mohapatra, A., Genesereth, M.: Automating the Design of Game Visualizations, demonstration at AAAI-15.
  • M. R. Genesereth, E. Kao: The Herbrand Manifesto - Thinking Inside the Box, in Bassiliades N., Gottlob G., Sadri F., Paschke A., Roman D. (eds) Rule Technologies: Foundations, Tools, and Applications. RuleML 2015. Lecture Notes in Computer Science, vol 9202. Springer Cham, 2015.
  • Abhijeet Mohapatra and Bertrand Decoster and Sudhir Agarwal and Michael Genesereth: Invariant Projections in Games, GCAI 2016. 2nd Global Conference on Artificial Intelligence, EPiC Series in Computing, 227-239, 2016.
  • Sudhir Agarwal and Abhijeet Mohapatra and Michael Genesereth: Smart Forms, AAAI Fall Symposium Series, 2016.
  • A. Mohaptra, S. Agarwal, M. R. Genesereth: Update Policies, Proceedings of the Australasian Joint Conference on Artificial Intelligence, pp 291-302, 2016.

2009 - 2012

  • Michael Kassoff, Charles Petrie, Lee Zen, and Michael Genesereth: "Semantic Email Addressing: The Killer App?,", IEEE Internet Computing, 13:1, 2009.
  • Chirkova, R., Genesereth, M. R.: Equivalence of SQL Queries In Presence of Embedded Dependencies, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of Database Systems, pp 217-226, 2009.
  • M. R. Genesereth: Computational Law - The Cop in the Backseat, Technical Report, Logic Group, Stanford University, 2009.
  • Timothy Hinrichs, Eric Kao, Michael Genesereth: Automatic Web Form Construction via Paraconsistent Compilation to Relational Databases, Technical Report, Logic Group, Stanford University, 2009.
  • Jui-Yi Kao, Michael Genesereth. Query Rewriting for Answers with Consistent Support, Technical Report, Logic Group, Stanford University, 2009.
  • Axel Hochstein, Michael Genesereth, "Deep Web Annotation Using Goal-Oriented Special Purpose Ontologies", in: Proceedings of the AAAI 2009 Spring Symposium, 2009.
  • Evan Cox, Eric Schkufza, Ryan Madsen, Michael Genesereth: Factoring General Games using Propositional Automata, SARA-09, Lake Arrowhead, CA, 2009.
  • Eric Kao, Tim Hinrichs, Michael Genesereth: "Inconsistency-tolerant Reasoning with Classical Logic and Large Databases", SARA-09, Lake Arrowhead, CA, July 2009.
  • Jui-Yi Kao, Michael Genesereth. Incremental Consequence Finding in First-Order Logic, Technical Report, Logic Group, Stanford University, 2010.
  • Michael Kassoff, Michael Genesereth: Using Websheets for Student Degree Planning Worksheets, Technical Report, Logic Group, Stanford University, 2010.
  • M. Kassoff, M. Genesereth: Paraconsistent Inference from Data using Existential Entailment, Data, Logic, and Inconsistency, 2011.
  • M. Kassoff, M. Genesereth: Paraconsistent Inference from Data Using Existential Entailment, IJSC Vol: 05 Iss: 3 pp 257, 2011.
  • Hochstein and Genesereth: "Semantics for Smart Services", In H. Demirkan, J.C. Spohrer and V. Krishna (eds.), The Science of Service Systems, New York: Springer, 2011.
  • Abhijeet Mohapatra, Michael Genesereth: Aggregation in Datalog Under Set Semantics. Logic Group Technical Report LG-2012-01, 2012.
  • A. Mohapatra, M. Genesereth: Representation of Aggregates in Datalog. Incrementally Run-length Encoding Attributes in Column Stores, Technical Report, Logic Group, Stanford University, 2012
  • A. Mohapatra, M. Genesereth: Optimal Lexicographic Sorting of Column Stores is NP-Complete, Technical Report, Logic Group, Stanford University, 2012.
  • Abhijeet Mohapatra, Michael R. Genesereth: Incrementally maintaining run-length encoded attributes in column stores. IDEAS 2012: 146-154, 2012.

2005 - 2008

  • Chirkova, R., Genesereth, M. R.: "Database Reformulation with Integrity Constraints", The Logic and Computational Complexity Workshop, in conjunction with the Conference on Logic in Computer Science (LICS), Chicago, June 2005.
  • Hinrichs, T. L., Genesereth, M. R.: "Axiom Schemata as Metalevel Axioms: Model Theory", in Proceedings of the National Conference on Artificial Intelligence, July 2005, pp. 294-299.
  • Genesereth, M. R., Love, N., Pell, B.: General Game Playing - Overview of the AAAI Competition, AAAI Magazine, Vol. 26, no 2, July 2005.
  • Love, N., Genesereth, M. R.: "Computational Law", in Proceedings of the International Conference on Artificial Intelligence and Law, Bologna, Italy, 2005.
  • Kassoff, M., Zen, L., Garg, A., Genesereth, M. R.: "PrediCalc: A Logical Spreadsheet Management System", 31st International Conference on Very Large Databases (VLDB), Trondheim, Norway, 2005, pp 1247-1250.
  • Tim Hinrichs, Michael Genesereth: Injecting the How into the What: Investigating a Finite Classical Logic, in Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), September 2008.

2001 - 2004

  • Petrie, C. et al.: "Adding AI to Web Services", in Agent Mediated Knowledge Management, Luder van Elst, Virginia Dignum, and Andreas Abecker (eds.), LNAI 2926, Springer-Verlag, 2004.

1997 - 2000

  • Keller, A. M., Genesereth, M. R.: "Multi-Vendor Catalogs: Smart Catalogs and Virtual Catalogs", EDI Forum, Volume 9, number 3, pp 87-93.
  • Nourbakhsh, I., Andre, D., Genesereth, M. R., Tomasi, C.: "Mobile Robot Obstacle Avoidance Via Depth From Focus", Robotics and Autonomous Systems.
  • Duschka, O., Genesereth, M. R.: "Query Planning in Infomaster", 1997 ACM Symposium on Applied Computing, San Jose, CA, February 1997.
  • Duschka, O., Genesereth, M. R.: "Answering Recursive Queries Using Views", 16th ACM Symposium on Principles of Database Systems, April 1997.
  • Genesereth, M. R., Keller, A. M., Duschka, O.: "Infomaster: An Information Integration System", 1997 ACM SIGMOD Conference, May 1997.
  • Duschka, O., Genesereth, M. R.: "Infomaster - An Information Integration Tool", in Proceedings of the International Workshop "Intelligent Information Integration" during the 21st German Annual Conference on Artificial Intelligence, KI-97, Freiburg, Germany, September 1997.
  • Keller, A. M., Genesereth, M. R.: "Using Infomaster to Create a Housewares Virtual Catalog," in Int. Journal of Electronic Markets, Institute for Media and Communication Management, University of St. Gallen, Switzerland, Vol. 7, No. 4, 1997, pp 41-45.
  • Genesereth, M. R.: "An Agent-Based Framework for Interoperability", in Software Agents, edited by Bradshaw, J., AAAI Press, 1997.
  • Chirkova, R., Genesereth, M. R.: "Database Reformulation", Symposium on Abstraction, Reformulation, and Approximation, Pacific Grove, CA, May 1998.
  • Duschka, O., Genesereth, M. R.: "Query Planning with Disjunctive Sources", in Proceedings of the AAAI Workshop on AI and Information Integration, Madison, Wisconsin, July 1998.
  • Nourbakhsh, I., Genesereth, M. R.: "Dervish", in AI-based Mobile Robots: Case Studies of Successful Robot Systems, edited by D. Kortenkamp, P. Bonasso, R. Murphy, MIT Press, 1998.
  • Nourbakhsh, I., Genesereth, M. R.: "Teaching AI Using Robots", in AI-based Mobile Robots: Case Studies of Successful Robot Systems, edited by D. Kortenkamp, P. Bonasso, R. Murphy, MIT Press, 1998.
  • Duschka, O., Genesereth, M. R., Levy, A.: "Recursive Query Plans for Data Integration", Journal of Logic Programming, Volume 43, Number 1, April 2000.
  • Chirkova, R., Genesereth, M. R.: "Linearly Bounded Reformulations of Unary Databases", Symposium on Abstraction, Reformulation, and Approximation, Horseshoe Bay, TX, July 2000.
  • Chirkova, R., Genesereth, M. R.: "Linearly Bounded Reformulations of Conjunctive Databases", International Conference of Deductive and Object-Oriented Databases, London, UK, July 2000.

1993 - 1996

  • Huyn, P. N., Genesereth, M. R., Letsinger, R.: "Automated Concurrent Engineering in Designworld", Computer Volume 26 Number 1, January 1993, pp 74-76.
  • Cutkosky, M., Engelmore, R. S., Fikes, R. E., Genesereth, M. R., Gruber, T. R., Mark, W. S., Tenenbaum, J. M., Weber, J. C.: "PACT: An Experiment in Integrating Concurrent Engineering Systems", Computer, Volume 26 Number 1, January 1993, pp 28-37.
  • Khedro, T., Teicholz, P. M., Genesereth, M. R.: "Agent-Based Technology for Facility Design Software Integration", Fifth International Conference on Computing in Civil and Building Engineering, Anaheim, California, June 1993.
  • Khedro, T., Genesereth, M. R., Teicholz, P. M.: "FCDA: A Framework for Collaborative Distributed Multidisciplinary Design", Eleventh National Conference on Artificial Intelligence: Workshop on Artificial Intelligence in Collaborative Design, Washington, DC, July 1993, pp 67-82.
  • Genesereth, M. R., Nourbakhsh, I.: Time-Saving Tips for Problem Solving with Incomplete Information, National Conference on Artificial Intelligence, Washington DC, August 1993, pp 724-730.
  • Khedro, T., Genesereth, M. R.: "Progressive Negotiation: A Strategy for Resolving Conflicts in Cooperative Distributed Multidisciplinary Design", Thirteenth International Joint Conference on Artificial Intelligence: Workshop on Computational Models of Conflict Management in Cooperative Problem Solving, Chambery, France, August 1993, pp 103-112.
  • Khedro, T., Genesereth, M. R.: "Collaborative Distributed Facility Engineering Through Agent-Based Software Integration", Third International Conference on the Application of Artificial Intelligence to Civil and Structural Engineering, Edinburgh, United Kingdom, August 1993, pp 27-35.
  • Rosenschein, J. S., Genesereth, M. R.: "Single Phase Agreements Among Rational Agents", in Journal of Experimental and Theoretical Artificial Intelligence, 1993.
  • Genesereth, M. R.: "From Dart to Designworld: A Chronicle of Research on Automated Engineering in The Stanford Logic Group", Artificial Intelligence, 1993.
  • Khedro, T., Genesereth, M. R., Teicholz, P. M.: "An Agent-Based Framework for Integrated Facility Engineering", International Journal for Engineering with Computers, Volume 9, 1993, pp 94-107.
  • Khedro, T., Teicholz, P. M., Genesereth, M. R.: "A Formal Approach to Interdisciplinary Communication of Facility Design Information", International Journal for Artificial Intelligence in Engineering, 1993.
  • Khedro, T., Genesereth, M. R., Teicholz, P.: "A Framework for Collaborative Distributed Facility Engineering", First Congress on Computing in Civil Engineering, Washington, DC, June 1994.
  • Khedro, T., Genesereth, M. R.: "Progressive Negotiation for Resolving Conflicts Among Distributed Heterogeneous Cooperating Agents", National Conference on Artificial Intelligence, Seattle, WA, July 1994.
  • Khedro, T., Genesereth, M. R.: "Solution Consistency and Convergence in Cooperative Distributed Problem Solving", AAAI-94 Workshop on Models of Conflict Management in Cooperative Problem Solving, Seattle, WA, July 1994.
  • Genesereth, M. R., Ketchpel, S. P.: "Software Agents", Communications of the Association for Computing Machinery, July 1994, pp 48-53.
  • Khedro, T., Genesereth, M. R., Teicholz, P.: "Concurrent Engineering through Interoperable Software Agents", First International Conference on Concurrent Engineering, Research and Applications, Pittsburgh, PA, August 1994.
  • Khedro, T., Genesereth, M. R.: "Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving", Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 1994.
  • Singh, N. P., Genesereth, M. R., Syed, M.: "A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation", International Journal of Cooperative Information Systems, Volume 4, number 4, 1995, pp 339-367.
  • Genesereth, M. R.: "McCarthy's Idea", JELIA '96 - The European Workshop on Logics in Artificial Intelligence, Lisbon, Portugal, September 1996, pp 134-142.
  • Nourbakhsh, I., Genesereth, M. R.: "Assumptive Planning and Execution: A Simple, Working Robot Architecture", Autonomous Robots, Volume 3, 1996, pp 49-67.

1989 - 1992

  • Genesereth, M. R., Hsu, J. Y.: "Partial Programs", Second International Conference on the Principles of Knowledge Representation and Reasoning, Allen, J., Fikes, R., Sandewall, E. (eds), Morgan Kaufman Publishers, 1991, pp 238-249.
  • Genesereth, M. R.: "Designworld", IEEE International Conference on Robotics and Automation, IEEE Computer Science Society Press, 1991, pp 2785-2788.
  • Singh, N. P., Genesereth, M. R.: "Epikit: A Library of Subroutines Supporting Declarative Representation and Reasoning", AAAI Symposium on Implemented Knowledge Representation and Reasoning Systems, March 1991, pp 267-282.
  • Genesereth, M. R.: "Knowledge Interchange Format", Second International Conference on the Principles of Knowledge Representation and Reasoning, Allen, J., Fikes, R., Sandewall, E. (eds), Morgan Kaufman Publishers, 1991, pp 238-249.
  • Genesereth, M. R.:"A Comparative Analysis of Some Simple Architectures for Autonomous Agents", Architectures for Cognition, edited by vanLehn, K., Laurence Erlbaum, 1991, pp 279-300.
  • Genesereth, M. R., Huyn, P., Letsinger, R.: "Agent-Based Concurrent Engineering", CE and CALS Conference, Washington DC, 1992.
  • Khedro, T., Genesereth, M. R., Teicholz, P. M.: "An Agent-Based Approach for Integrated Design Environments", Sixth International Symposium on Systems Research. Informatics, and Cybernetics: Computer-Based Design Environments Workshop, Baden-Baden, Germany, August 1992.

1985 - 1988

  • Smith, D. E., Genesereth, M. R.: "Ordering Conjuncts in Problem Solving", Artificial Intelligence, Volume 26 Number 2, May 1985, pp 171-216.
  • Mackinlay, J., Genesereth, M. R.: "Expressiveness and Language Choice", Data and Knowledge Engineering, Volume 1 Number 1, 1985, pp 17-29.
  • Singh, V., Genesereth, M. R.: "A Variable Supply Model for Distributing Deductions", in International Joint Conference on Artificial Intelligence, August 1985, pp 39-45.
  • Singh, V., Genesereth, M. R.: "A Variable Supply Model for Distributing Deductions", Journal of Parallel and Distributed Computing, 1985.
  • Rosenschein, J. S., Genesereth, M. R.: "Deals Among Rational Agents", in International Joint Conference on Artificial Intelligence, August 1985, pp 91-99.
  • Genesereth, M. R., Ginsberg, M. L.: "Logic Programming", Communication of the Association for Computing Machinery, September 1985, pp 933-941.
  • Singh, V., Genesereth, M. R.: "PM: A Parallel Execution Model for Backward Chaining Deductions, Future Computing Systems, 1985.
  • Genesereth, M. R., Ginsberg, M. L., Rosenschein, J. S.: "Cooperation Without Communication", in National Conference on Artificial Intelligence, Philadelphia, PA, August 1986, pp 51-57.
  • Treitel, R., Genesereth, M. R.: "Choosing Directions for Rules", National Conference on Artificial Intelligence, Philadelphia, PA, August 1986, pp 153-157.
  • Smith, D. E., Genesereth, M. R., M. L. Ginsberg: "Controlling Recursive Inference", Artificial Intelligence, Volume 30 Number 3, December 1986, pp 343-389.
  • Rosenschein, J. S., Genesereth, M. R.: "Communication and Cooperation", in IFIP-87, Phoenix, 1987.
  • Subramanian, D., Genesereth, M. R.: "The Relevance of Irrelevance", International Joint Conference on Artificial Intelligence, August 1987.
  • Treitel, R., Genesereth, M. R.: "Choosing Directions for Rules", Journal of Automated Reasoning, 1987, pp 395-431.
  • Genesereth, M. R.: "Introspective Fidelity", in Metalevel Architectures and Reflection, edited by Maes, P., North-Holland, 1987, pp 75-85.
  • Rosenschein, J. S., Genesereth, M. R.: "Deals Among Rational Agents", in The Ecology of Computation, edited by Huberman, B. A., North-Holland, 1988, pp 117-132.

1981 - 1984

  • Genesereth, M. R.: "Artificial Intelligence Techniques in Macsyma", in AI Handbook, edited by Feigenbaum, E., Barr, A., Morgan-Kaufmann, 1981, pp 143-149.
  • Genesereth, M. R.: "The Role of Plans in Intelligent Teaching Systems", in Intelligent Teaching Systems, edited by Sleeman, D., Brown, J. S., Academic Press, 1981, pp 137-152.
  • Genesereth, M. R.: "The Use of Hierarchical Design Models in the Automated Diagnosis of Computer Systems", in National Conference on Artificial Intelligence, August 1982, pp 278-283.
  • Davis, R., Doyle, J., Genesereth, M. R., Goldstein, I., Lenat, D., Shrobe, H.: "Meta-Cognition:Reasoning about Knowledge", in Expert Systems, edited by Hayes-Roth, F., Lenat, D., Waterman, D., 1982, pp 219-240.
  • Greiner, R., Genesereth, M. R.: "What's New: A Semantic Definition of Novelty", in Eighth International Joint Conference on Artificial Intelligence, August 1983, pp 450-454.
  • Genesereth, M. R., Smith, D. E.: "An Overview of Meta-Level Architecture", in National Conference on Artificial Intelligence, August 1983, pp 119-123.
  • Mackinlay, J., Genesereth, M. R.: "Expressiveness of Languages", National Conference on Artificial Intelligence, August 1984, pp 226-232.
  • Genesereth, M. R.: "The Use of Design Descriptions in Automated Diagnosis", Artificial Intelligence, Volume 24 Numbers 1-3, December 1984, pp 411-436.
  • Genesereth, M. R.: "The Use of Hierarchical Design Models in the Automated Diagnosis of Computer Systems", in Qualitative Reasoning about Physical Systems, edited by Bobrow, D., North-Holland, 1984, pp 411-436.

1977 - 1980

  • Genesereth, M. R.: "The Difficulties of Using Macsyma and the Functions of User Aids", First Macsyma Users' Conference, June 1977.
  • Kulp, J. L., Genesereth, M. R., Edwards, B. E., Holloway, J. T.: "The Advanced Scientific Computing Environment Project", in Second Macsyma Users' Conference, M.I.T., June 1979, pp 222-222.
  • Genesereth, M. R.: "The Use of Semantics in a Tablet-Based Program for Selecting Parts of Mathematical Expressions", in Second Macsyma Users' Conference, M.I.T., June 1979, pp 328-335.
  • Genesereth, M. R.: "The Canonicality of Rule Systems", in European Symposium on Symbolic and Algebraic Manipulation, Springer-Verlag, June 1979.
  • Genesereth, M. R.: "Automated Consultation for Complex Computer Systems", in Sixth International Joint Conference on Artificial Intelligence, August 1979, pp 311-319.
  • Genesereth, M. R.: "Metaphors and Models", in First Annual Conference on Artificial Intelligence, August 1980, pp 208-211.