Sabrina Baselice

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

University of Naples Federico II, Italy (PHD)

Education History

University of Naples Federico II, Italy

PHD

Publications

Sabrina Baselice, Piero A. Bonatti
A decidable subclass of finitary programs. Theory Pract. Log. Program. 10 (4-6) (2010)
Sabrina Baselice, Piero A. Bonatti
A decidable subclass of finitary programs CoRR (2010)
Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
On finitely recursive programs CoRR (2009)
Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
On finitely recursive programs. Theory Pract. Log. Program. 9 (2) (2009)
Sabrina Baselice, Piero A. Bonatti
Composing Normal Programs with Function Symbols. ICLP (2008)
Sabrina Baselice, Piero A. Bonatti, Marco Faella
On Interoperable Trust Negotiation Strategies. POLICY (2007)
Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
On Finitely Recursive Programs. ICLP (2007)
Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
A Preliminary Report on Integrating of Answer Set and Constraint Solving. Answer Set Programming (2005)
Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
Towards an Integration of Answer Set and Constraint Solving. ICLP (2005)