- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Theory and Practice of Logic Programming 12 (2012) 4–5, pp. 525–545 DOI 10.1017/S1471068412000166
Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe ; 586
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universität Potsdam
- (when)
-
2019
- Creator
-
Gebser, Martin
Kaufmann, Benjamin
Schaub, Torsten
- URN
-
urn:nbn:de:kobv:517-opus4-413977
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
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.
Associated
- Gebser, Martin
- Kaufmann, Benjamin
- Schaub, Torsten
- Universität Potsdam
Time of origin
- 2019
Other Objects (12)
Problem-solving strategies must be taught implicitly
ASP modulo CSP : the clingcon system
Coping, taming or solving : alternative approaches to the governance of wicked problems
xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP
Minimal intervention strategies in logical signaling networks with ASP
Modern constraint answer set solving
Automatic network reconstruction using ASP
Babelsberg : specifying and solving constraints on object behavior
Operator algebras with symbol hierarchies on manifolds with singularities
A linearized DPLL calculus with learning
Harmonic integrals on domains with edges
Convergence rate of the modified Landweber method for solving inverse potential problems
Problem-solving strategies must be taught implicitly
ASP modulo CSP : the clingcon system
Coping, taming or solving : alternative approaches to the governance of wicked problems
xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP
Minimal intervention strategies in logical signaling networks with ASP
Modern constraint answer set solving
Automatic network reconstruction using ASP
Babelsberg : specifying and solving constraints on object behavior
Operator algebras with symbol hierarchies on manifolds with singularities
A linearized DPLL calculus with learning
Harmonic integrals on domains with edges
Convergence rate of the modified Landweber method for solving inverse potential problems
Problem-solving strategies must be taught implicitly
ASP modulo CSP : the clingcon system
Coping, taming or solving : alternative approaches to the governance of wicked problems
xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP
Minimal intervention strategies in logical signaling networks with ASP
Modern constraint answer set solving
Automatic network reconstruction using ASP
Babelsberg : specifying and solving constraints on object behavior
Operator algebras with symbol hierarchies on manifolds with singularities
A linearized DPLL calculus with learning
Harmonic integrals on domains with edges