BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
3 × Germany
4 × Italy
4 × USA
Collaborated with:
T.A.Junttila P.Simons T.Janhunen T.Soininen J.Rintanen G.Liu T.Laitinen A.E.J.Hyvärinen J.You S.Brass J.Dix T.C.Przymusinski
Talks about:
program (3) semant (3) reason (3) method (3) decis (3) autoepistem (2) nonmonoton (2) implement (2) disjunct (2) complex (2)

Person: Ilkka Niemelä

DBLP DBLP: Niemel=auml=:Ilkka

Facilitated 1 volumes:

ICLP 2007Ed

Contributed to:

KR 20122012
SAT 20122012
ICLP 20082008
SAT 20062006
CL 20002000
KR 20002000
PADL 19991999
KR 19981998
JICSLP 19961996
KR 19941994
KR 19921992
CADE 19881988
CSL 19881988

Wrote 14 papers:

KR-2012-LiuJN #integer #programming #set
Answer Set Programming via Mixed Integer Programming (GL, TJ, IN).
SAT-2012-LaitinenJN #learning
Conflict-Driven XOR-Clause Learning (TL, TAJ, IN), pp. 383–396.
ICLP-2008-Niemela #programming #set
Answer Set Programming without Unstratified Negation (IN), pp. 88–92.
SAT-2006-HyvarinenJN #satisfiability
A Distribution Method for Solving SAT in Grids (AEJH, TAJ, IN), pp. 430–435.
CL-2000-JunttilaN #performance #satisfiability #towards
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking (TAJ, IN), pp. 553–567.
KR-2000-JanhunenNSY #semantics
Unfolding Partiality and Disjunctions in Stable Model Semantics (TJ, IN, PS, JHY), pp. 411–422.
PADL-1999-SoininenN #declarative
Developing a Declarative Rule Language for Applications in Product Configuration (TS, IN), pp. 305–319.
KR-1998-BrassDNP #comparison #implementation #semantics
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation (SB, JD, IN, TCP), pp. 74–85.
JICSLP-1996-NiemelaS #implementation #performance #semantics
Efficient Implementation of the Well-founded and Stable Model Semantics (IN, PS), pp. 289–303.
KR-1994-Niemela #reasoning
A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning (IN), pp. 473–484.
KR-1992-NiemelaR #complexity #on the #reasoning
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning (IN, JR), pp. 627–638.
CADE-1988-Niemela #logic
Decision Procedure for Autoepistemic Logic (IN), pp. 675–684.
CSL-1988-Niemela #complexity #logic #on the #problem
On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic (IN), pp. 226–239.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.