Výsledky vyhledávání - Mathematical Logic – Logic and constraint programming General Terms

Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models Autor Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet

“… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint…”
Získat plný text

CLP(H): Constraint logic programming for hedges Autor DUNDUA, BESIK, FLORIDO, MÁRIO, KUTSIA, TEMUR, MARIN, MIRCEA

“…CLP(H) is an instantiation of the general constraint logic programming scheme with the constraint domain of hedges…”
Získat plný text

A new algorithm for resolution of the quadratic programming problem with fuzzy relation inequality constraints Autor Abbasi Molai, Ali

“…•A minimization problem of quadratic function with fuzzy relation inequality constraints is studied…”
Získat plný text

Bridging logic and kernel machines Autor Diligenti, Michelangelo, Gori, Marco, Maggini, Marco, Rigutini, Leonardo

“…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…”
Získat plný text

On convex quadratic programs with linear complementarity constraints Autor Bai, Lijie, Mitchell, John E., Pang, Jong-Shi

“…The paper shows that the global resolution of a general convex quadratic program with complementarity constraints (QPCC…”
Získat plný text

Learning programs by learning from failures Autor Cropper, Andrew, Morel, Rolf

“…We describe an inductive logic programming (ILP) approach called learning from failures…”
Získat plný text

Waste management with recourse: An inexact dynamic programming model containing fuzzy boundary intervals in objectives and constraints Autor Tan, Q., Huang, G.H., Cai, Y.P.

“…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…”
Získat plný text

Inexact fuzzy-stochastic constraint-softened programming – A case study for waste management Autor Li, Y.P., Huang, G.H., Yang, Z.F., Chen, X.

“…In this study, an inexact fuzzy-stochastic constraint-softened programming method is developed for municipal solid waste (MSW…”
Získat plný text

A hybrid particle swarm optimization algorithm for satisficing data envelopment analysis under fuzzy chance constraints Autor Meng, Mingqiang

“…•The designed hybrid PSO algorithm outperforms the hybrid GA in terms of runtime and solution quality…”
Získat plný text

Vehicle and Traffic Safety

“…The book is devoted to contemporary issues regarding the safety of motor vehicles and road traffic. It presents the achievements of scientists, specialists,…”
Získat plný text

Comparing constraint programming and mathematical programming approaches to discrete optimisation-the change problem Autor Heipcke, S

“…This paper is aimed at researchers and practitioners in Operational Research who are interested in the new field of Constraint Programming/Constraint Logic Programming…”
Získat plný text

An integrated optimization approach and multi-criteria decision analysis for supporting the waste-management system of the City of Beijing, China Autor Xi, B.D., Su, J., Huang, G.H., Qin, X.S., Jiang, Y.H, Huo, S.L., Ji, D.F., Yao, B.

“…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…”
Získat plný text

Generalized Interval Fuzzy Chance-Constrained Programming Method for Domestic Wastewater Management Under Uncertainty – A Case Study of Kunming, China Autor Dai, C, Cai, Y. P, Liu, Y, Wang, W. J, Guo, H. C

“…In this study, interval mathematical programming (IMP), m λ -measure, and fuzzy chance-constrained programming are incorporated into a general optimization…”
Získat plný text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II Autor Dillig, Isil, Tasiran, Serdar

“…The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019…”
Získat plný text

Stable models and difference logic Autor Niemela, Ilkka

“… Characterizations of stable models in terms of level rankings are developed building on simple linear integer constraints allowed in difference logic…”
Získat plný text

A single period inventory model with imperfect production and stochastic demand under chance and imprecise constraints Autor Panda, D., Kar, S., Maity, K., Maiti, M.

“…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…”
Získat plný text

FSILP: Fuzzy-stochastic-interval linear programming for supporting municipal solid waste management Autor Li, Pu, Chen, Bing

“… coexistence, the solution to the conventional linear programming problems of integrating fuzzy method with the other two was inefficient…”
Získat plný text

Identifying Optimal Water Resources Allocation Strategies through an Interactive Multi-Stage Stochastic Fuzzy Programming Approach Autor Wang, S., Huang, G. H.

“…) 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…”
Získat plný text

Interval-parameter semi-infinite fuzzy-stochastic mixed-integer programming approach for environmental management under multiple uncertainties Autor Guo, P., Huang, G.H.

“…In this study, an interval-parameter semi-infinite fuzzy-chance-constrained mixed-integer linear programming (ISIFCIP…”
Získat plný text

Performance evaluation of meta-heuristic algorithms for designing multi-objective multi-product multi-echelon supply chain network Autor Duffuaa, Salih O., Mohammed, Awsan

“… The exact ε-constraint algorithm embedded in the General Algebraic Modeling System is used to validate the results of the three algorithms…”
Získat plný text