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

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