• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 40 matches

• 2023
• 
  Maximiliano Cristiá, Gianfranco Rossi:
  Integrating Cardinality Constraints into Constraint Logic Programming with Sets. Theory Pract. Log. Program. 23(2): 468-502 (2023)
• 2021
• 
  Maximiliano Cristiá, Gianfranco Rossi:
  Integrating Cardinality Constraints into Constraint Logic Programming with Sets. CoRR abs/2102.05422 (2021)
• 2015
• 
  Tomas Kuhr, Vilém Vychodil:
  Fuzzy logic programming reduced to reasoning with attribute implications. Fuzzy Sets Syst. 262: 1-20 (2015)
• 
  Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
  Adding partial functions to Constraint Logic Programming with sets. Theory Pract. Log. Program. 15(4-5): 651-665 (2015)
• 
  Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
  Adding Partial Functions to Constraint Logic Programming with Sets. CoRR abs/1507.06852 (2015)
• 2005
• 
  Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek:
  Logic programming with infinite sets. Ann. Math. Artif. Intell. 44(4): 309-339 (2005)
• 2004
• 
  Tru Hoang Cao:
  A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency. Fuzzy Sets Syst. 144(1): 93-104 (2004)
• 2001
• 
  Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
  Constructive Negation and Constraint Logic Programming with Sets. New Gener. Comput. 19(3): 209-256 (2001)
• 1996
• 
  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)
• 
  Frieder Stolzenburg:
  Membership-Constraints and Complexity in Logic Programming with Sets. FroCoS 1996: 285-302
• 1995
• 
  Ludek Matyska, Hynek Bures:
  Constraint Logic Programming with Fuzzy Sets. SOFSEM 1995: 413-418
• 1994
• 
  Frieder Stolzenburg:
  Logic Programming with Sets by Membership-Constraints. WLP 1994: 48-51
• 1993
• 
  Nicola Leone, Pasquale Rullo:
  Ordered Logic Programming with Sets. J. Log. Comput. 3(6): 621-642 (1993)
• 
  Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo:
  Unification of Hyperset Terms. ICLP Workshop on Logic Programming with Sets 1993
• 
  Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard:
  Constraints over Homogeneous Hereditarily Finite Sets. ICLP Workshop on Logic Programming with Sets 1993
• 
  Paul Broome:
  Proofs about Programs in Classical Set Theory. ICLP Workshop on Logic Programming with Sets 1993
• 
  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
• 
  Domenico Cantone, Rosa Ruggeri Cannata:
  Proving Set-Theoretic Formulae by a Tableaux Method. ICLP Workshop on Logic Programming with Sets 1993
• 
  Ernst-Erich Doberkat:
  Prototyping Through Lindenbaum Algebras. ICLP Workshop on Logic Programming with Sets 1993
• 
  Carmen Gervet:
  Sets and Binary Relation Variables Viewed as Constrained Objects. ICLP Workshop on Logic Programming with Sets 1993
• 
  Mikhail Gilula:
  Dealing with "Pure" Sets in STARSET Language. ICLP Workshop on Logic Programming with Sets 1993
• 
  Mohamed Hibti, Henri Lombardi, Bruno Legeard:
  Set-Unification from Another Point of View. ICLP Workshop on Logic Programming with Sets 1993
• 
  Steffen Hölldobler, Michael Thielscher:
  On Logic Programming with Multisets. ICLP Workshop on Logic Programming with Sets 1993
• 
  Suresh Manandhar:
  Set Descriptions in Constraint Based Grammars. ICLP Workshop on Logic Programming with Sets 1993
• 
  Toshinori Munakata:
  A Comparative Study on Implementing Sets in Prolog. ICLP Workshop on Logic Programming with Sets 1993
• 
  Christian Posthoff, Sabine Schumann:
  Representation of Sets in PROLOG. ICLP Workshop on Logic Programming with Sets 1993
• 
  Lawrence V. Saxton, Latha S. Colby, Dirk Van Gucht:
  Complexity Issues in Supporting Queries Involving Intermediate Sets in Relational Database Systems. ICLP Workshop on Logic Programming with Sets 1993
• 
  Frieder Stolzenburg:
  An Algorithm for General Set Unification and its Complexity. ICLP Workshop on Logic Programming with Sets 1993: 17-22
• 
  Giancarlo Succi, Giuseppe Marino, Angelo Bergamini, Cristina Dondina, Tullio Vernazza, Giancarlo Colla:
  Implementing Sets with Hash Tabels in Declarative Languages. ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems 1993: 143-170
• 
  Giancarlo Succi, Giuseppe Marino, Cristina Dondina, Angelo Bergamini:
  Implementing Sets with Hash Tabels in Declarative Languages. ICLP-Workshops on Implementation of Logic Programming Systems 1993: 217-237

skipping 10 more matches