Hochschulschrift

Proof theory and algorithms for answer set programming

zu Verbundenen Objekten

Weitere Titel
Beweistheorie und Algorithmen für die Antwortmengenprogrammierung
Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Potsdam, Universität Potsdam, Diss., 2011

Ereignis
Veröffentlichung
(wo)
Potsdam
(wer)
Universitätsbibliothek der Universität Potsdam
(wann)
2011
Urheber
Beteiligte Personen und Organisationen
Schaub, Torsten

URN
urn:nbn:de:kobv:517-opus-55425
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:43 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Hochschulschrift

Beteiligte

  • Gebser, Martin
  • Schaub, Torsten
  • Universitätsbibliothek der Universität Potsdam

Entstanden

  • 2011

Ähnliche Objekte (12)

Preferences in answer set programming

Hochschulschrift

Preferences in answer set programming

Answer set programming and combinatorial voting

Answer set programming and combinatorial voting

Complex optimization in answer set programming

Complex optimization in answer set programming

Complex reasoning with answer set programming

Hochschulschrift

Complex reasoning with answer set programming

Modeling biological systems with Answer Set Programming

Hochschulschrift

Modeling biological systems with Answer Set Programming

aspeed : solver scheduling via answer set programming

aspeed : solver scheduling via answer set programming

Planning in Answer Set Programming using ordered task decomposition

Planning in Answer Set Programming using ordered task decomposition

Detecting inconsistencies in large biological networks with answer set programming

Detecting inconsistencies in large biological networks with answer set programming

Modeling biological networks by action languages via answer set programming

Modeling biological networks by action languages via answer set programming

Answer set programming as a modeling language for course timetabling

Answer set programming as a modeling language for course timetabling

claspfolio 2 : advances in algorithm selection for answer set programming

claspfolio 2 : advances in algorithm selection for answer set programming

Towards Finding Optimal Solutions For Constrained Warehouse Layouts Using Answer Set Programming

Towards Finding Optimal Solutions For Constrained Warehouse Layouts Using Answer Set Programming

Verbundene Objekte