jana sukkarieh fhoedjcajzmldclgoxacuk apologies xpostings natural language knowledge representation nlkr special track flairs 2006 announcement first call papers holiday inn melbourne oceanfront melbourne beach florida usa main conference 111213 may 2006 special track web page httpusersoxacuklady0641flairs06_nl_kr main conference web page httpwwwindianaeduflairs06 purpose nlkr track believe natural language processing nlp knowledge representation kr communities common goals concerned representing knowledge reasoning since best test semantic capability nlp system performing reasoning tasks two essential common grounds two communities ought collaborating provide wellsuited representation language covers grounds however two communities also difficulttomeet concerns mainly semantic representation sr expressive enough take information context account kr equipped fast reasoning process main objection sr kr need experts understood nonexperts communicate usually via natural language nl less understand performing lot reasoning essential practical value representations attempt transparent particularly useful whenif system provides justification user knowledge engineer line reasoning using underlying kr ie without generating back nl seem believe compared natural language existing knowledge representation reasoning systems poor nevertheless long time kr community dismissed idea nl kr thats nl ambiguous syntactic semantic processing complexities associated however researchers communities started looking issue possibly nlp community making progress terms processing handling ambiguity kr community realising lot knowledge already coded nl one reconsider way handle expressivity ambiguity track attempt provide forum discussion front bridge gap nlp kr kr track welldefined syntax semantics proof theory clear authors mean nllike based nl benefiting nl using one novel representation nlkr track topics track invite submissions including limited novel nllike kr building existing one b reasoning systems benefit properties nl reason nl c semantic representation used kr compromise expressivity efficiency expressive kr nl understanding compromise e work exploring existing representations fall short addressing problems involved modelling manipulating reasoning whether reasoning used get interpretation certain utterance exchange utterances utterances follow utterances nl documents f representations show classical logics efficient transparent expressive onestep application inference rule require complex steps classical environment viceversa ie classical logics powerful etc g building reasoning test collection natural language understanding systems kind reasoning deductive abductive etc deductive test suite see eg deliverable 16 fracas project httpwwwcogsciedacukfracas also look textual entailment challenges 1 2 h comparative results common test suite common task different representations systems reason nl kind reasoning comparison could either efficiency transparency expressivity knowledge acquisition systems techniques benefit properties nl acquire knowledge already coded nl j automated reasoning theorem proving kr communities views nl_kr track program committee james allen university rochester usa patrick blackburn institut national de recherche en informatique france johan bos university edinburgh uk richard crouch palo alto research centre usa maarten de rijke university amsterdam netherlands anette frank dfki germany fernando gomez university central florida usa sanda harabagiu university texas dallas usa john harrison intel usa jerry hobbs information sciences institute usa chung hee hwang raytheon co usa michael kohlhase international university bremen germany shalom lappin kings college uk carsten lutz dresden university technology germany dan moldovan university texas dallas usa jeff pelletier simon fraser university canada stephen pulman university oxford uk lenhart schubert university rochester usa john sowa vivomind intelligence inc usa jana sukkarieh university oxford uk chair geoff sutcliffe miami university usa timothy williamson university oxford uk nl_kr track invited speaker john sowa vivomind intelligence inc us flairs 2006 invited speakers alan bundy university edinburg scotland bob morris nasa ames research center usa mehran sahami standford university google usa barry smyth university college dublin ireland nlkr track proposed jana sukkarieh university oxford uk email cccbqvaecn44cantabnet web tech support simon dobnik university oxford uk email fujvhvltxoeclgoxacuk submission details submissions must arrive later 21 november 2005 electronic submissions considered details submission found httpusersoxacuklady0641flairs06_nl_krsubmission_detailshtml selected papers considered publication special journal issue journal logic computation proceedings printed proceedings published demand proceedings cd provided important dates submission papers 21 november 2005 notification acceptance 20 january 2006 final version paper due 13 february 2006 main conference 1113 may 2006 track max 1 day main conference interested running demo please contact jana sukkarieh simon dobnik wed 06 aug 2008 170235 0100 uai announcement cfp natural language knowledge representation