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

