maryanne williams dwannlihitutseduau call papers commonsense 2005 7th international symposium logical formalizations commonsense reasoning httpwwwiccltudresdendecommonsense05 may 2224 2005 corfu greece one major longterm goals artificial intelligence endow computers commonsense reasoning capabilities although know design build systems excel certain bounded mechanical tasks humans find difficult playing chess little idea construct computer systems well commonsense tasks easy humans formalizing commonsense reasoning using logicbased approaches focus symposium topics interest include limited change action causality selfaware systems axiomatizations benchmark commonsense problems ontologies including space time shape matter ontologies networks structures levels granularity ontology reasoning large commonsense knowledge bases exploration new commonsense domains preformal way eg new microworlds benchmark problems nonmonotonic reasoning formal models probabilistic reasoning formal theories context mental attitudes including knowledge belief intention planning belief revision update merging cognitive robotics reasoning multiagent systems social interactions among agents applications formal representations applications natural language processing mathematical tools capturing commonsense reasoning symposium aims bring together researchers studied formalization commonsense reasoning focus symposium representation rather algorithms formal rather informal methods papers rigorous concrete technical papers offering new results area especially welcome object level theories preferred especially encourage papers either two themes symposium selfawareness surprise birthday present problem see survey papers papers studying relationship different approaches papers methodological issues theory evaluation also encouraged symposium themes two themes years common sense symposium encourage papers two themes plan organize one panels topics first theme selfawareness notion computer sense self conscious reasoning power able explore relation agents especially interested formal theories represent self awareness andor allow system reason awareness second theme surprise birthday present problem one challenge problems common sense problem page encourage submission papers present solutions problem listed variants sample solutions challenge problems found common sense problem page submission information persons wishing make presentations workshop submit papers 6000 words excluding bibliography electronic submissions pdf preferred otherwise 6 hard copies paper acceptable submissions sent one symposium chairs publication proceedings symposium published dresden university technical report issn 1430211x moreover program chairs invite selected authors submit extended versions papers special issue journal logic computation multiple submissions allowed papers may submitted commonsense2005 even submitted conferences symposia ijcai 2005 paper accepted archival conference ijcai also selected commonsense2005 publication special journal issue paper must substantially revised andor extended previously published papers acceptable commonsense2005 participation persons wishing attend symposium submit 12 page research summary including list relevant publications required authors submitted papers moreover phd students need send tentative title abstract dissertation requests attendance sent one symposium chairs important dates paper submission deadline february 8 2005 paper notification march 14 2005 camera ready papers due march 28 2005 symposium may 22 24 2005 invited speakers peter gardenfors university lund pat hayes university west florida john mccarthy stanford university leora morgenstern ibm watson research symposium committee cochairs sheila mcilraith dept computer science university toronto 6 kings college road toronto canada m4k 2w1 ymtbbecstorontoedu pavlos peppas dept business administration university patras patras 256 00 greece ukwdpbfotenetgr michael thielscher dept computer science dresden university technology 01062 dresden germany kurinftudresdende preliminary program committee eyal amir uni illinois urbanachampaign usa grigoris antoniou university crete greece chitta bara arizona state university usa gerd brewka university leipzig germany vinay chaudhri sri usa ernie davis nyu usa patrick doherty university linkoping sweden esra erdem techinal university wien austria jerry hobbs uscisi usa antonis kakas university cyprus cyprus lefteris kirousis university patras greece jerome lang irit france vladimir lifschitz ut austin usa fangzhen lin hong kong ust leora morgenstern ibm usa perlis university maryland usa fiora pirri university rome la sapienza italy murray shanahan imperial college uk stuart shapiro suny buffalo usa maryanne williams uni technology sydney australia professor maryanne williams research chair information technology innovation technology research laboratory faculty information technology university technology sydney nsw 2007 australia httpinnovationitutseduaumaryanne tue 05 aug 2008 193859 0800 uai commonsense 2005