maurice pagnucco lcggacseunsweduau 2nd call papers participation workshop ijcai05 sixth workshop nonmonotonic reasoning action change august 1 2005 edinburgh scotland workshop url httpwwwcseunsweduaunrac05 paper submission deadline monday 11 april 2005 new special theme problems logically reasoning agents workshop overview biannual workshop nonmonotonic reasoning action change nrac first established 1995 since inception held conjunction international joint conference artificial intelligence ijcai intelligent agent exploring rich dynamic world needs cognitive capabilities addition basic functionalities perception reaction abilities reason nonmonotonically reason actions change ones beliefs identified fundamental highlevel cognitive functions necessary common sense research three areas made significant progress last two decades past century however crucial bear mind common goal designing intelligent agents researchers aware advances three fields since often advances one field translated advances another many deep relationships already established workshop specific aim promoting crossfertilization interaction fostered biannual nrac helped facilitate solutions frame problem ramification problem crucial issues research agenda much recent research reasoning actions devoted design implementation languages systems cognitive robotics successful case studies demonstrate applicability results furnishing autonomous robots highlevel cognitive capabilities enable planoriented behavior advancing field cognitive robotics current research reasoning actions focuses two crucial aspects robots acting open realworld environments reasoning knowledge belief dealing challenge known qualification problem autonomous mobile robots choose actions conditioned state environment information world state generally limited robots equipped sensors purpose acquiring information external world use sensing actions often integral part successful plan order devise plans robots need explicit representation believe world looks like sensing affects beliefs moreover execution plan needs constantly monitored beliefs revised accordance new observations one goal workshop bring together researchers two areas reasoning actions theory change order join effort developing theories designing systems intelligent use sensors belief revision intelligent agents acting open environments inevitably face qualification problem executability action never predicted absolute certainty unexpected circumstances albeit unlikely may time prevent agent performing intended action planning acting proviso requires agent rigorously assume away default numerous possible unlikely qualifications actions lest agent unable devise plans although guaranteed success perfectly reasonable assuming away unlikely impossible qualifications means surprise agent action actually fails default conclusion longer adhered respect entire process intrinsically nonmonotonic shows increasing importance pursuing interrelation reasoning actions nonmonotonic reasoning comparing contrasting current formalisms nonmonotonic reasoning reasoning action belief revision helps identify strengths weaknesses various methods available important activity allows researchers evaluate stateoftheart indeed significant advantage using logical formalisms representation schemes facilitate evaluation process moreover following initial success complex realworld applications within grasp implementational testbed primary means existing theories nonmonotonic reasoning action change evaluated experimentation prototype implementations helps identify obstacles arise transforming theoretical solutions operational solutions also highlights need improvement existing formal integrative frameworks intelligent agents ontological level purpose developing practical solutions realworld problems obvious questions arise nonmonotonic logics theories action change implemented ones implementable learned existing applications needed improve scope performance despite progress last years remain mentioned difficult open problems theories nonmonotonic reasoning action change hope explore new approaches problems workshop workshop bring together researchers three areas aim compare evaluate existing formalisms report new developments identify important open problems three areas identify possibilities solution transferral areas identify important challenges advancement areas workshop ijcai2005 provide unique opportunity researchers three fields brought together single forum prime objective communicate important recent advances field exchange ideas fundamental areas mature vital researchers maintain dialog cooperatively explore common links workshops goal work tendency rapidly advancing fields drift apart special theme special theme years nrac especially encourage submissions describing solutions wumpus worlda problem logically reasoning agentsbased existing systems reasoning actions details found logically reasoning agents problem page httpwwwclinftudresdendemitlrapp plan devote session workshop papers presenting solutions problem accompany presentation papers panel comparative evaluations systems logicbased agents submission details programme committee invites submissions long papers describing new results length 12 pages standard latex 12pt article format format papers may either hardcopy form send 4 copies electronic form postscript programme committee preference electronic submissions submit paper electronically authors send email subject nrac05 submission cochairs see file paper attachment preferably postscript format following information body email plain text paper title author names postal address email address phone number contact author short abstract five keywords authors unable submit paper electronically post four hardcopies paper one cochairs addresses listed paper include email address postal address contact author accepted papers available formal proceedings distributed workshop accepted papers sufficient quality programme committee seek publish special issue appropriate international journal lecture note series programme committee also welcomes suggestions panels may submitted email workshop cochairs important dates deadline submission april 11 2005 notification acceptance may 9 2005 compilation participant list april 15 2005 final version due may 30 2005 workshop august 1 2005 paper submission postscript files sent ovnessteamstanfordedu lcggacseunsweduau hardcopy papers sent one workshop chairs submissions include email address postal address authors deadline dates strictly adhered workshop chairs leora morgenstern cochair ibm tj watson research center 30 saw mill river road mail stop h1b54 hawthorne ny 10532 usa email ovnessteamstanfordedu url httpsteamstanfordeduleora maurice pagnucco cochair school computer science engineering university new south wales sydney nsw 2052 australia email lcggacseunsweduau url httpwwwcseunsweduaumorri tel 6129385 6925 fax 6129385 5995 programme committee gerhard brewka university leipzig germany norman foo university new south wales australia michael gelfond texas tech university usa gerhard lakemeyer aachen university technology germany jerome lang universite paul sabatier france fangzhen lin hong kong univ science tech china leora morgenstern ibm tjwatson research center usa maurice pagnucco university new south wales australia pavlos peppas patras university greece michael thielscher dresden university technology germany maryanne williams university technology sydney australia participants attendance workshop limited invitation authors accepted papers invited others wishing attend selected basis track record submit brief description work interest area including short list publications participants must register main ijcai conference ijcai charge additional fee workshop particiption _______________________________________________ uai mailing list faqengrorstedu httpssecureengroregonstateedumailmanlistinfouai tue 05 aug 2008 023853 1000 uai final cfp ijcai workshop nonmonotonic reasoning action change nrac5 august 1 2005 edinburgh