Using criticalities as a heuristic for answer set programming.


Thesis Type: Postgraduate

Institution Of The Thesis: Orta Doğu Teknik Üniversitesi, Faculty of Engineering, Department of Computer Engineering, Turkey

Approval Date: 2002

Student: ORKUNT SABUNCU

Supervisor: FERDA NUR ALPASLAN