BASELICE, SABRINA
BASELICE, SABRINA
Composing normal programs with function symbols
2008 Baselice, Sabrina; Bonatti, PIERO ANDREA
Towards an integration of answer set and constraint solving
2005 Baselice, Sabrina; Bonatti, PIERO ANDREA; Michael, Gelfond
On finitely recursive programs
2009 Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni
On Finitely Recursive Programs
2007 Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni
Towards an Integration of Answer Set and Constraint Solving
2005 Baselice, Sabrina; Bonatti, PIERO ANDREA; M., Gelfond
A decidable subclass of finitary programs
2010 Baselice, Sabrina; Bonatti, PIERO ANDREA
A Preliminary Report on Integrating of Answer Set and Constraint Solving
2005 Baselice, Sabrina; Bonatti, PIERO ANDREA; M., Gelfond
The biological resources and molecule archives organization: Turn a need into an opportunity for the Smart Specialization Strategy of the Lazio region
2019 Bravo, E.; Franchin, T.; Santoro, F.; Conti, L.; Carrara, S.; Marino, M.; Di Caro, A.; Cigliana, G.; Mandoj, C.; Baselice, S.; Daniele, N.; Giampaoli, S.; Quintarelli, C.; Salerno, M.; Zinno, F.; Russo, G.; Errico, M. C.; Minghetti, L.; Ricciardi, W.; Napolitano, M.
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Composing normal programs with function symbols | 2.1 Contributo in volume (Capitolo o Saggio) | 2008 | Baselice, Sabrina; Bonatti, PIERO ANDREA | |
Towards an integration of answer set and constraint solving | 2.1 Contributo in volume (Capitolo o Saggio) | 2005 | Baselice, Sabrina; Bonatti, PIERO ANDREA; Michael, Gelfond | |
On finitely recursive programs | 1.1 Articolo in rivista | 2009 | Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni | |
On Finitely Recursive Programs | 8.02 Comunicazioni a Convegni o Seminari | 2007 | Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni | |
Towards an Integration of Answer Set and Constraint Solving | 8.02 Comunicazioni a Convegni o Seminari | 2005 | Baselice, Sabrina; Bonatti, PIERO ANDREA; M., Gelfond | |
A decidable subclass of finitary programs | 1.1 Articolo in rivista | 2010 | Baselice, Sabrina; Bonatti, PIERO ANDREA | |
A Preliminary Report on Integrating of Answer Set and Constraint Solving | 4.1 Articoli in Atti di convegno | 2005 | Baselice, Sabrina; Bonatti, PIERO ANDREA; M., Gelfond | |
The biological resources and molecule archives organization: Turn a need into an opportunity for the Smart Specialization Strategy of the Lazio region | 1.1 Articolo in rivista | 2019 | Bravo, E.; Franchin, T.; Santoro, F.; Conti, L.; Carrara, S.; Marino, M.; Di Caro, A.; Cigliana, G.; Mandoj, C.; Baselice, S.; Daniele, N.; Giampaoli, S.; Quintarelli, C.; Salerno, M.; Zinno, F.; Russo, G.; Errico, M. C.; Minghetti, L.; Ricciardi, W.; Napolitano, M. |