Suchergebnisse - Soft Constraint Logic Programming

  1. 1

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

    ISSN: 0926-5805, 1872-7891
    Veröffentlicht: Amsterdam Elsevier B.V 01.01.2020
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  2. 2

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

    ISSN: 1381-1231, 1572-9397
    Veröffentlicht: Boston Springer Nature B.V 01.01.2002
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  3. 3

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

    ISSN: 1571-0661, 1571-0661
    Veröffentlicht: Elsevier B.V 06.09.2007
    Veröffentlicht in Electronic notes in theoretical computer science (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 …”
    Volltext
    Journal Article
  4. 4

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

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 10.12.2012
    Veröffentlicht 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 …”
    Volltext
    Paper
  5. 5

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

    ISSN: 1471-0684, 1475-3081
    Veröffentlicht: Cambridge, UK Cambridge University Press 01.07.2014
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  6. 6

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

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

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

    ISSN: 1571-0661, 1571-0661
    Veröffentlicht: Elsevier B.V 02.04.2009
    Veröffentlicht in Electronic notes in theoretical computer science (02.04.2009)
    “… We present an extension of the Soft Concurrent Constraint language that allows the nonmonotonic evolution of the constraint store …”
    Volltext
    Journal Article
  8. 8

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

    ISSN: 0969-9988, 1365-232X
    Veröffentlicht: 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 …”
    Volltext
    Journal Article
  9. 9

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

    Veröffentlicht: IEEE 01.04.2008
    Veröffentlicht in 2008 Seventh International Conference on Networking (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 …”
    Volltext
    Tagungsbericht
  10. 10

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

    ISSN: 1471-0684, 1475-3081
    Veröffentlicht: Cambridge, UK Cambridge University Press 01.09.2004
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  11. 11

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

    ISSN: 0969-9988, 1365-232X
    Veröffentlicht: 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 …”
    Volltext
    Journal Article
  12. 12

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

    ISBN: 9781450343916, 1450343910
    Veröffentlicht: 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 …”
    Volltext
    Tagungsbericht
  13. 13

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

    ISSN: 0304-3975, 1879-2294
    Veröffentlicht: Elsevier B.V 16.11.2015
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  14. 14

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

    ISSN: 1432-7643, 1433-7479
    Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.03.2022
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  15. 15

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

    ISSN: 2352-2208
    Veröffentlicht: 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 …”
    Volltext
    Journal Article
  16. 16

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

    ISSN: 1432-7643, 1433-7479
    Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2020
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  17. 17

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

    ISSN: 1432-7643, 1433-7479
    Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  18. 18

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

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

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

    ISSN: 1432-7643, 1433-7479
    Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.01.2025
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  20. 20

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

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