 | 2010 |
|---|
| 9 |       | Sabrina Baselice,
Piero A. Bonatti:
A decidable subclass of finitary programs
CoRR abs/1007.3663: (2010) |
| 8 | | Sabrina Baselice,
Piero A. Bonatti:
A decidable subclass of finitary programs.
TPLP 10(4-6): 481-496 (2010) |
| 2009 |
|---|
| 7 | | Sabrina Baselice,
Piero A. Bonatti,
Giovanni Criscuolo:
On finitely recursive programs
CoRR abs/0901.2850: (2009) |
| 6 | | Sabrina Baselice,
Piero A. Bonatti,
Giovanni Criscuolo:
On finitely recursive programs.
TPLP 9(2): 213-238 (2009) |
| 2008 |
|---|
| 5 | | Sabrina Baselice,
Piero A. Bonatti:
Composing Normal Programs with Function Symbols.
ICLP 2008: 425-439 |
| 2007 |
|---|
| 4 | | Sabrina Baselice,
Piero A. Bonatti,
Giovanni Criscuolo:
On Finitely Recursive Programs.
ICLP 2007: 89-103 |
| 3 | | Sabrina Baselice,
Piero A. Bonatti,
Marco Faella:
On Interoperable Trust Negotiation Strategies.
POLICY 2007: 39-50 |
| 2005 |
|---|
| 2 | | Sabrina Baselice,
Piero A. Bonatti,
Michael Gelfond:
A Preliminary Report on Integrating of Answer Set and Constraint Solving.
Answer Set Programming 2005 |
| 1 | | Sabrina Baselice,
Piero A. Bonatti,
Michael Gelfond:
Towards an Integration of Answer Set and Constraint Solving.
ICLP 2005: 52-66 |
Data released under the ODC-BY 1.0 license — See also our legal information page