Sabrina Baselice

According to our database, Sabrina Baselice authored at least 7 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

A decidable subclass of finitary programs.

Sabrina Baselice, Piero A. Bonatti

Theory Pract. Log. Program., 2010

2009

On finitely recursive programs.

Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo

Theory Pract. Log. Program., 2009

2008

On program grounding in ASP.

Sabrina Baselice

PhD thesis, 2008

Composing Normal Programs with Function Symbols.

Sabrina Baselice, Piero A. Bonatti

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

On Interoperable Trust Negotiation Strategies.

Sabrina Baselice, Piero A. Bonatti, Marco Faella

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

2005

Towards an Integration of Answer Set and Constraint Solving.

Sabrina Baselice, Piero A. Bonatti, Michael Gelfond

Proceedings of the Logic Programming, 21st International Conference, 2005

A Preliminary Report on Integrating of Answer Set and Constraint Solving.

Sabrina Baselice, Piero A. Bonatti, Michael Gelfond

Proceedings of the Answer Set Programming, 2005