Experiments in integrating constraints with logical reasoning for robotic planning within the twelf logical framework and the prolog language

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Bilkent Üniversitesi, Türkiye

Tezin Onay Tarihi: 2008

Öğrenci: MERT DUATEPE

Danışman: ULUÇ SARANLI