A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions

@inproceedings{Balduccini2012AA,
  title={A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions},
  author={Marcello Balduccini},
  booktitle={Correct Reasoning},
  year={2012}
}
In this paper we propose an extension of Answer Set Programming (ASP) by non-Herbrand functions, i.e. functions over non-Herbrand domains. Introducing support for such functions allows for an economic and natural representation of certain kinds of knowledge that are comparatively cumbersome to represent in ASP. The key difference between our approach and other techniques for the support of non-Herbrand functions is that our extension is more “conservative” from a knowledge representation… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…