Výsledky vyhledávání - Mathematical Logic-Logic and constraint programming*

FLARE: Fast layout for augmented reality applications Autor 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…”
Získat plný text

The Inductive Constraint Programming Loop Autor 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…”
Získat plný text

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

“…Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages…”
Získat plný text

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

Získat plný text

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

“… Two programming and solving environments, mathematical programming (MP) and constraint logic programming (CLP…”
Získat plný text

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

“… Two ways of mathematical programming (MP) and constraint logic programming (CLP) are integrated in one environment…”
Získat plný text

Hybrid Column Generation Approaches for Urban Transit Crew Management Problems Autor 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…”
Získat plný text

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

“…) and constraint optimization problems (COPs). Two paradigms, CLP (constraint logic programming) and MP (mathematical programming…”
Získat plný text

Implementing type theory in higher order constraint logic programming Autor 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…”
Získat plný text

A constraint-driven approach to food supply chain management Autor 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…”
Získat plný text

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach Autor 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…”
Získat plný text

Combinatorial and global optimization (Series on applied mathematics-vol. 14) Autor Pardalos, Panos M, Migdalas, Athanasios, Burkard, Rainer E

“… Such techniques include global optimization formulations, semidefinite programming, and spectral theory…”
Získat plný text

Constraint logic programming framework for integrated decision supports Autor Ryu, Young U.

“… Constraint logic programming is an integrated paradigm of logic modelling and mathematical programming…”
Získat plný text

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

“… (mathematical programming (MP) and constraint logic programming (CLP)) and two types of agents were integrated…”
Získat plný text

Reconciling pairs of concurrently used clinical practice guidelines using Constraint Logic Programming Autor 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…”
Zjistit podrobnosti o přístupu

Modeling and optimization of multi-echelon transportation systems - A hybrid approach Autor Sitek, Pawel, Stefanski, Tadeusz

“…The efficient and timely distribution of freight goods is critical for supporting the demands of modern urban areas. Optimum freight ensures the survival and…”
Získat plný text

MATHCORE: A MATHematical COnstraint REsolution system Autor Lin, Feng-Tyan

“… (MATHematical COnstraint REsolution) is a constraint logic programming system whose constraint domain is the set of reals…”
Získat plný text

A constraint programming approach for the premarshalling problem Autor 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…”
Získat plný text

A multi-level approach to ubiquitous modeling and solving constraints in combinatorial optimization problems in production and distribution Autor 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…”
Získat plný text

Analysis of the Upland and Beef Mixed Farming by the Fuzzy Linear Programming with Possibility Distribution Coefficient Autor SONG, Jinwoo, KANAYAMA, Toshihisa, KASAHARA, Kozo

“…→practice and evaluation, plays an improtant role in improving the management. The acientific and/or mathematical method at present however, can not deal with fuzzy logic subjectivity of the decision maker…”
Získat plný text