text_combined: aaai fall symoposium formalizing context formalizing context aaai95 fall symposium mit cambridge massachusetts november 1012 1995 call papers description notion context played important role ai systems many years however formal logical explication contexts remains area research significant open issues symposium provide forum discussing formalizations contexts approaches resolving open issues application areas context formalisms ambitious goal formalizing contexts make automated reasoning systems never permanently stuck concepts use given time always transcend context capability would allow designer reasoning system include phenomena required system immediate purpose retaining assurance broader system required later lifting rules devised restate facts narrow context broader context qualifications added necessary formal theory context sentences always considered asserted within context could provide basis transcendence formal theories context also needed provide representation context associated particular circumstance e g context conversation terms particular meanings would nt language general linguists philosophers already studied similar notions context example situation theory proposed philosophy applied linguistics however theories usually lie embedded analysis specific linguistic constructions locating exact match ai concerns research challenge symposium aims bring together researchers studied applied contexts ai related fields technical papers dealing formalizations context problem generality use context common sense reasoning especially welcome however survey papers focus contexts points view philosophy linguistics natural language processing apply contexts areas ai also encouraged submission information persons wishing make presentations workshop submit papers 12 pages 12pt font persons wishing attend workshop submit 1 2 page research summary including list relevant publications postscript file 8 paper copies sent program chair limited funding available support student travel timetable april 14 1995 submission deadline may 19 1995 submitters informed decisions august 15 1995 final papers due september 20 1995 aaai mail working notes participants november 1012 1995 fall symposium program committee sasa buvac chair department computer science stanford university stanford ca 943052140 buvac sail stanford edu richard fikes knowledge systems laboratory stanford university 701 welch road bldg c palo alto ca 94304 fikes ksl stanford edu ramanathan guha mcc 3500 w balcones center drive austin tx 78759 guha mcc com pat hayes beckman institute 405 north mathews av urbana il 61801 phayes cs uiuc edu john mccarthy department computer science stanford university stanford ca 943052140 jmc sail stanford edu murray shanahan imperial college dept computing 180 queen gate london sw7 2bz england mps doc ic ac uk robert stalnaker 20d220 department linguistics philosophy cambridge 02139 stal mit edu johan van benthem institute logic language computation university amsterdam plantage muidergracht 24 1018 tv amsterdam netherlands johan fwi uva nl postscript plain text versions announcement available symposium www page http sail stanford edu buvac 95 contextsymposium via anonymous ftp sail stanford edu directory buvac 95 contextsymposium