Search Results - Mathematical Logic – Logic and constraint programming General Terms
-
1
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 -
2
CLP(H): Constraint logic programming for hedges
ISSN: 1471-0684, 1475-3081Published: Cambridge, UK Cambridge University Press 01.03.2016Published in Theory and practice of logic programming (01.03.2016)“…CLP(H) is an instantiation of the general constraint logic programming scheme with the constraint domain of hedges…”
Get full text
Journal Article -
3
A new algorithm for resolution of the quadratic programming problem with fuzzy relation inequality constraints
ISSN: 0360-8352, 1879-0550Published: New York Elsevier Ltd 01.06.2014Published in Computers & industrial engineering (01.06.2014)“…•A minimization problem of quadratic function with fuzzy relation inequality constraints is studied…”
Get full text
Journal Article -
4
Bridging logic and kernel machines
ISSN: 0885-6125, 1573-0565Published: Boston Springer US 01.01.2012Published in Machine learning (01.01.2012)“…We propose a general framework to incorporate first-order logic (FOL) clauses, that are thought of as an abstract and partial representation of the environment, into kernel machines that learn within a semi-supervised scheme…”
Get full text
Journal Article -
5
On convex quadratic programs with linear complementarity constraints
ISSN: 0926-6003, 1573-2894Published: Boston Springer US 01.04.2013Published in Computational optimization and applications (01.04.2013)“…The paper shows that the global resolution of a general convex quadratic program with complementarity constraints (QPCC…”
Get full text
Journal Article -
6
Learning programs by learning from failures
ISSN: 0885-6125, 1573-0565Published: New York Springer US 01.04.2021Published in Machine learning (01.04.2021)“…We describe an inductive logic programming (ILP) approach called learning from failures…”
Get full text
Journal Article -
7
Waste management with recourse: An inexact dynamic programming model containing fuzzy boundary intervals in objectives and constraints
ISSN: 0301-4797, 1095-8630, 1095-8630Published: Kidlington Elsevier Ltd 01.09.2010Published in Journal of environmental management (01.09.2010)“…The existing inexact optimization methods based on interval-parameter linear programming can hardly address problems where coefficients in objective functions are subject to dual uncertainties…”
Get full text
Journal Article -
8
Inexact fuzzy-stochastic constraint-softened programming – A case study for waste management
ISSN: 0956-053X, 1879-2456Published: Kidlington Elsevier Ltd 01.07.2009Published in Waste management (Elmsford) (01.07.2009)“…In this study, an inexact fuzzy-stochastic constraint-softened programming method is developed for municipal solid waste (MSW…”
Get full text
Journal Article -
9
A hybrid particle swarm optimization algorithm for satisficing data envelopment analysis under fuzzy chance constraints
ISSN: 0957-4174, 1873-6793Published: Amsterdam Elsevier Ltd 01.03.2014Published in Expert systems with applications (01.03.2014)“…•The designed hybrid PSO algorithm outperforms the hybrid GA in terms of runtime and solution quality…”
Get full text
Journal Article -
10
Vehicle and Traffic Safety
ISBN: 3036556036, 9783036556048, 3036556044, 9783036556031Published: Basel MDPI - Multidisciplinary Digital Publishing Institute 2022“…The book is devoted to contemporary issues regarding the safety of motor vehicles and road traffic. It presents the achievements of scientists, specialists,…”
Get full text
eBook -
11
Comparing constraint programming and mathematical programming approaches to discrete optimisation-the change problem
ISSN: 0160-5682, 1476-9360Published: London Taylor & Francis 01.06.1999Published in The Journal of the Operational Research Society (01.06.1999)“…This paper is aimed at researchers and practitioners in Operational Research who are interested in the new field of Constraint Programming/Constraint Logic Programming…”
Get full text
Journal Article -
12
An integrated optimization approach and multi-criteria decision analysis for supporting the waste-management system of the City of Beijing, China
ISSN: 0952-1976, 1873-6769Published: Elsevier Ltd 01.06.2010Published in Engineering applications of artificial intelligence (01.06.2010)“…An inexact chance-constrained mixed-integer linear programming (ICMILP) model was provided for supporting long-term planning of solid waste management in the City of Beijing, China…”
Get full text
Journal Article -
13
Generalized Interval Fuzzy Chance-Constrained Programming Method for Domestic Wastewater Management Under Uncertainty – A Case Study of Kunming, China
ISSN: 0920-4741, 1573-1650Published: Dordrecht Springer-Verlag 01.07.2015Published in Water resources management (01.07.2015)“…In this study, interval mathematical programming (IMP), m λ -measure, and fuzzy chance-constrained programming are incorporated into a general optimization…”
Get full text
Journal Article -
14
Stable models and difference logic
ISSN: 1012-2443, 1573-7470Published: Dordrecht Springer Netherlands 01.08.2008Published in Annals of mathematics and artificial intelligence (01.08.2008)“… Characterizations of stable models in terms of level rankings are developed building on simple linear integer constraints allowed in difference logic…”
Get full text
Journal Article -
15
A single period inventory model with imperfect production and stochastic demand under chance and imprecise constraints
ISSN: 0377-2217, 1872-6860Published: Amsterdam Elsevier B.V 01.07.2008Published in European journal of operational research (01.07.2008)“…This paper develops a mathematical model for a single period multi-product manufacturing system of stochastically imperfect items with continuous stochastic demand under budget and shortage constraints…”
Get full text
Journal Article -
16
FSILP: Fuzzy-stochastic-interval linear programming for supporting municipal solid waste management
ISSN: 0301-4797, 1095-8630, 1095-8630Published: Kidlington Elsevier Ltd 01.04.2011Published in Journal of environmental management (01.04.2011)“… coexistence, the solution to the conventional linear programming problems of integrating fuzzy method with the other two was inefficient…”
Get full text
Journal Article -
17
Identifying Optimal Water Resources Allocation Strategies through an Interactive Multi-Stage Stochastic Fuzzy Programming Approach
ISSN: 0920-4741, 1573-1650Published: Dordrecht Springer Netherlands 01.05.2012Published in Water resources management (01.05.2012)“…) method within an inexact multi-stage stochastic programming framework. IMSFP can deal with dual uncertainties expressed as fuzzy boundary intervals that exist in the objective function and the left- and right-hand sides of constraints…”
Get full text
Journal Article -
18
Interval-parameter semi-infinite fuzzy-stochastic mixed-integer programming approach for environmental management under multiple uncertainties
ISSN: 0956-053X, 1879-2456, 1879-2456Published: Kidlington Elsevier Ltd 01.03.2010Published in Waste management (Elmsford) (01.03.2010)“…In this study, an interval-parameter semi-infinite fuzzy-chance-constrained mixed-integer linear programming (ISIFCIP…”
Get full text
Journal Article -
19
Performance evaluation of meta-heuristic algorithms for designing multi-objective multi-product multi-echelon supply chain network
ISSN: 1432-7643, 1433-7479Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.09.2023Published in Soft computing (Berlin, Germany) (01.09.2023)“… The exact ε-constraint algorithm embedded in the General Algebraic Modeling System is used to validate the results of the three algorithms…”
Get full text
Journal Article -
20
Assessing the interactions amongst index tracking model formulations and genetic algorithm approaches with different rebalancing strategies
ISSN: 1432-7643, 1433-7479Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.03.2024Published in Soft computing (Berlin, Germany) (01.03.2024)“… When considering a large number of assets, including all of them on the solution may incur high transaction fees, harming the accumulated returns in the long term…”
Get full text
Journal Article

