Autor der Publikation

On the Input Language of ASP Grounder Gringo.

, , , , und . LPNMR, Volume 5753 von Lecture Notes in Computer Science, Seite 502-508. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Modeling biological systems with Answer Set Programming.. University of Potsdam, (2012)Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming., , , , , , und . Bioinformatics, 29 (18): 2320-2326 (2013)An ASP Application in Integrative Biology: Identification of Functional Gene Units., , , , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 206-218. Springer, (2013)COBA 2.0: A Consistency-Based Belief Change System., , , und . ECSQARU, Volume 4724 von Lecture Notes in Computer Science, Seite 78-90. Springer, (2007)Metabolic Network Expansion with Answer Set Programming., und . ICLP, Volume 5649 von Lecture Notes in Computer Science, Seite 312-326. Springer, (2009)Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming., , , , , , und . Bioinformatics, 30 (13): 1942 (2014)GrinGo : A New Grounder for Answer Set Programming., , und . LPNMR, Volume 4483 von Lecture Notes in Computer Science, Seite 266-271. Springer, (2007)Detecting Inconsistencies in Large Biological Networks with Answer Set Programming., , , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 130-144. Springer, (2008)Engineering an Incremental ASP Solver., , , , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 190-205. Springer, (2008)Revisiting the Training of Logic Models of Protein Signaling Networks with ASP., , , , , , und . CMSB, Volume 7605 von Lecture Notes in Computer Science, Seite 342-361. Springer, (2012)