From owner-cse663-fa08-list@LISTSERV.BUFFALO.EDU Tue Nov 25 08:53:26 2008 Date: Tue, 25 Nov 2008 08:51:48 -0500 From: "William J. Rapaport" Subject: 663: CFP: Commonsense 2009] To: CSE663-FA08-LIST@LISTSERV.BUFFALO.EDU -------------------------------------------------- Commonsense 2009 Call for Papers -------------------------------------------------- The research project begun by John McCarthy in 1959 is alive and well: > Subject: CFP: Commonsense 2009 > Date: Sun, 16 Nov 2008 21:40:08 +1100 > From: Mary-Anne Williams > > Ninth International Symposium on Logical Formalizations of > Commonsense Reasoning > > June 1 - 3 , 2009 > Toronto, Canada > www.commonsensereasoning.org www.commonsensereasoning.org/> > * > *Call for Papers* > > We invite submissions for presentation at Commonsense'09, the 9th > International Symposium on Logical Formalizations of Commonsense > Reasoning, to be held at the University of Toronto on June 1-3, 2009. > > One of the major long-term goals of AI is to endow computers with > common sense. 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 > ommonsense reasoning. This is the focus of Commonsense'09. Topics > of interest include, but are not limited to: > > * change, action, and causality > * ontologies, including space, time, shape, and matter, and > ontologies of networks and structures > * levels of granularity of ontology and reasoning > * large commonsense knowledge bases (including work related to > Halo, and the HPKB (High Performance Knowledge Bases) and RKF > (Rapid Knowledge Formation) projects) > * axiomatizations of benchmark commonsense problems (see the > Logic Modelling Workshop and the Common Sense Problem Page for > examples) > * exploration of new commmonsense domains in a preformal way: > e.g., discussion of new microworlds, benchmark problems, or > "drosophilae" > * nonmonotonic reasoning > * formal models of probabilistic reasoning > * formal theories of context > * mental attitudes including knowledge, belief, intention, and > planning > * belief change, update, and revision > * cognitive robotics > * reasoning about multi-agent systems and social interactions > among agents > * aspects of commonsense reasoning applicable to the Semantic Web > * applications of formal representations to applications, such as > natural language processing > * other mathematical tools for capturing commonsense reasoning > > The symposium aims to bring together researchers who have studied > the formalization of commonsense reasoning. The focus of the > symposium is on representation rather than on algorithms, and on > formal rather than informal methods. We aim for rigorous and > concrete paper submissions. 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 > *Papers or extended abstracts of no more than 6 pages (in AAAI > format) should be submitted as pdf or postscript files via the > submission website. All submissions will be reviewed by the > Commonsense 2009 program committee. Notification of acceptance will > be given by April 2, 2009. > > *Publication* > The working notes of Commonsense'09 will include all accepted > papers and will be published online. The working notes will also be > available as a technical report. > * > Multiple Submissions Allowed* > Papers may be submitted to Commonsense'09 even if they have been > submitted to (or are currently under review by) other conferences > or symposia (such as IJCAI). However, previously published papers > are not acceptable for Commonsense'09. > Participation > > Persons wishing to attend the symposium should submit a 1-2 page > research summary including if possible a list of relevant > publications. This is not required for the authors of submitted > papers. PhD students need only to send the title and abstract of > their dissertation. All requests for attendance should be sent to > cs2009@commonsensereasoning.org > > > *Summary of Important Dates* (TENTATIVE) > > * Paper or extended abstract submission deadline: February 16, 2009 > * Notification of acceptance: April 2, 2009 > * Camera ready papers due: April 23, 2009 > * Symposium: June 1-3, 2009 > > *Program Co-chairs* > Gerhard Lakemeyer, Aachen University of Technology, Germany > Leora Morgenstern, IBM T.J. Watson Research Center, New York, USA > Mary-Anne Williams, University of Technology, Sydney, Australia > > *Local Arrangements Chair* > Hojjat Ghaderi, University of Toronto, Toronto, Canada > > *Conference Management Support* > Benjamin Johnston, University of Technology, Sydney, Australia > > *Program Committee* > Eyal Amir, University of Illinois at Urbana-Champaign, USA > Chitta Baral, Arizona State University, USA > Johan van Benthem, University of Amsterdam, the Netherlands > Xiaoping Chen, University of Science and Technology of China, China > Ernest Davis, Courant Institute, New York University, USA > Patrick Doherty, Linkoping University, Sweden > Esra Erdem, Sabanci University, Turkey > Norman Foo, University of New South Wales, Australia > Alfredo Gabaldon, University of New South Wales, Australia > Andrew Gordon, University of Southern California, USA > Pat Hayes, Institute for Human and Machine Cognition, USA > Jerry Hobbs, University of Southern California/ISI, USA > John F. Horty, University of Maryland, USA > David Israel, SRI, USA > Antonias Kakas, University of Cyprus, Cyprus > Jerome Lang, Centre National de la Recherche Scientifique, France > Joohyung Lee, Arizona State University, USA > Hector Levesque, University of Toronto, Canada > Vladimir Lifschitz, University of Texas at Austin, USA > Sheila McIlraith, University of Toronto, Canada > Rob Miller, University College of London, United Kingdom > Pavlos Peppas, University of Patras, Greece > Fiora Pirri, University of Rome, Italy > Erik Sandewall, Linkoping University, Sweden > Sebastian Sardina, RMIT University, Australia > Len Schubert, University of Rochester, USA > Michael Thielscher, Dresden University of Technology, Germany > Rich Thomason, University of Michigan, USA > > ------ > Professor Mary-Anne Williams > Director, Innovation and Enterprise Research Laboratory > Centre for Quantum Computation and Intelligent Systems > University of Technology, Sydney > NSW 2007 Australia > http://innovation.it.uts.edu.au/Mary-Anne