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

---

Thesis Type: Postgraduate

Institution Of The Thesis: Bilkent Üniversitesi, Turkey

Approval Date: 2008

Student: MERT DUATEPE

Supervisor: ULUÇ SARANLI