( en | de | ru )

 

Disambiguierung von "Niemelä, Ilkka"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.

, , , , und . Nonmonotonic Reasoning, Answer Set Programming and Constraints, Volume 05171 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)

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.

Leena Niemelä

Stefanie Niemela

Ilkka Hanski

Ilkka Kronholm

Ilkka Haavisto

 

Weitere Publikationen von Autoren mit dem selben Namen

Answer Set Programming without Unstratified Negation.. ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 88-92. Springer, (2008)The Smodels System., und . LPNMR, Volume 2173 von Lecture Notes in Computer Science, Seite 434-438. Springer, (2001)A Distribution Method for Solving SAT in Grids., , und . SAT, Volume 4121 von Lecture Notes in Computer Science, Seite 430-435. Springer, (2006)On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic.. CSL, Volume 385 von Lecture Notes in Computer Science, Seite 226-239. Springer, (1988)Smodels: A System for Answer Set Programming, , und . CoRR, (2000)Introducing Real Variables and Integer Objective Functions to Answer Set Programming., , und . KDPD, Volume 8439 von Lecture Notes in Computer Science, Seite 118-135. Springer, (2013)GNT - A Solver for Disjunctive Logic Programs., und . LPNMR, Volume 2923 von Lecture Notes in Computer Science, Seite 331-335. Springer, (2004)Classifying and Propagating Parity Constraints., , und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 357-372. Springer, (2012)Incorporating Learning in Grid-Based Randomized SAT Solving., , und . AIMSA, Volume 5253 von Lecture Notes in Computer Science, Seite 247-261. Springer, (2008)DES: a Challenge Problem for Nonmonotonic Reasoning Systems, , und . CoRR, (2000)