Now showing items 1-1 of 1

    • Using criticalities as a heuristic for Answer Set Programming 

      Sabuncu, O.; Alpaslan, F. N.; Akman, Varol (Springer, Berlin, Heidelberg, 2004)
      Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic programs. Generally, systems utilize some heuristics to ...