- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Theory and Practice of Logic Programming 14 (2014) 4–5, pp. 569–585 DOI 10.1017/S1471068414000210
Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe ; 606
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universität Potsdam
- (wann)
-
2019
- Urheber
-
Hoos, Holger
Lindauer, Marius
Schaub, Torsten
- URN
-
urn:nbn:de:kobv:517-opus4-416129
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Hoos, Holger
- Lindauer, Marius
- Schaub, Torsten
- Universität Potsdam
Entstanden
- 2019
Ähnliche Objekte (12)
Preferences in answer set programming
Profile-based selection of answer candidates for LogAnswer
Complex optimization in answer set programming
Answer set programming and combinatorial voting
Complex reasoning with answer set programming
And the answer is: Automatic parallel programming
aspeed : solver scheduling via answer set programming
Modeling biological systems with Answer Set Programming
And the answer is: Automatic parallel programming
Proof theory and algorithms for answer set programming
Recent advances in harmony search algorithm
Planning in Answer Set Programming using ordered task decomposition
Preferences in answer set programming
Profile-based selection of answer candidates for LogAnswer
Complex optimization in answer set programming
Answer set programming and combinatorial voting
Complex reasoning with answer set programming
And the answer is: Automatic parallel programming
aspeed : solver scheduling via answer set programming
Modeling biological systems with Answer Set Programming
And the answer is: Automatic parallel programming
Proof theory and algorithms for answer set programming
Recent advances in harmony search algorithm
Planning in Answer Set Programming using ordered task decomposition
Preferences in answer set programming
Profile-based selection of answer candidates for LogAnswer
Complex optimization in answer set programming
Answer set programming and combinatorial voting
Complex reasoning with answer set programming
And the answer is: Automatic parallel programming
aspeed : solver scheduling via answer set programming
Modeling biological systems with Answer Set Programming
And the answer is: Automatic parallel programming
Proof theory and algorithms for answer set programming
Recent advances in harmony search algorithm