- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
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
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universität Potsdam
- (wann)
-
2019
- Urheber
-
Gebser, Martin
Kaufmann, Benjamin
Schaub, Torsten
- URN
-
urn:nbn:de:kobv:517-opus4-413977
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 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
- Gebser, Martin
- Kaufmann, Benjamin
- Schaub, Torsten
- Universität Potsdam
Entstanden
- 2019
Ähnliche Objekte (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