10. ICLP 1993: Workshop on Logic Programming with Sets

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-