prashant doshi hxidfucsugaedu aaai06 workshop aidriven technologies servicesoriented computing full day workshop workshop website httplsdiscsugaeduaisoc paper submission deadline march 31 2006 midnight pst call papers servicesoriented computing soc emerging computing paradigm distributed systems advocates webbased interfaces distributed business processes enterprise interfaces called web services ws hold promise diluting traditional challenges interoperability inflexibility performance long plagued traditional distributed systems historically research distributed systems shied away adopting relevant ai methodologies generally perceived esoteric computationallyintensive however soc research represents significant departure line thought presents singular opportunity ai techniques enter pervade emerging area ai researchers perspective soc represents emerging application testbed distinct challenges potential significantly impact industry academia goal workshop investigate applicability ai methodologies logic theorem proving search planning probabilistic models problems soc particular ai techniques seem especially suited address problems ws description discovery binding ws process composition execution semantics ws related issues complement supplement existing approaches bringing much required mathematical rigor formal analysis area invite academicindustrial researchers practitioners submit original research papers wellwritten surveys papers describing deployed systems workshop papers must exceed 8 pages length including references prepared using aaai formatting guidelines papers submitted using submission system workshop website paper reviewed least 2 members pc topics interest workshop include limited ws representation modeling using logicscalculi zeroorder firstorder higherorder ws description validation consistency checking using inference rules theoremprovers representation reasoning ws negotiations agreements contracts quality service guarantees ws composition orchestration choreography planning scheduling selfaware selfoptimizing selfhealing web processes probabilistic reasoning faulttolerant robust web processes support dynamic adaptive web processes using machine learning web process flow enactment using multiagent systems conceptual inferencing semantic ws using inference rules ontology reconciliation mapping merging integration semantic ws using logical probabilistic models service knowledge propagation mechanisms frameworks community deployment architectures servicesbased agents verification analysis servicesbased agent communities intelligent methods management performance analysis services grid new ai application areas soc deployedindustrial applications soc utilizing ai techniques paper submission march 31 2006 midnight pst decision notification april 24 2006 camera ready papers may 15 2006 midnight pst organizing committee prashant doshi lsdis lab university georgia richard goodwin ibm j watson research center amit sheth lsdis lab university georgia program committee rama akkiraju nirmit desai john domingue michael huhns vipul kashyap joseph kopena juhnyoung lee david martin e michael maximilien sheila mcilraith muninder singh rainer unland kunal verma mathias weske wed 06 aug 2008 211412 0500 uai final cfp aaai06 workshop aidriven technologies servicesoriented computing