( en | de | ru )

 

Disambiguation of "Niemelä, Ilkka"

Author of the publication

copydeleteadd this publication to your clipboard
Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems.

. ISMVL, page 139-141. IEEE Computer Society, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Leena Niemelä

Stefanie Niemela

Ilkka Hanski

Ilkka Kronholm

Ilkka Haavisto

 

Other publications of authors with the same name

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