Conference Papers

  1. Genesereth, M. R.: "The Difficulties of Using Macsyma and the Functions of User Aids", First Macsyma Users' Conference, June 1977.

  2. 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.

  3. 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.

  4. Genesereth, M. R.: "The Canonicality of Rule Systems", in European Symposium on Symbolic and Algebraic Manipulation, Springer-Verlag, June 1979.

  5. Genesereth, M. R.: "Automated Consultation for Complex Computer Systems", in Sixth International Joint Conference on Artificial Intelligence, August 1979, pp 311-319.

  6. Genesereth, M. R.: "Metaphors and Models", in First Annual Conference on Artificial Intelligence, August 1980, pp 208-211.

  7. 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.

  8. 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.

  9. Genesereth, M. R., Smith, D. E.: "An Overview of Meta-Level Architecture", in National Conference on Artificial Intelligence, August 1983, pp 119-123.

  10. Mackinlay, J., Genesereth, M. R.: "Expressiveness of Languages", National Conference on Artificial Intelligence, August 1984, pp 226-232.

  11. Singh, V., Genesereth, M. R.: "A Variable Supply Model for Distributing Deductions", in International Joint Conference on Artificial Intelligence, August 1985, pp 39-45.

  12. Rosenschein, J. S., Genesereth, M. R.: "Deals Among Rational Agents", in International Joint Conference on Artificial Intelligence, August 1985, pp 91-99.

  13. 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.

  14. Treitel, R., Genesereth, M. R.: "Choosing Directions for Rules", National Conference on Artificial Intelligence, Philadelphia, PA, August 1986, pp 153-157.

  15. Rosenschein, J. S., Genesereth, M. R.: "Communication and Cooperation", in IFIP-87, Phoenix, 1987.

  16. Subramanian, D., Genesereth, M. R.: "The Relevance of Irrelevance", International Joint Conference on Artificial Intelligence, August 1987.

  17. 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.

  18. Genesereth, M. R.: "Designworld", IEEE International Conference on Robotics and Automation, IEEE Computer Science Society Press, 1991, pp 2785-2788.

  19. 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.

  20. 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.

  21. Genesereth, M. R., Huyn, P., Letsinger, R.: "Agent-Based Concurrent Engineering", CE and CALS Conference, Washington DC, 1992.

  22. 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.

  23. 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.

  24. 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.

  25. 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.

  26. 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.

  27. 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.

  28. 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.

  29. Khedro, T., Genesereth, M. R.: "Progressive Negotiation for Resolving Conflicts Among Distributed Heterogeneous Cooperating Agents", National Conference on Artificial Intelligence, Seattle, WA, July 1994.

  30. 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.

  31. 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.

  32. 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.

  33. Genesereth, M. R.: "McCarthy's Idea", JELIA '96 - The European Workshop on Logics in Artificial Intelligence, Lisbon, Portugal, September 1996, pp 134-142.

  34. Duschka, O., Genesereth, M. R.: "Query Planning in Infomaster", 1997 ACM Symposium on Applied Computing, San Jose, CA, February 1997.

  35. Duschka, O., Genesereth, M. R.: "Answering Recursive Queries Using Views", 16th ACM Symposium on Principles of Database Systems, April 1997.

  36. Genesereth, M. R., Keller, A. M., Duschka, O.: "Infomaster: An Information Integration System", 1997 ACM SIGMOD Conference, May 1997.

  37. 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.

  38. Chirkova, R., Genesereth, M. R.: "Database Reformulation", Symposium on Abstraction, Reformulation, and Approximation, Pacific Grove, CA, May 1998.

  39. 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.

  40. Chirkova, R., Genesereth, M. R.: "Linearly Bounded Reformulations of Unary Databases", Symposium on Abstraction, Reformulation, and Approximation, Horseshoe Bay, TX, July 2000.

  41. Chirkova, R., Genesereth, M. R.: "Linearly Bounded Reformulations of Conjunctive Databases", International Conference of Deductive and Object-Oriented Databases, London, UK, July 2000.

  42. 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.

  43. 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.

  44. 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.

  45. Love, N., Genesereth, M. R.: "Computational Law", in Proceedings of the International Conference on Artificial Intelligence and Law, Bologna, Italy, 2005.

  46. 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.