Computing Answer Sets Using Model Generation Theorem Provers

SABUNCU O., ALPASLAN F. N.

4th International Workshop on Answer Set Programming (ASP’07), 8 - 13 September 2007

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