Using Criticalities as a Heuristic for Answer Set Programming

SABUNCU O., ALPASLAN F. N., AKMAN V.

7th . International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7), 6 - 08 Ocak 2004 identifier identifier

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