Detecting inconsistencies in large biological networks with answer set programming
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Theory and Practice of Logic Programming 11 (2011) 2–3, pp. 323–360 DOI 10.1017/S1471068410000554
Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe ; 561
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universität Potsdam
- (wann)
-
2019
- Urheber
-
Gebser, Martin
Schaub, Torsten
Thiele, Sven
Veber, Philippe
- URN
-
urn:nbn:de:kobv:517-opus4-412467
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:51 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
- Schaub, Torsten
- Thiele, Sven
- Veber, Philippe
- Universität Potsdam
Entstanden
- 2019
Ähnliche Objekte (12)
Modeling biological systems with Answer Set Programming
Modeling biological networks by action languages via answer set programming
Preferences in answer set programming
Complex optimization in answer set programming
Answer set programming and combinatorial voting
Complex reasoning with answer set programming
aspeed : solver scheduling via answer set programming
Proof theory and algorithms for answer set programming
Planning in Answer Set Programming using ordered task decomposition
claspfolio 2 : advances in algorithm selection for answer set programming
Answer set programming as a modeling language for course timetabling
Towards Finding Optimal Solutions For Constrained Warehouse Layouts Using Answer Set Programming
Modeling biological systems with Answer Set Programming
Modeling biological networks by action languages via answer set programming
Preferences in answer set programming
Complex optimization in answer set programming
Answer set programming and combinatorial voting
Complex reasoning with answer set programming
aspeed : solver scheduling via answer set programming
Proof theory and algorithms for answer set programming
Planning in Answer Set Programming using ordered task decomposition
claspfolio 2 : advances in algorithm selection for answer set programming
Answer set programming as a modeling language for course timetabling
Towards Finding Optimal Solutions For Constrained Warehouse Layouts Using Answer Set Programming
Modeling biological systems with Answer Set Programming
Modeling biological networks by action languages via answer set programming
Preferences in answer set programming
Complex optimization in answer set programming
Answer set programming and combinatorial voting
Complex reasoning with answer set programming
aspeed : solver scheduling via answer set programming
Proof theory and algorithms for answer set programming
Planning in Answer Set Programming using ordered task decomposition
claspfolio 2 : advances in algorithm selection for answer set programming
Answer set programming as a modeling language for course timetabling