Result: Proof theory and algorithms for answer set programming

*Title*:

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

*Author/editor-in-chief*:

Gebser, Martin

*Publication*:

Potsdam : Universitätsbibliothek der Universität Potsdam, 2011

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Dissertation note*:

Potsdam, Universität Potsdam, Diss., 2011

*RVK-Notation*:

*Subject Added Keywords*:

*Result*: Proof theory and algorithms for answer set programming