 | Torna al livello superiore |
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Numero di documenti: 4.
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]
Baselice, Sabrina and Bonatti, Piero Andrea (2008) Composing normal programs with function symbols. In: ICLP 2008, December 9-13 2008, Udine.
Baselice, Sabrina (2008) On program grounding in ASP. [Tesi di dottorato] (Inedito)
