10. ICLP 1993: Workshop on Logic Programming with Sets

Eugenio G. Omodeo, Gianfranco Rossi (Organizers): Workshop on Logic Programming with Sets, June 24, 1993, in conjunction with ICLP 1993, June 21 - 24, 1993, Budapest, Hungary

Constraint Logic Programming With Sets

Steffen Hölldobler, Michael Thielscher: On Logic Programming with Multisets. 0-
Carmen Gervet: Sets and Binary Relation Variables Viewed as Constrained Objects. 0-
F. Ambert, M. Hibti, H. Lombardi, Bruno Legeard: Constraints over Homogeneous Hereditarily Finite Sets. 0-
Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli: Extensional and Intensional Sets in CLP with Intensional Negation. 0-

Set Unification

Frieder Stolzenburg: An Algorithm for General Set Unification and its Complexity. 17-22
M. Hibti, H. Lombardi, Bruno Legeard: Set-Unification from Another Point of View. 0-
D. Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo: Unification of Hyperset Terms. 0-
S. Manandhar: Set Descriptions in Constraint Based Grammars. 0-

Implementing Sets in Prolog

Toshinori Munakata: A Comparative Study on Implementing Sets in Prolog. 0-
C. Posthoff, Sabine Schumann: Representation of Sets in PROLOG. 0-

Sets in Database Languages

M. Gilula: Dealing with "Pure" Sets in STARSET Language. 0-
Lawrence V. Saxton, Latha S. Colby, Dirk Van Gucht: Complexity Issues in Supporting Queries Involving Intermediate Sets in Relational Database Systems. 0-

Other Approaches

Ernst-Erich Doberkat: Prototyping Through Lindenbaum Algebras. 0-
Michal Walicki, Sigurd Medal: Sets and Nondeterminism. 0-
D. Cantone, R. Ruggieri Cannata: Proving Set-Theoretic Formulae by a Tableaux Method. 0-
George K. Tsiknis: Adding Abstraction to Logic Programming. The Logistic Approach. 0-
Paul Broome: Proofs about Programs in Classical Set Theory. 0-

Last update Wed May 23 00:53:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page