Niemelä, Ilkka

4 publications

AAAI 2005 Prioritized Component Systems Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski

IJCAI 2003 Answer Set Optimization Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski

IJCAI 1995 Towards Efficient Default Reasoning Ilkka Niemelä

IJCAI 1991 Constructive Tightly Grounded Autoepistemic Reasoning Ilkka Niemelä