`Travelled to:`

1 × Italy

1 × Portugal

1 × Spain

`Collaborated with:`

P.A.Bonatti G.Criscuolo M.Gelfond

`Talks about:`

program (3) constraint (1) subclass (1) function (1) finitari (1) toward (1) symbol (1) recurs (1) normal (1) integr (1)

## Person: Sabrina Baselice

### DBLP: Baselice:Sabrina

### Contributed to:

### Wrote 4 papers:

- ICLP-J-2010-BaseliceB #decidability #source code #subclass
- A decidable subclass of finitary programs (SB, PAB), pp. 481–496.
- ICLP-2008-BaseliceB #source code
- Composing Normal Programs with Function Symbols (SB, PAB), pp. 425–439.
- ICLP-2007-BaseliceBC #on the #recursion #source code
- On Finitely Recursive Programs (SB, PAB, GC), pp. 89–103.
- ICLP-2005-BaseliceBG #constraints #integration #set #theorem proving #towards
- Towards an Integration of Answer Set and Constraint Solving (SB, PAB, MG), pp. 52–66.