Answer Set Programming as SAT modulo Acyclicity

@inproceedings{Gebser2014AnswerSP,
  title={Answer Set Programming as SAT modulo Acyclicity},
  author={Martin Gebser and Tomi Janhunen and Jussi Rintanen},
  booktitle={ECAI},
  year={2014}
}
Answer set programming (ASP) features a rule-based syntax subject to answer-set semantics. 
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…