Sunday, May 20 through Tuesday, May 22, 2001

The 2001 Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense 2001) was held Sunday, May 20 through Tuesday, May 22 at

Warren Weaver Hall, room 109
251 Mercer St., between 3rd and 4th Streets,
The Courant Institute of Mathematical Sciences
New York University
New York, NY.

  • Schedule of Presentations
  • List of Authors
  • Symposium Papers
  • Hotels
  • Directions for Travel
  • Participants
  • Call for Papers
  • Submission Information
  • Timetable
  • Publication
  • Multiple Submissions
  • Program Chairs
  • Program Committee
  • Special Issue of Artificial Intelligence Journal
  • Other WWW Sites You May Find Useful
  • Other Things To Do In And Around New York City
  • Call for Papers

    To endow computers with common sense is one of the major long term goals of Artificial Intelligence research. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using mathematical logic. This will be the focus of the symposium.

    Topics of interest include, but are not limited to:

    The symposium aims to bring together researchers who have studied the formalization of common sense reasoning. The focus of the symposium is on representation rather than on algorithms, and on formal rather than informal methods. Papers should be rigorous and concrete. While mathematical logic is expected to be the primary lingua franca of the symposium, we also welcome papers using a rigorous but not logic-based representation of commonsense domains.

    Technical papers offering new results in the area are especially welcome; object level theories as opposed to meta-level results are preferred. However, survey papers, papers studying the relationship between different approaches, and papers on methodological issues such as theory evaluation, are also encouraged.

    Submission Information

    Persons wishing to make presentations at the workshop should submit papers of up to 6000 words, excluding the bibliography. Electronic submissions, either in postscript or pdf, are preferred; otherwise 6 hard copies of the paper are acceptable. Persons wishing only to attend the workshop should submit a 1-2 page research summary including a list of relevant publications. All submissions and requests for attendance should be sent to Ernest Davis or Leora Morgenstern, at the addresses below.


    Submission deadline: February 1, 2001
    Notification of acceptance: March 27, 2001
    Final papers due: April 23, 2001
    Symposium: May 20-22, 2001


    Final papers will be posted on the Commonsense-2001 website. Several journals have expressed interest in publishing a special issue consisting of extended versions of selected papers of Commonsense-2001. Once an agreement has been reached with one of these, the program chairs will invite selected authors to submit extended versions of their papers for the special journal issue.

    Multiple Submissions Allowed

    Papers may be submitted to Commonsense-2001 even if they have been submitted to other conferences or symposia (such as IJCAI-2001), because the Commonsense-2001 website is not archival. If a paper is accepted at an archival conference such as IJCAI and also presented at Commonsense-2001, this paper must be substantially revised and/or extended before being submitted to the special journal issue. Previously published papers are not acceptable for Commonsense-2001.

    Program Chairs:

    Ernest Davis, New York University, 251 Mercer Street, New York, NY 10012,
    John McCarthy, Stanford University, Room 208 Gates Building, Stanford, CA 94305,
    Leora Morgenstern, IBM Watson Research, 30 Saw Mill River Road, Hawthorne, NY 10532, (or slower mail:
    Ray Reiter, University of Toronto, 10 King's College Road, Toronto, Ontario, M5S 3G4,

    Program Committee:

    Eyal Amir Stanford University
    Vinay Chaudhri, SRI
    Tony Cohn, Leeds University
    Patrick Hayes, University of West Florida
    Jerry Hobbs, SRI
    Fritz Lehmann, CYC
    Vladimir Lifschitz, University of Texas at Austin
    Sheila McIlraith, Stanford University
    Rob Miller, Imperial College
    Rohit Parikh, City University of New York
    Judea Pearl, UCLA
    Doug Riecken IBM Watson Labs
    Murray Shanahan, Imperial College
    Achille Varzi, Columbia University
    Mary-Anne Williams, University of Newcastle

    Special Issue of Artificial Intelligence Journal

    A special issue of "Artificial Intelligence", on Logical Formalizations of Commonsense Reasoning, is planned. The due date for submissions is November 15. See the

    Other Commonsense Reasoning Sites

    Other Things To Do In And Around New York City

    New York City Tourism - Welcome
    Metropolitan Museum of Art
    Museum of Modern Art
    Lincoln Center of the Performing Arts
    Carnegie Hall
    Statue of Liberty
    Bronx Zoo
    New York Botanical Gardens

    Page by Ernie Davis.