Setting the stage for ASP functions
VCLA and WPI will host a talk by Pedro Calabar on November 11th, 2013.
|DATE:||Monday, November 11, 2013|
|VENUE:||Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)|
In the recent years, several approaches for introducing evaluable, non-Herbrand functions in Answer Set Programming have been proposed. In this talk we overview their different behaviours and features regarding their potential use, pointing out possible advantages and disadvantages together with future open topics and challenges.