Computing Answer Sets Using Model Generation Theorem Provers

---

SABUNCU O., ALPASLAN F. N.

4th International Workshop on Answer Set Programming (ASP’07), 8 - 13 Eylül 2007, (Tam Metin Bildiri)

• Yayın Türü: Bildiri / Tam Metin Bildiri
• Orta Doğu Teknik Üniversitesi Adresli: Evet