| 2008 |
|---|
| 40 | EE | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
ACM Trans. Comput. Log. 9(3): (2008) |
| 2006 |
|---|
| 39 | EE | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Set unification.
TPLP 6(6): 645-701 (2006) |
| 2003 |
|---|
| 38 | | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Intensional Sets in CLP.
APPIA-GULP-PRODE 2003: 36-49 |
| 37 | EE | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Intensional Sets in CLP.
ICLP 2003: 284-299 |
| 36 | EE | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Integrating finite domain constraints and CLP with sets.
PPDP 2003: 219-229 |
| 35 | EE | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
CoRR cs.PL/0309045: (2003) |
| 2002 |
|---|
| 34 | EE | Gianfranco Rossi:
Set-based Nondeterministic Declarative Programming in Singleton.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 2001 |
|---|
| 33 | EE | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Set Unification
CoRR cs.LO/0110023: (2001) |
| 32 | | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Constructive Negation and Constraint Logic Programming with Sets.
New Generation Comput. 19(3): 209-256 (2001) |
| 2000 |
|---|
| 31 | EE | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
Multiset Constraints and P Systems.
WMP 2000: 103-122 |
| 30 | EE | Agostino Dovier,
Carla Piazza,
Enrico Pontelli,
Gianfranco Rossi:
Sets and constraint logic programming.
ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000) |
| 29 | EE | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
A necessary condition for Constructive Negation in Constraint Logic Programming.
Inf. Process. Lett. 74(3-4): 147-156 (2000) |
| 1999 |
|---|
| 28 | | Agostino Dovier,
Carla Piazza,
Enrico Pontelli,
Gianfranco Rossi:
ACI1 constraints.
APPIA-GULP-PRODE 1999: 305-320 |
| 27 | | Agostino Dovier,
Carla Piazza,
Enrico Pontelli,
Gianfranco Rossi:
ACI1 Constraints.
ICLP 1999: 573-587 |
| 26 | | Davide Aliffi,
Agostino Dovier,
Gianfranco Rossi:
From Set to Hyperset Unification
Journal of Functional and Logic Programming 1999(10): (1999) |
| 1998 |
|---|
| 25 | | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints.
APPIA-GULP-PRODE 1998: 43-56 |
| 24 | | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi,
Enrico Pontelli:
On the Representation and Management of Finite Sets in CLP Languages.
IJCSLP 1998: 40-54 |
| 23 | | Agostino Dovier,
Alberto Policriti,
Gianfranco Rossi:
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms.
Fundam. Inform. 36(2-3): 201-234 (1998) |
| 1997 |
|---|
| 22 | | R. Carmona,
Agostino Dovier,
Gianfranco Rossi:
Dealing with Infinite Intensional Sets in CLP.
APPIA-GULP-PRODE 1997: 465-478 |
| 1996 |
|---|
| 21 | | Agostino Dovier,
Alberto Policriti,
Gianfranco Rossi:
Integrating Lists, Multisets, and Sets in a Logic Programming Framework.
Frontiers of Combining Systems (FroCos) 1996: 303-319 |
| 20 | | Agostino Dovier,
Eugenio G. Omodeo,
Enrico Pontelli,
Gianfranco Rossi:
A Language for Programming in Logic with Finite Sets.
J. Log. Program. 28(1): 1-44 (1996) |
| 1994 |
|---|
| 19 | | Agostino Dovier,
Eugenio G. Omodeo,
Alberto Policriti,
Gianfranco Rossi:
Solving Systems of Equations over Hypersets.
GULP-PRODE (1) 1994: 403-417 |
| 18 | | Paola Bruscoli,
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Compiling Intensional Sets in CLP.
ICLP 1994: 647-661 |
| 1993 |
|---|
| 17 | | Iliano Cervesato,
Gianfranco Rossi:
A WAM Implementation for the Logic Meta Programming Language 'Log.
GULP 1993: 203-214 |
| 16 | | Eugenio G. Omodeo,
Alberto Policriti,
Gianfranco Rossi:
Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica?
GULP 1993: 55-70 |
| 15 | | Agostino Dovier,
Gianfranco Rossi:
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP.
GULP 1993: 71-86 |
| 14 | | Agostino Dovier,
Gianfranco Rossi:
Embedding extensional finite sets in CLP.
ILPS 1993: 540-556 |
| 13 | | Gianfranco Rossi:
Programs as Data in an Extended Prolog.
Comput. J. 36(3): 217-226 (1993) |
| 12 | | Evelina Lamma,
Paola Mello,
Gianfranco Rossi:
Parametric Composable Modules in a Logic Programming Language.
Comput. Lang. 18(2): 105-123 (1993) |
| 1992 |
|---|
| 11 | | Agostino Dovier,
Eugenio G. Omodeo,
Enrico Pontelli,
Gianfranco Rossi:
Embedding Finite Sets in a Logic Programming Language.
ELP 1992: 150-167 |
| 10 | | Iliano Cervesato,
Gianfranco Rossi:
Logic Meta-Programming Facilities in 'LOG.
META 1992: 148-161 |
| 9 | | Laura Giordano,
Alberto Martelli,
Gianfranco Rossi:
Extending Horn Clause Logic with Implication Goals.
Theor. Comput. Sci. 95(1): 43-74 (1992) |
| 1991 |
|---|
| 8 | | Agostino Dovier,
Eugenio G. Omodeo,
Enrico Pontelli,
Gianfranco Rossi:
{log}: A Logic Programming Language with Finite Sets.
ICLP 1991: 111-124 |
| 1989 |
|---|
| 7 | | Luca Console,
Gianfranco Rossi:
Using Prolog for Building Frog, a Hybrid Knowledge Representation System.
New Generation Comput. 6(4): 361-388 (1989) |
| 1988 |
|---|
| 6 | | Alberto Martelli,
Gianfranco Rossi:
Enhancing Prolog to Support Prolog Programming Environments.
ESOP 1988: 317-327 |
| 5 | | Laura Giordano,
Alberto Martelli,
Gianfranco Rossi:
Local Definitions with Static Scope Rules in Logic Programming.
FGCS 1988: 389-396 |
| 1986 |
|---|
| 4 | | Alberto Martelli,
Gianfranco Rossi:
On the Semantics of Logic Programing Languages.
ICLP 1986: 327-334 |
| 3 | | Alberto Martelli,
Corrado Moiso,
Gianfranco Rossi:
An Algorithm for Unification in Equational Theories.
SLP 1986: 180-186 |
| 2 | | Gianfranco Rossi:
Uses of Prolog in Implementation of Expert Systems.
New Generation Comput. 4(3): 321-329 (1986) |
| 1984 |
|---|
| 1 | | Alberto Martelli,
Gianfranco Rossi:
Efficient Unificatioin with Infinite Terms in Logic Programming.
FGCS 1984: 202-209 |
