2009 |
7 | EE | Sabrina Baselice,
Piero A. Bonatti,
Giovanni Criscuolo:
On finitely recursive programs
CoRR abs/0901.2850: (2009) |
6 | EE | Sabrina Baselice,
Piero A. Bonatti,
Giovanni Criscuolo:
On finitely recursive programs.
TPLP 9(2): 213-238 (2009) |
2008 |
5 | EE | Sabrina Baselice,
Piero A. Bonatti:
Composing Normal Programs with Function Symbols.
ICLP 2008: 425-439 |
2007 |
4 | EE | Sabrina Baselice,
Piero A. Bonatti,
Giovanni Criscuolo:
On Finitely Recursive Programs.
ICLP 2007: 89-103 |
3 | EE | Sabrina Baselice,
Piero A. Bonatti,
Marco Faella:
On Interoperable Trust Negotiation Strategies.
POLICY 2007: 39-50 |
2005 |
2 | EE | Sabrina Baselice,
Piero A. Bonatti,
Michael Gelfond:
A Preliminary Report on Integrating of Answer Set and Constraint Solving.
Answer Set Programming 2005 |
1 | EE | Sabrina Baselice,
Piero A. Bonatti,
Michael Gelfond:
Towards an Integration of Answer Set and Constraint Solving.
ICLP 2005: 52-66 |