Suchergebnisse - Soft Constraint Logic Programming
-
1
A constraint programming approach for scheduling repetitive projects with atypical activities considering soft logic
ISSN: 0926-5805, 1872-7891Veröffentlicht: Amsterdam Elsevier B.V 01.01.2020Verö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
Soft Constraint Logic Programming and Generalized Shortest Path Problems
ISSN: 1381-1231, 1572-9397Veröffentlicht: Boston Springer Nature B.V 01.01.2002Verö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
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming
ISSN: 1571-0661, 1571-0661Veröffentlicht: Elsevier B.V 06.09.2007Verö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
Soft Constraint Logic Programming for Electric Vehicle Travel Optimization
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 10.12.2012Verö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
A Proof Theoretic Study of Soft Concurrent Constraint Programming
ISSN: 1471-0684, 1475-3081Veröffentlicht: Cambridge, UK Cambridge University Press 01.07.2014Verö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
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 21.04.2008Verö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
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
ISSN: 1571-0661, 1571-0661Veröffentlicht: Elsevier B.V 02.04.2009Verö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
Resource-constrained repetitive project scheduling with soft logic
ISSN: 0969-9988, 1365-232XVeröffentlicht: Bradford Emerald Publishing Limited 28.03.2025Veröffentlicht in Engineering, construction, and architectural management (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
A Formal and Practical Framework for Constraint-Based Routing
Veröffentlicht: IEEE 01.04.2008Verö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
Soft constraint programming to analysing security protocols
ISSN: 1471-0684, 1475-3081Veröffentlicht: Cambridge, UK Cambridge University Press 01.09.2004Verö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
Work continuity constraints in repetitive project scheduling considering soft logic
ISSN: 0969-9988, 1365-232XVeröffentlicht: Bradford Emerald Publishing Limited 25.06.2021Veröffentlicht in Engineering, construction, and architectural management (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
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
ISBN: 9781450343916, 1450343910Veröffentlicht: New York, NY, USA ACM 05.07.2016Veröffentlicht in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (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
Subexponential concurrent constraint programming
ISSN: 0304-3975, 1879-2294Veröffentlicht: Elsevier B.V 16.11.2015Verö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
Constraint programming-based transformation approach for a mixed fuzzy-stochastic resource investment project scheduling problem
ISSN: 1432-7643, 1433-7479Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.03.2022Verö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
Observational and behavioural equivalences for soft concurrent constraint programming
ISSN: 2352-2208Veröffentlicht: Elsevier 01.11.2017Veröffentlicht in Journal of logical and algebraic methods in programming (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
Constraint programming model for resource-constrained assembly line balancing problem
ISSN: 1432-7643, 1433-7479Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2020Verö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
Constraint programming models for the hybrid flow shop scheduling problem and its extensions
ISSN: 1432-7643, 1433-7479Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023Verö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
Adaptive fuzzy dynamic programming (AFDP) technique for linear programming problems lps with fuzzy constraints
ISSN: 1432-7643, 1433-7479Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2023Verö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
A genetic-based approach for vehicle routing problem with fuzzy alpha-cut constraints
ISSN: 1432-7643, 1433-7479Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.01.2025Verö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
Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models
ISSN: 1432-7643, 1433-7479Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023Verö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

