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, (Full Text)

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