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]

Abstract

Abstract is missing.