yzldo2vuclacuk invite submissions presentation commonsense07 8th international symposium logical formalizations commonsense reasoning held part aaai spring symposium series march 2628 2007 stanford university california usa one major longterm goals ai endow computers common sense one approach goal formalize commonsense reasoning using mathematical logic focus symposium challenges creating formalization include accumulation large amounts knowledge everyday world representation knowledge suitable formal languages integration different representations coherent way development explicit reasoning methods use representations specific topics interest include change action causality ontologies including space time shape matter levels granularity ontology reasoning large commonsense knowledge bases axiomatizations benchmark commonsense problems exploration new commmonsense domains preformal way nonmonotonic reasoning formal models probabilistic reasoning formal theories context mental attitudes belief change update revision cognitive robotics reasoning multiagent systems aspects commonsense reasoning applicable semantic web applications formal representations applications mathematical tools capturing commonsense reasoning focus symposium formal representation rather algorithms mathematical logic expected primary lingua franca symposium also welcome papers using rigorous nonlogicbased representation commonsense domains technical papers offering new results area especially welcome objectlevel theories opposed metalevel results preferred however survey papers papers studying relationship different approaches papers methodological issues theory evaluation also encouraged pleased able hold symposium special event honor john mccarthys 80th year john mccarthy course father formal commonsense reasoning submissions celebrate immense contribution field especially welcome papers extended abstracts 6 pages submitted email attachments aylovsxextr68uclacuk pdf format october 6 2006 submissions reviewed program committee listed commonsense07 web site url symposium cochaired eyal amir university illinois vladimir lifschitz university texas austin rob miller university college london enquiries please email symposium cochairs commonsense07uclacuk detailed call papers information see symposium web site wwwuclacukcommonsense07 thu 07 aug 2008 072045 0100 uai commonsense07 call papers