`Travelled to:`

1 × Canada

1 × India

1 × Italy

1 × Spain

1 × Sweden

2 × France

2 × United Kingdom

3 × USA

`Collaborated with:`

A.Dovier E.Pontelli M.Cristiá A.Martelli C.S.Frydman A.D.Palù C.Piazza C.Moiso P.Bruscoli E.G.Omodeo

`Talks about:`

set (10) program (5) clp (5) constraint (4) finit (4) intension (3) languag (3) logic (3) procedur (2) function (2)

## Person: Gianfranco Rossi

### DBLP: Rossi:Gianfranco

### Contributed to:

### Wrote 15 papers:

- ICLP-J-2015-CristiaRF #constraints #logic programming #set
- Adding partial functions to Constraint Logic Programming with sets (MC, GR, CSF), pp. 651–665.
- SEFM-2013-CristiaRF #framework #generative #testing
- {log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.
- ICLP-2009-PaluDPR #constraints #lazy evaluation #programming #set #using
- Answer Set Programming with Constraints Using Lazy Grounding (ADP, AD, EP, GR), pp. 115–129.
- ICLP-2003-DovierPR #set
- Intensional Sets in CLP (AD, EP, GR), pp. 284–299.
- PPDP-2003-PaluDPR #constraints #finite #set
- Integrating finite domain constraints and CLP with sets (ADP, AD, EP, GR), pp. 219–229.
- ICLP-1999-DovierPPR #constraints
- ACI1 Constraints (AD, CP, EP, GR), pp. 573–587.
- JICSLP-1998-DovierPRP #finite #on the #representation #set
- On the Representation and Management of Finite Sets in CLP Languages (AD, CP, GR, EP), pp. 40–54.
- ICLP-1994-BruscoliDPR #compilation #set
- Compiling Intensional Sets in CLP (PB, AD, EP, GR), pp. 647–661.
- ILPS-1993-DovierR #finite #set
- Embedding extensional finite sets in CLP (AD, GR), pp. 540–556.
- ICLP-1991-DovierOPR #finite #logic programming #programming language #set
- {log}: A Logic Programming Language with Finite Sets (AD, EGO, EP, GR), pp. 111–124.
- ESOP-1988-MartelliR #programming #prolog
- Enhancing Prolog to Support Prolog Programming Environments (AM, GR), pp. 317–327.
- ICLP-1986-MartelliR86 #logic programming #on the #semantics
- On the Semantics of Logic Programing Languages (AM, GR), pp. 327–334.
- SLP-1986-MartelliMR86 #algorithm #equation #unification
- An Algorithm for Unification in Equational Theories (AM, CM, GR), pp. 180–186.
- CAV-2016-CristiaR #set
- A Decision Procedure for Sets, Binary Relations and Partial Functions (MC, GR), pp. 179–198.
- CADE-2017-CristiaR #set #strict
- A Decision Procedure for Restricted Intensional Sets (MC, GR), pp. 185–201.