Остановите войну!
for scientists:
default search action
Gianfranco Rossi
- > Home > Persons > Gianfranco Rossi
Publications
- 2009
- [j15]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
GASP: Answer Set Programming with Lazy Grounding. Fundam. Informaticae 96(3): 297-322 (2009) - [c33]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Answer Set Programming with Constraints Using Lazy Grounding. ICLP 2009: 115-129 - 2008
- [j14]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): 15:1-15:30 (2008) - 2006
- [j12]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Set unification. Theory Pract. Log. Program. 6(6): 645-701 (2006) - 2003
- [c30]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Intensional Sets in CLP. APPIA-GULP-PRODE 2003: 36-49 - [c28]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Intensional Sets in CLP. ICLP 2003: 284-299 - [c27]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Integrating finite domain constraints and CLP with sets. PPDP 2003: 219-229 - [i2]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. CoRR cs.PL/0309045 (2003) - 2001
- [j11]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Constructive Negation and Constraint Logic Programming with Sets. New Gener. Comput. 19(3): 209-256 (2001) - [c25]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
Multiset constraints and P systems. APPIA-GULP-PRODE 2001: 97-112 - [i1]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Set Unification. CoRR cs.LO/0110023 (2001) - 2000
- [j10]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) - [j9]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000) - [c24]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
Multiset Constraints and P Systems. WMP 2000: 103-122 - 1999
- [j8]Davide Aliffi, Agostino Dovier, Gianfranco Rossi:
From Set to Hyperset Unification. J. Funct. Log. Program. 1999(10) (1999) - [c23]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
ACI1 constraints. APPIA-GULP-PRODE 1999: 305-320 - [c22]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
ACI1 Constraints. ICLP 1999: 573-587 - 1998
- [j7]Agostino Dovier, Alberto Policriti, Gianfranco Rossi:
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. Fundam. Informaticae 36(2-3): 201-234 (1998) - [c21]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. APPIA-GULP-PRODE 1998: 43-56 - [c20]Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli:
On the Representation and Management of Finite Sets in CLP Languages. IJCSLP 1998: 40-54 - 1997
- [c18]Roberta Carmona, Agostino Dovier, Gianfranco Rossi:
Dealing with Infinite Intensional Sets in CLP. APPIA-GULP-PRODE 1997: 465-478 - 1996
- [j6]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) - [c17]Agostino Dovier, Alberto Policriti, Gianfranco Rossi:
Integrating Lists, Multisets, and Sets in a Logic Programming Framework. FroCoS 1996: 303-319 - 1994
- [c16]Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi:
Solving Systems of Equations over Hypersets. GULP-PRODE (1) 1994: 403-417 - [c15]Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Compiling Intensional Sets in CLP. ICLP 1994: 647-661 - 1993
- [c13]Agostino Dovier, Gianfranco Rossi:
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. GULP 1993: 71-86 - [c11]Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo:
Unification of Hyperset Terms. ICLP Workshop on Logic Programming with Sets 1993 - [c10]Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli:
Extensional and Intensional Sets in CLP with Intensional Negation. ICLP Workshop on Logic Programming with Sets 1993 - [c9]Agostino Dovier, Gianfranco Rossi:
Embedding extensional finite sets in CLP. ILPS 1993: 540-556 - 1992
- [c8]Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi:
Embedding Finite Sets in a Logic Programming Language. ELP 1992: 150-167 - 1991
- [c6]Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi:
{log}: A Logic Programming Language with Finite Sets. ICLP 1991: 111-124
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-03-02 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint