Ilkka Niemelä

Department of Computer Science Helsinki University of Technology Otakaari 1 , FIN-02150 Espoo , Finland

3 papers in the IJCAI proceedings

IJCAI 2003

Answer Set Optimization

with Gerhard Brewka, Miroslaw Truszczynski

Details PDF

IJCAI 1995

Towards Efficient Default Reasoning

Details PDF

IJCAI 1991

Constructive Tightly Grounded Autoepistemic Reasoning

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings