Tight Integration of Non-Ground Answer Set Programming and Satisfiability Modulo Theories

@inproceedings{Janhunen2011TightIO,
  title={Tight Integration of Non-Ground Answer Set Programming and Satisfiability Modulo Theories},
  author={Tomi Janhunen and Guohua Liu and Ilkka Niemel{\"a}},
  year={2011}
}
Non-Boolean variables are important primitives in logical modeling. For instance, in Answer Set Programming (ASP), they are used as plac e holders for constants and more complex ground terms. This is essential for com pact and uniform encodings used in ASP although variables are removed in a grou nding phase preceding the search for answer sets. On the… CONTINUE READING