( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning.

, и . J. Appl. Non Class. Logics, 4 (2): 141-179 (1994)

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.

Leena Niemelä

Stefanie Niemela

Ilkka Hanski

Ilkka Kronholm

Ilkka Haavisto

 

Другие публикации лиц с тем же именем

On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic.. CSL, том 385 из Lecture Notes in Computer Science, стр. 226-239. Springer, (1988)Classifying and Propagating Parity Constraints., , и . CP, том 7514 из Lecture Notes in Computer Science, стр. 357-372. Springer, (2012)The Smodels System., и . LPNMR, том 2173 из Lecture Notes in Computer Science, стр. 434-438. Springer, (2001)GNT - A Solver for Disjunctive Logic Programs., и . LPNMR, том 2923 из Lecture Notes in Computer Science, стр. 331-335. Springer, (2004)Incorporating Learning in Grid-Based Randomized SAT Solving., , и . AIMSA, том 5253 из Lecture Notes in Computer Science, стр. 247-261. Springer, (2008)Answer Set Programming without Unstratified Negation.. ICLP, том 5366 из Lecture Notes in Computer Science, стр. 88-92. Springer, (2008)A Distribution Method for Solving SAT in Grids., , и . SAT, том 4121 из Lecture Notes in Computer Science, стр. 430-435. Springer, (2006)Smodels: A System for Answer Set Programming, , и . CoRR, (2000)Introducing Real Variables and Integer Objective Functions to Answer Set Programming., , и . KDPD, том 8439 из Lecture Notes in Computer Science, стр. 118-135. Springer, (2013)Model checking of safety-critical software in the nuclear engineering domain., , , , , и . Reliab. Eng. Syst. Saf., (2012)