- Alternative title
-
Beweistheorie und Algorithmen für die Antwortmengenprogrammierung
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Potsdam, Universität Potsdam, Diss., 2011
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universitätsbibliothek der Universität Potsdam
- (when)
-
2011
- Creator
- Contributor
-
Schaub, Torsten
- URN
-
urn:nbn:de:kobv:517-opus-55425
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:29 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Gebser, Martin
- Schaub, Torsten
- Universitätsbibliothek der Universität Potsdam
Time of origin
- 2011
Other Objects (12)
Preferences in answer set programming
Complex reasoning with answer set programming
Industrial Applications of Answer Set Programming
Answer set programming and combinatorial voting
Complex optimization in answer set programming
aspeed : solver scheduling via answer set programming
Modeling biological systems with Answer Set Programming
Model-based reasoning using answer set programming
What is answer set programming to propositional satisfiability
Rescheduling master surgical schedules via answer set programming
Planning in Answer Set Programming using ordered task decomposition
claspfolio 2 : advances in algorithm selection for answer set programming
Preferences in answer set programming
Complex reasoning with answer set programming
Industrial Applications of Answer Set Programming
Answer set programming and combinatorial voting
Complex optimization in answer set programming
aspeed : solver scheduling via answer set programming
Modeling biological systems with Answer Set Programming
Model-based reasoning using answer set programming
What is answer set programming to propositional satisfiability
Rescheduling master surgical schedules via answer set programming
Planning in Answer Set Programming using ordered task decomposition
claspfolio 2 : advances in algorithm selection for answer set programming
Preferences in answer set programming
Complex reasoning with answer set programming
Industrial Applications of Answer Set Programming
Answer set programming and combinatorial voting
Complex optimization in answer set programming
aspeed : solver scheduling via answer set programming
Modeling biological systems with Answer Set Programming
Model-based reasoning using answer set programming
What is answer set programming to propositional satisfiability
Rescheduling master surgical schedules via answer set programming
Planning in Answer Set Programming using ordered task decomposition