Preferences in answer set programming [Elektronische Ressource] / von Kathrin Konczak

WissensverarbeitungundInformationssystemeInstitutfur¨ InformatikUniversitat¨ PotsdamPreferencesinAnswerSetProgrammingDISSERTATIONzurErlangungdesakademischenGrades“Doctorrerumnaturalium”(Dr. rer. nat.)inderWissenschaftsdisziplinInformatikunterderLeitungvonProf. Dr. TorstenSchaubWissensverarbeitungundInformationssystemeInstitutfur¨ InformatikeingereichtanderMathematisch NaturwissenschaftlichenFakult at¨derUniversitat¨ PotsdamvonKathrinKonczakFur¨ PapaAcknowledgmentsFirst of all, I would like to thank my supervisor Prof. Dr. Torsten Schaub for his invaluable support. Iwould also like to thank my co authors Wolfgang Faber, Jerome Lang, Thomas Linke, and Ralf Vogel forthe successful collaboration, and my colleagues at the University of Potsdam, especially Christian Angerand Martin Gebser for their helpful comments on my papers, as well as Jur¨ gen Brandt Mihram for thetechnical support. Furthermore, I would like to thank Philippe Besnard and Kewen Wang for their helpfulassistance, as well as Andre´ Neumann and Susanne Grell for their assistance with the implementation ofoursoftwareandforprovidingexperimentalresults.My work has been supported by the German Science Foundation (Deutsche Forschungsgemeinschaft)under grant SCHA 550/6 4, TP C, and by the European Commission, FET (”Future Emerging Technolo gies”)initiative,underprojectIST 2001 37004WASP.Lastbutnotleast,Ithankmyfamilyandfriendsfortheirencouragementandconsiderateness.