Výsledky vyhľadávania - Soft Constraint Logic Programming
-
1
A constraint programming approach for scheduling repetitive projects with atypical activities considering soft logic
ISSN: 0926-5805, 1872-7891Vydavateľské údaje: Amsterdam Elsevier B.V 01.01.2020Vydané v Automation in construction (01.01.2020)“… As such, this paper develops a flexible repetitive scheduling model by integrating soft logic into time-cost tradeoff…”
Získať plný text
Journal Article -
2
Soft Constraint Logic Programming and Generalized Shortest Path Problems
ISSN: 1381-1231, 1572-9397Vydavateľské údaje: Boston Springer Nature B.V 01.01.2002Vydané v 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…”
Získať plný 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-0661Vydavateľské údaje: Elsevier B.V 06.09.2007Vydané v 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…”
Získať plný text
Journal Article -
4
Soft Constraint Logic Programming for Electric Vehicle Travel Optimization
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 10.12.2012Vydané v 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…”
Získať plný text
Paper -
5
A Proof Theoretic Study of Soft Concurrent Constraint Programming
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.07.2014Vydané v 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…”
Získať plný text
Journal Article -
6
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 21.04.2008Vydané v arXiv.org (21.04.2008)“…). The second step consists in writing this graph as a program in Soft Constraint Logic Programming (SCLP…”
Získať plný text
Paper -
7
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
ISSN: 1571-0661, 1571-0661Vydavateľské údaje: Elsevier B.V 02.04.2009Vydané v 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…”
Získať plný text
Journal Article -
8
Resource-constrained repetitive project scheduling with soft logic
ISSN: 0969-9988, 1365-232XVydavateľské údaje: Bradford Emerald Publishing Limited 28.03.2025Vydané v 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…”
Získať plný text
Journal Article -
9
A Formal and Practical Framework for Constraint-Based Routing
Vydavateľské údaje: IEEE 01.04.2008Vydané v 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…”
Získať plný text
Konferenčný príspevok.. -
10
Soft constraint programming to analysing security protocols
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.09.2004Vydané v 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…”
Získať plný text
Journal Article -
11
Work continuity constraints in repetitive project scheduling considering soft logic
ISSN: 0969-9988, 1365-232XVydavateľské údaje: Bradford Emerald Publishing Limited 25.06.2021Vydané v 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…”
Získať plný text
Journal Article -
12
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
ISBN: 9781450343916, 1450343910Vydavateľské údaje: New York, NY, USA ACM 05.07.2016Vydané v 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…”
Získať plný text
Konferenčný príspevok.. -
13
Subexponential concurrent constraint programming
ISSN: 0304-3975, 1879-2294Vydavateľské údaje: Elsevier B.V 16.11.2015Vydané v 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…”
Získať plný text
Journal Article -
14
Constraint programming-based transformation approach for a mixed fuzzy-stochastic resource investment project scheduling problem
ISSN: 1432-7643, 1433-7479Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.03.2022Vydané v 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…”
Získať plný text
Journal Article -
15
Observational and behavioural equivalences for soft concurrent constraint programming
ISSN: 2352-2208Vydavateľské údaje: Elsevier 01.11.2017Vydané v 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…”
Získať plný text
Journal Article -
16
Constraint programming model for resource-constrained assembly line balancing problem
ISSN: 1432-7643, 1433-7479Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2020Vydané v 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…”
Získať plný text
Journal Article -
17
Constraint programming models for the hybrid flow shop scheduling problem and its extensions
ISSN: 1432-7643, 1433-7479Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023Vydané v 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…”
Získať plný text
Journal Article -
18
Adaptive fuzzy dynamic programming (AFDP) technique for linear programming problems lps with fuzzy constraints
ISSN: 1432-7643, 1433-7479Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2023Vydané v Soft computing (Berlin, Germany) (01.10.2023)“…An adaptive fuzzy dynamic programming technique is proposed to solve linear programming problems having fuzzy constraints…”
Získať plný text
Journal Article -
19
A genetic-based approach for vehicle routing problem with fuzzy alpha-cut constraints
ISSN: 1432-7643, 1433-7479Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.01.2025Vydané v 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…”
Získať plný text
Journal Article -
20
Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models
ISSN: 1432-7643, 1433-7479Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023Vydané v Soft computing (Berlin, Germany) (01.12.2023)“… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint…”
Získať plný text
Journal Article

