Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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 and 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.

This list was generated on Fri Mar 31 22:53:25 2023 CEST.