Search Results - "Soft Concurrent Constraint Programming"

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Cover Image

    Observational and behavioural equivalences for soft concurrent constraint programming by Gadducci, Fabio, Santini, Francesco, Pino, Luis F., Valencia, Frank D.

    ISSN: 2352-2208
    Published: Elsevier 01.11.2017
    “…We present a labelled semantics for Soft Concurrent Constraint Programming (SCCP), a meta-language where concurrent agents may synchronise on a shared store by either posting or checking the satisfaction…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    A Proof Theoretic Study of Soft Concurrent Constraint Programming by PIMENTEL, ELAINE, OLARTE, CARLOS, NIGAM, VIVEK

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.07.2014
    Published in Theory and practice of logic programming (01.07.2014)
    “…Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints. Since their…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    A Proof Theoretic Study of Soft Concurrent Constraint Programming by Pimentel, Elaine, Olarte, Carlos, Nigam, Vivek

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 09.05.2014
    Published in arXiv.org (09.05.2014)
    “…Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints. Since their…”
    Get full text
    Paper
    Save to List
    Saved in:
  4. 4
    Cover Image

    Timed soft concurrent constraint programs: An interleaved and a parallel approach by BISTARELLI, STEFANO, GABBRIELLI, MAURIZIO, MEO, MARIA CHIARA, SANTINI, FRANCESCO

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.11.2015
    Published in Theory and practice of logic programming (01.11.2015)
    “…We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony: The…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  5. 5
    Cover Image

    Soft Concurrent Constraint Programming by Bistarelli, S, Montanari, U, Rossi, F

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 06.08.2002
    Published in arXiv.org (06.08.2002)
    “…Soft constraints extend classical constraints to represent multiple consistency levels, and thus provide a way to express preferences, fuzziness, and…”
    Get full text
    Paper
    Save to List
    Saved in:

Search Tools: