Search Results - Soft Constraint Logic Programming

Refine Results
  1. 1

    A constraint programming approach for scheduling repetitive projects with atypical activities considering soft logic by Zou, Xin, Zhang, Lihui

    ISSN: 0926-5805, 1872-7891
    Published: Amsterdam Elsevier B.V 01.01.2020
    Published in Automation in construction (01.01.2020)
    “… As such, this paper develops a flexible repetitive scheduling model by integrating soft logic into time-cost tradeoff…”
    Get full text
    Journal Article
  2. 2

    Soft Constraint Logic Programming and Generalized Shortest Path Problems by Bistarelli, Stefano, Montanari, Ugo, Rossi, Francesca

    ISSN: 1381-1231, 1572-9397
    Published: Boston Springer Nature B.V 01.01.2002
    Published in Journal of heuristics (01.01.2002)
    “…, multicriteria, partially ordered, and modality-based SP problems can be naturally modeled and solved within the Soft Constraint Logic Programming (SCLP…”
    Get full text
    Journal Article
  3. 3

    Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming by Bistarelli, Stefano, Montanari, Ugo, Rossi, Francesca, Santini, Francesco

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 06.09.2007
    “… Then, we use the Soft Constraint Logic Programming (SCLP) framework as a convenient declarative programming environment in which to specify related problems…”
    Get full text
    Journal Article
  4. 4

    Soft Constraint Logic Programming for Electric Vehicle Travel Optimization by Giacoma, Valentina Monreale, Montanari, Ugo, Hoch, Nicklas

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 10.12.2012
    Published in arXiv.org (10.12.2012)
    “…Soft Constraint Logic Programming is a natural and flexible declarative programming formalism, which allows to model and solve real-life problems involving constraints of different types…”
    Get full text
    Paper
  5. 5

    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…”
    Get full text
    Journal Article
  6. 6

    Unicast and Multicast Qos Routing with Soft Constraint Logic Programming by Bistarelli, Stefano, Montanari, Ugo, Rossi, Francesca, Santini, Francesco

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 21.04.2008
    Published in arXiv.org (21.04.2008)
    “…). The second step consists in writing this graph as a program in Soft Constraint Logic Programming (SCLP…”
    Get full text
    Paper
  7. 7

    A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation by Bistarelli, Stefano, Santini, Francesco

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 02.04.2009
    “…We present an extension of the Soft Concurrent Constraint language that allows the nonmonotonic evolution of the constraint store…”
    Get full text
    Journal Article
  8. 8

    Resource-constrained repetitive project scheduling with soft logic by Zou, Xin, Rong, Zhuang

    ISSN: 0969-9988, 1365-232X
    Published: Bradford Emerald Publishing Limited 28.03.2025
    “… This paper proposes a novel repetitive scheduling model for solving RCRSP with soft logic.Design/methodology/approachIn this paper, a constraint programming model…”
    Get full text
    Journal Article
  9. 9

    A Formal and Practical Framework for Constraint-Based Routing by Bistarelli, S., Santini, F.

    Published: IEEE 01.04.2008
    “… corresponds to the cost of sending a packet on the network link modelled by that connector. We use the Soft Constraint Logic Programming (SCLP…”
    Get full text
    Conference Proceeding
  10. 10

    Soft constraint programming to analysing security protocols by BELLA, GIAMPAOLO, BISTARELLI, STEFANO

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.09.2004
    Published in Theory and practice of logic programming (01.09.2004)
    “… The crucial goals of confidentiality and authentication may be achieved in various forms, each of different strength. Using soft (rather than crisp…”
    Get full text
    Journal Article
  11. 11

    Work continuity constraints in repetitive project scheduling considering soft logic by Zou, Xin, Wu, Guangchuan, Zhang, Qian

    ISSN: 0969-9988, 1365-232X
    Published: Bradford Emerald Publishing Limited 25.06.2021
    “… That is, soft logic is considered.Design/methodology/approachThis paper proposes a multi-objective mixed-integer linear programming model with the capability of yielding…”
    Get full text
    Journal Article
  12. 12

    Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints by Staton, Sam, Yang, Hongseok, Wood, Frank, Heunen, Chris, Kammar, Ohad

    ISBN: 9781450343916, 1450343910
    Published: New York, NY, USA ACM 05.07.2016
    “…We study the semantic foundation of expressive probabilistic programming languages, that support higher-order functions, continuous distributions, and soft constraints…”
    Get full text
    Conference Proceeding
  13. 13

    Subexponential concurrent constraint programming by Olarte, Carlos, Pimentel, Elaine, Nigam, Vivek

    ISSN: 0304-3975, 1879-2294
    Published: Elsevier B.V 16.11.2015
    Published in Theoretical computer science (16.11.2015)
    “…In previous works we have shown that linear logic with subexponentials (SELL), a refinement of linear logic, can be used to specify emergent features of concurrent constraint programming (CCP…”
    Get full text
    Journal Article
  14. 14

    Constraint programming-based transformation approach for a mixed fuzzy-stochastic resource investment project scheduling problem by Subulan, Kemal, Çakır, Gizem

    ISSN: 1432-7643, 1433-7479
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.03.2022
    Published in Soft computing (Berlin, Germany) (01.03.2022)
    “… Based on these motivations, this paper presents a novel constraint programming (CP)-based transformation approach for solving a multi-objective and multi-mode, fuzzy-stochastic resource investment project scheduling problem (FS-MRIPSP…”
    Get full text
    Journal Article
  15. 15

    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
  16. 16

    Constraint programming model for resource-constrained assembly line balancing problem by Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet, Yüzükırmızı, Mustafa

    ISSN: 1432-7643, 1433-7479
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2020
    Published in Soft computing (Berlin, Germany) (01.04.2020)
    “…The literature studies assume that resources used to be perform the tasks are certain and homogenous in any assembly line. However, tasks may need to be…”
    Get full text
    Journal Article
  17. 17

    Constraint programming models for the hybrid flow shop scheduling problem and its extensions by Işık, Eyüp Ensar, Topaloglu Yildiz, Seyda, Şatır Akpunar, Özge

    ISSN: 1432-7643, 1433-7479
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023
    Published in Soft computing (Berlin, Germany) (01.12.2023)
    “… HFSP is a well-known NP-hard problem with the aim of minimizing the makespan. Owing to the complexity of the problem, this study develops constraint programming (CP…”
    Get full text
    Journal Article
  18. 18

    Adaptive fuzzy dynamic programming (AFDP) technique for linear programming problems lps with fuzzy constraints by Khan, Izaz Ullah, Aftab, Muhammad

    ISSN: 1432-7643, 1433-7479
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2023
    Published in Soft computing (Berlin, Germany) (01.10.2023)
    “…An adaptive fuzzy dynamic programming technique is proposed to solve linear programming problems having fuzzy constraints…”
    Get full text
    Journal Article
  19. 19

    A genetic-based approach for vehicle routing problem with fuzzy alpha-cut constraints by Kang, He-Yau, Lee, Amy H. I.

    ISSN: 1432-7643, 1433-7479
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.01.2025
    Published in Soft computing (Berlin, Germany) (01.01.2025)
    “… Firstly, a fuzzy multi-objective linear programming (FMOLP) model with alpha-cut technique and epsilon-constraint method is proposed to transform the multi-objective…”
    Get full text
    Journal Article
  20. 20

    Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models by Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet

    ISSN: 1432-7643, 1433-7479
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023
    Published in Soft computing (Berlin, Germany) (01.12.2023)
    “… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint…”
    Get full text
    Journal Article