Proof theory and algorithms for answer set programming [Elektronische Ressource] / Martin Gebser. Betreuer: Torsten Schaub

DISSERTATIONPROOF THEORY AND ALGORITHMSFOR ANSWER SET PROGRAMMINGVORGELEGT VONMARTIN GEBSERZUR ERLANGUNG DES AKADEMISCHEN GRADESDOKTOR DER NATURWISSENSCHAFTEN (DR. RER. NAT.)IN DER WISSENSCHAFTSDISZIPLIN“WISSENSVERARBEITUNG UND INFORMATIONSSYSTEME”EINGEREICHT AN DER¨MATHEMATISCH-NATURWISSENSCHAFTLICHEN FAKULTAT¨UNIVERSITAT POTSDAMANGEFERTIGT AM¨INSTITUT FUR INFORMATIK¨PROFESSUR FUR WISSENSVERARBEITUNG UND INFORMATIONSSYSTEMEBETREUT VONPROF. DR. TORSTEN SCHAUBBEGUTACHTET VONPROF. DR. GERHARD BREWKAPROF. DR. TOMI JANHUNENPROF. DR. TORSTEN SCHAUBPOTSDAM, IM OKTOBER 2011This work is licensed under a Creative Commons License: Attribution - Noncommercial - Share Alike 3.0 Germany To view a copy of this license visit http://creativecommons.org/licenses/by-nc-sa/3.0/de/ Published online at the Institutional Repository of the University of Potsdam: URL http://opus.kobv.de/ubp/volltexte/2011/5542/ URN urn:nbn:de:kobv:517-opus-55425 http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-55425 ZusammenfassungAntwortmengenprogrammierung (engl. Answer Set Programming; ASP) ist ein Para-digma zum deklarativen Problemlosen,¨ wobei Problemstellungen durch logische Pro-gramme beschrieben werden, sodass bestimmte Modelle, Antwortmengen genannt, zuLosungen¨ korrespondieren.