ASP with non-herbrand partial functions: a language and system for practical use

@article{Balduccini2013ASPWN,
  title={ASP with non-herbrand partial functions: a language and system for practical use},
  author={Marcello Balduccini},
  journal={TPLP},
  year={2013},
  volume={13},
  pages={547-561}
}
Dealing with domains involving substantial quantitative information in Answer Set Programming (ASP) often results in cumbersome and inefficient encodings. Hybrid “CASP” languages combining ASP and Constraint Programming aim to overcome this limitation, but also impose inconvenient constraints – first and foremost that quantitative information must be encoded by means of total functions. This goes against central knowledge representation principles that contribute to the power of ASP, and makes… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Similar Papers

Loading similar papers…