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 January 2004 identifier identifier

  • Publication Type: Conference Paper / Full Text
  • Middle East Technical University Affiliated: Yes