bertram fronhoefer yjtxbxspsqgjdvriyinftudresdende call participation iccl summer school 2005 logicbased knowledge representation technische universität dresden 2nd 17th july 2005 httpwwwcomputationallogicorgicclss2005 topic topic years summer school logicbased knowledge representation intelligent behavior hard imagine without agent good knowledge surrounding world reason knowledge representation always played crucial role artificial intelligence right beginning field big discussion whether subsymbolic symbolic approaches representing knowledge right way go even within symbolic approach conflict proponents logicbased approaches like john mccarthy pat hayes proponents graphbased procedural approaches like marvin minsky advantage logicbased approaches symbolic knowledge representation provide representation formalism formally wellfounded semantics makes represented knowledge behavior knowledge representation systems deducing implicit knowledge explicitly represented one comprehensible disadvantage inference problems may become intractable even undecidable expressive power formalism large enough reason early systems employing logicbased approach either inexpressive slow situation changed drastically last 1015 years partially due increased computing power importantly however recent theoretical practical advances field logicbased knowledge representation summer school focus several successful subfields active research area reasoning action change nonmonotonic reasoning description logics ontologies action planning registration want attend summer school wed prefer register april 9 2005 want apply grant deadline obligatory april 9 registration wil possible long vacant places since intend restrict participation 60 people case excessive demand select applicants summer school people applying april 9 informed admittance decisions grants april 18 2005 fees ask participation fee 200 eur integrated workshop possible participants present research work small workshop integrated summer school please indicate registration form would like give us title proposed talk addition please submit extended abstract postscript pdf format max 5 pages hpzg63bftcsinftudresdende april 9 2005 program committee consisting summer school lecturers organizers select among proposals notification acceptance talk integrated workshop may 9 2005 grants limited number grants may available please indicate application possibility participate via grant applications grants must include estimate travel costs sent together registration course program nonmonotonic logics history foundations challenges piero bonatti università di napoli federico ii italy answer set programming thomas eiter tu wien austria ontologies ian horrocks university manchester united kingdom action planning recent theoretical practical advances bernhard nebel universität freiburg germany description logics carsten lutz tu dresden germany ulrike sattler university manchester united kingdom action programming languages michael thielscher tu dresden germany reasoning acting uncertainty axel großmann steffen hölldobler tu dresden germany people involved program committee franz baader carsten lutz organizing committee steffen hölldobler julia koppenhagen sylvia epp bertram fronhöfer ____________________________________________________________ wed 06 aug 2008 100310 0200 uai reminder iccl summer school logicbased knowledge representation