Using criticalities as a heuristic for answer set programming


Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye

Tezin Onay Tarihi: 2002

Öğrenci: ORKUNT SABUNCU

Danışman: FERDA NUR ALPASLAN