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

