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

Marcello Balduccini. A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions. In Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science, pages 24-39, Springer, 2012. [doi]

@inproceedings{Balduccini12-0,
  title = {A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions},
  author = {Marcello Balduccini},
  year = {2012},
  doi = {10.1007/978-3-642-30743-0_3},
  url = {http://dx.doi.org/10.1007/978-3-642-30743-0_3},
  researchr = {https://researchr.org/publication/Balduccini12-0},
  cites = {0},
  citedby = {0},
  pages = {24-39},
  booktitle = {Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz},
  editor = {Esra Erdem and Joohyung Lee and Yuliya Lierler and David Pearce},
  volume = {7265},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-30742-3},
}