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]

Authors

Marcello Balduccini

This author has not been identified. It may be one of the following persons: Look up 'Marcello Balduccini' in Google