Agostino Dovier, Gianfranco Rossi  Home/Search
Context Related
| dimi.uniud.it/pub/dovier...ilps93.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: prmat.math.unipr.it/~gia...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we review the definition of {log}, a logic language with sets, from the viewpoint of CLP. We show that starting with a CLP-scheme allows a more uniform treatment of the built-in set operations (namely, =, 2 and their negative counterparts), and allows all the theoretical results of CLP to be immediately exploitable. We prove this by precisely defining the privileged interpretation domain and the axioms of the selected set theory. Then we define a non-deterministic procedure for... (Update)
Context of citations to this paper: More
...and provide an associative, commutative, and idempotent unification procedure. This is the approach of systems like CLPS [14] flogg [5], and others [2, 13, 28] Yet different approaches allow set comprehensions like fx j p(x)g with an intensional semantics [4] or consider...
.... proposals for an axiomatic semantics of terms denoting sets, suitable for CLP languages, have been recently presented (e.g. [7, 10, 6, 9]) In this paper we follow the approach of [9] which has been shown to be well suited for a parametric approach to the design of CLP...
Cited by: More
Dealing with Incomplete Knowledge on CLP(FD) Variable.. - Gavanelli, Lamma, Mello, .. (2003) (Correct)
Set Unification - Dovier, Pontelli, Rossi (2001) (Correct)
A Uniform Approach to Constraint-Solving for Lists.. - Dovier, Piazza, Rossi (2002) (Correct)
Similar documents (at the sentence level):
11.1%: A Language with Finite Sets embedded in the CLP-scheme - Dovier (1993) (Correct)
Active bibliography (related documents): More All
0.8: {log}: A Language For Programming In Logic With Finite Sets - Dovier, Omodeo, Pontelli, .. (1996) (Correct)
0.7: A WAM-Based Implementation of a Logic Language with Sets - Dovier, Pontelli (1993) (Correct)
0.6: Logic Programming with Fuzzy Sets - Matyska (1993) (Correct)
Similar documents based on text: More All
0.4: Sets and Constraint Logic Programming - Dovier, Piazza, Pontelli, Rossi (2000) (Correct)
0.4: Dealing with Infinite Intensional Sets in CLP - Carmona, Dovier, Rossi (1997) (Correct)
0.4: Compiling Intensional Sets in CLP - Bruscoli, Dovier, al. (1994) (Correct)
Related documents from co-citation: More All
14: Short overview of the CLPS System (context) - Legeard, Legros - 1991
13: Conjunto: constraint logic programming with finite set domains - Gervet - 1994
13: Set constructors in a logic database language (context) - Beeri, Naqvi et al. - 1991
BibTeX entry: (Update)
A. Dovier, G. Rossi. Embedding extensional finite sets in CLP. International Logic Programming Symposium, 1993. http://citeseer.ist.psu.edu/dovier93embedding.html More
@inproceedings{ dovier93embedding,
author = "Agostino Dovier and Gianfranco Rossi",
title = "Embedding extensional finite sets in {CLP}",
booktitle = "International Logic Programming Symposium",
pages = "540-556",
year = "1993",
url = "citeseer.ist.psu.edu/dovier93embedding.html" }
Citations (may not include all citations):561 Constraint Logic Programming (context) - Jaffar, Lassez - 1986
77 Constructive Negation for Constraint Logic Programming (context) - Stuckey - 1991
40 Sets and Negation in a Logic Database Language (context) - Beeri, Naqvi et al. - 1987
39 Set Constructors in a Logic Database Language (context) - Beeri, Naqvi et al. - 1991
39 A Rule-Based Language with Functions and Sets (context) - Abiteboul, Grumbach - 1991
28 Department of Computer Science (context) - Hill, Lloyd et al. - 1992
27 Implementation of Subset-Equational Programs (context) - Jayaraman - 1992
23 flogg: A Logic Programming Language with Finite Sets (context) - Dovier, Omodeo et al. - 1991
21 of Computer and System Sciences (context) - Kuper, with - 1990
20 Constraint Logic Programming with Regular Sets (context) - Walinsky - 1989
19 Compilation of set terms in the logic data language (context) - Shmueli, Tsur et al. - 1992
16 Embedding finite sets in a logic programming language (context) - Dovier, Omodeo et al. - 1992
16 Programming with Equations (context) - Jayaraman, Plaisted - 1989
16 Embedding Finite Sets in a Logic Programming Language (context) - Dovier, Omodeo et al. - 1993
6 Decision procedures for elementary sublanguages of set theor.. (context) - Parlamento, Policriti - 1988
5 A WAM-based implementation of a Logic Language with Sets - Dovier, Pontelli - 1993
5 Unification in the Data Structure Sets (context) - Buttner - 1986
4 CLPS: A Set Constraint Logic Programming Language (context) - Legeard, Legros - 1991
4 Desiderata for Logic Programming with sets (context) - Sigal - 1989
3 Che genere di insiemi /multiinsiemi/iperinsiemi incorporare .. (context) - Omodeo, Policriti et al. - 1993
3 A Language with Finite Sets embedded in the CLP-scheme - Dovier - 1993
1 Presented at ICLP'93 Workshop on Logic Programming with Sets (context) - Aliffi, Dovier et al. - 1993
1 Unification of Sets an Multisets (context) - Livesey, Siekmann - 1976
1 of Udine and Courant Inst (context) - Policriti, Schwartz et al. - 1992
1 Extensional and Intensional Sets in CLP with Intensional Neg.. (context) - Bruscoli, Dovier et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://prmat.math.unipr.it/~gianfr/setlog/papers.html): More
Compiling Intensional Sets in CLP - Bruscoli, Dovier, al. (1994) (Correct)
{log}: A Language For Programming In Logic With Finite Sets - Dovier, Omodeo, Pontelli, .. (1996) (Correct)
A Language with Finite Sets embedded in the CLP-scheme - Dovier (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC