Date: Thu, 18 May 1995 12:44:59 -0700
From: Sasa Buvac <buvac@SAIL.Stanford.EDU>
Message-Id: <199505181944.MAA06860@SAIL.Stanford.EDU>
To: ai@cs.stanford.edu, logic@cs.stanford.edu, htw@HPP.Stanford.EDU,
        kst@HPP.Stanford.EDU, kqml@cs.umbc.edu, srkb@cs.umbc.edu,
        interlingua@isi.edu, agents@aic.lockheed.com,
        ontolingua@HPP.Stanford.EDU, philosophers@csli.Stanford.EDU,
        linguist@tam2000.tamu.edu
Subject: COMMON SENSE 96
Reply-to: buvac@cs.stanford.edu
Sender: owner-kqml@cs.umbc.edu
Precedence: bulk

                       COMMON SENSE 96
                     THIRD SYMPOSIUM ON
        LOGICAL FORMALIZATIONS OF COMMONSENSE REASONING
                 http://www-formal/tjc/96FCS

                       CALL FOR PAPERS

                    Stanford University 
                     January 6-8, 1996

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 mechanical tasks which humans
find difficult, such as playing chess, we have very little idea how to
program computers to do well at common sense tasks which are easy for
humans.  One approach to this problem is to formalize common sense
reasoning using mathematical logic.  This will be the focus of the
symposium.

Topics of interest include, but are not limited to:

   change, action, and causality

   ontologies, including space, time, shape, and matter

   non-monotonic reasoning

   formal theories of context

   mental attitudes including knowledge, belief, intention, obligation, etc.

   belief change, update and revision

   large common sense knowledge bases

   other mathematical tools for capturing common sense reasoning


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,
theoretical and concrete.  Technical papers offering new results in the
area are especially welcome.  However, survey papers, and papers studying
the relationship between different approaches are also encouraged.

SUBMISSION INFORMATION

Persons wishing to make presentations at the workshop should submit
papers (up to 12 pages, 12pt font).  Persons wishing only to attend
the workshop should submit a 1-2 page research summary including a
list of relevant publications.  A postscript file or 8 paper copies
should be sent to one of the program co-chairs.

TIMETABLE

    September 25, 1995	    Submission deadline
    November 1, 1995	    Notification of the committee's decision
    December 1, 1995	    Final papers due
    January 6-8, 1996	    Symposium 

PROGRAM COMMITTEE

Sasa Buvac (program co-chair).  Department of Computer Science,
Stanford University, Stanford CA 94305-2140.  buvac@cs.stanford.edu

Tom Costello (program co-chair).  Department of Computer Science,
Stanford University, Stanford CA 94305-2140.  costello@cs.stanford.edu

Ben Kuipers.  CIS Department, University of Texas, Austin, TX 78712.
kuipers@cs.utexas.edu

John McCarthy (conference chair).  Department of Computer Science,
Stanford University, Stanford CA 94305-2140.  jmc@cs.stanford.edu

Leora Morgenstern.  IBM T.J. Watson Research Center,  PO Box 704,
Yorktown Heights, NY 10598-6740.  leora@watson.ibm.com.

Murray Shanahan.  Imperial College Department of Computing, 180 Queen's
Gate, London SW7 2BZ, England.  mps@doc.ic.ac.uk

Vladimir Lifschitz.  Department of Computer Science, University of
Texas, Austin, TX 78712.  vl@cs.utexas.edu

Raymond Reiter.  Department of Computer Science, University of
Toronto,  Toronto ON M5S 1A4, Canada.  reiter@ai.toronto.edu.


The symposium home page is  http://www-formal/tjc/96FCS
_______________________________________________________________________
Send mail to majordomo@cs.umbc.edu to subscribe/unsubscribe to the kqml
mailing list.  Send a message with the body "help" for more information.
Archives are at http://www.cs.umbc.edu/kqml/mail/