Group by: Item Type | No Grouping
Number of items: 4.
Tesi di dottorato
Baselice, Sabrina (2008) On program grounding in ASP. [Tesi di dottorato] (Unpublished)
Pubblicazione in rivista scientifica
Baselice, Sabrina and Bonatti, Piero Andrea (2010) A decidable subclass of finitary programs. [Pubblicazione in rivista scientifica]
Baselice, Sabrina, Bonatti, Piero Andrea and Criscuolo, Giovanni (2009) On finitely recursive programs. [Pubblicazione in rivista scientifica]
Conference or Workshop Item
Baselice, Sabrina and Bonatti, Piero Andrea (2008) Composing normal programs with function symbols. In: ICLP 2008, December 9-13 2008, Udine.


Up a level