Enhancing ASP by Functions: Decidable Classes and Implementation Techniques.

Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone

Browse the full AAAI paper archive.