Search Results - Mathematical Logic— logic AND constraint programming~

The Inductive Constraint Programming Loop by BESSIERE, Christian, de Raedt, Luc, Guns, Tias, Kotthoff, Lars, Nanni, Mirco, Nijssen, Siegfried, O'Sullivan, Barry, Paparrizou, Anastasia, Pedreschi, Dino, Simonis, Helmut

“…Constraint programming is used for a variety of real-world optimization problems, such as planning, scheduling and resource allocation problems…”
Get full text

Implementing type theory in higher order constraint logic programming by GUIDI, FERRUCCIO, SACERDOTI COEN, CLAUDIO, TASSI, ENRICO

“…In this paper, we are interested in high-level programming languages to implement the core components of an interactive theorem prover for a dependently typed language: the kernel…”
Get full text

A constraint-driven approach to food supply chain management by Sitek, Pawel, Wikarek, Jaroslaw, Nielsen, Peter

“… The use of a declarative approach that additionally includes constraint satisfaction problems and provides an opportunity of fast and easy modeling of constrains different in type and character…”
Get full text

FLARE: Fast layout for augmented reality applications by Gal, Ran, Shapira, Lior, Ofek, Eyal, Kohli, Pushmeet

“… We propose a rule-based framework for generating object layouts for AR applications. Under our framework, the developer of an AR application specifies a set of rules (constraints…”
Get full text

A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems by Sitek, Paweł, Wikarek, Jarosław

“…) and constraint optimization problems (COPs). Two paradigms, CLP (constraint logic programming) and MP (mathematical programming…”
Get full text

Declarative Logic Programming: Theory, Systems, and Applications by Michael, Kifer, Liu, Yanhong

“…Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages…”
Get full text

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach by Sitek, Pawel, Wikarek, Jarosław

“…The paper presents an optimization model and its implementation using a hybrid approach for the Capacitated Vehicle Routing Problem with Pick-up and…”
Get full text

Parallelism and Implementation of Logic and Constraint Logic Programming by Ostebee, Arnold

Get full text

A Hybrid Method for Modeling and Solving Supply Chain Optimization Problems with Soft and Logical Constraints by Sitek, Paweł, Wikarek, Jarosław, Bzdyra, Krzysztof

“… Two programming and solving environments, mathematical programming (MP) and constraint logic programming (CLP…”
Get full text

A Hybrid Approach to the Optimization of Multiechelon Systems by Sitek, Paweł, Wikarek, Jarosław

“… Two ways of mathematical programming (MP) and constraint logic programming (CLP) are integrated in one environment…”
Get full text

A multi-level approach to ubiquitous modeling and solving constraints in combinatorial optimization problems in production and distribution by Sitek, Paweł, Wikarek, Jarosław

“… It is versatile and effective owing to the use of multi-level presolving and multiple paradigms, such as constraint programming, logic programming, mathematical programming and fuzzy logic…”
Get full text

Hybrid Column Generation Approaches for Urban Transit Crew Management Problems by Yunes, Tallys H, Moura, Arnaldo V, de Souza, Cid C

“…) and constraint logic programming (CLP) approaches. In addition, we developed hybrid column generation algorithms for solving these problems, combining MP and CLP…”
Get full text

Lifting symmetry breaking constraints with inductive logic programming by Tarzariol, Alice, Gebser, Martin, Schekotihin, Konstantin

“… Most of the existing approaches are instance-specific and focus on the automatic computation of Symmetry Breaking Constraints (SBCs…”
Get full text

Reconciling pairs of concurrently used clinical practice guidelines using Constraint Logic Programming by Wilk, Szymon, Michalowski, Martin, Michalowski, Wojtek, Hing, Marisela Mainegra, Farion, Ken

“… We propose an automatic procedure that constructs a mathematical guideline model using the Constraint Logic Programming (CLP…”
Get more information

A Hybrid Multi-agent Approach to the Solving Supply Chain Problems by Sitek, Paweł, Nielsen, Izabela Ewa, Wikarek, Jarosław

“… (mathematical programming (MP) and constraint logic programming (CLP)) and two types of agents were integrated…”
Get full text

Constraint Answer Set Programming without Grounding by ARIAS, JOAQUIN, CARRO, MANUEL, SALAZAR, ELMER, MARPLE, KYLE, GUPTA, GOPAL

“…Extending ASP with constraints (CASP) enhances its expressiveness and performance…”
Get full text

Work continuity constraints in repetitive project scheduling considering soft logic by Zou, Xin, Wu, Guangchuan, Zhang, Qian

“… 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

Modified Noise-Immune Fuzzy Neural Network for Solving the Quadratic Programming With Equality Constraint Problem by Dai, Jianhua, Luo, Liu, Xiao, Lin, Jia, Lei, Cao, Penglin, Li, Jichun, Krasnogor, Natalio, Wang, Yaonan

“…Quadratic programming with equality constraint (QPEC) problems have extensive applicability in many industries as a versatile nonlinear programming modeling tool…”
Get full text

A constraint programming approach for the premarshalling problem by Jiménez-Piqueras, Celia, Ruiz, Rubén, Parreño-Torres, Consuelo, Alvarez-Valdes, Ramon

“…•Constraint programming differs in model construction logic from mathematical models.•We evaluate the performance of our proposal with an extensive computational study…”
Get full text

Integrating answer set programming and constraint logic programming by Mellarkod, Veena S., Gelfond, Michael, Zhang, Yuanlin

“… The algorithm does not require full grounding of a program and combines “classical” ASP solving methods with constraint logic programming techniques and CR-Prolog based abduction…”
Get full text