Proof planning with multiple strategies [Elektronische Ressource] / Andreas Meier

ersitProhenofkPlanningatwithSaarlandesMultipleecStrategiesakultAndreasderMeieratDissertationzur2004ErlangungdesFGradesDoktorIderUnivhaftendes(Dr.-Ing.)Saarbrderucen,h-Ta,DekenanProf.Prof.2.Dr.PhilippSlusallek,desUnivProf.ersitat3.atorgdesSaarbrSaarlandes,UnivSaar-ucbrhGertucersitkSaarlandes,enkVhorsitzenderJProf.UnivDr.desRaimucundquiumSeidel,UnivSaarbrersitenatterdesDr.Saarlandes,SmolkSaar-UnivbrdesucSaarbrkucenen1.terhDr.terPD.Siekmann,Dr.ersitEricaatMelis,Saarlandes,UniversitkKolloat06.02.2004,desersitSaarlandes,atSaarbrSaarlandes,uckkentiThisknothesistationpresendomaintsplanningproplanningofwplanningThewithpromimplemenultiplestrategiesstrategies.aluationStrategiesstrategiesareisindepten-discusseddenthettheproofWplanproopmerations,theandThedierenprotmstrategiesitsrealizeMuldierenwithtlargeplanorenementhattsthisasstudieswortanceellwledgeaselplanplanning.modomaindications.wledge.Comparedewithtedtheofpreviouswithproultipleofinplanning,Mulmsystem.ulti-evpleofstrategyofprowithofultipleplanningandinimplementrointianothertolevandelwandsmalleritsstudiesareintrol.thesis.