Výsledky vyhľadávania - Mathematical Logic- logic programming

Mathematical Aspects of Logic Programming Semantics Autor Hitzler, Pascal, Seda, Anthony

“…Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs…”
Získať plný text

MATHEMATICAL LOGIC AND PROGRAMMING Autor RAGALYTĖ, Birutė

“…The article presents the history of the emergence of mathematical logic. It is analyzed what is the meaning and application of mathematical logic in programming…”
Získať 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ískať plný text

More Logic Puzzle Apps Solved by Mathematical Programming Autor Hartmann, Sonke

“…). The purpose is to provide interesting examples and exercises for teaching mathematical programming in operations research and management science lectures…”
Získať plný text

Puzzle—More Logic Puzzle Apps Solved by Mathematical Programming Autor Hartmann, Sönke

“… (a MathProg implementation is available as well). The purpose is to provide interesting examples and exercises for teaching mathematical programming in operations research and management science lectures…”
Získať plný text

Mathematical applications of inductive logic programming Autor Colton, Simon, Muggleton, Stephen

“…: Tamás Horváth and Akihiro Yamamoto; ILP-2004 Guest Editors: Rui Camacho, Ross King and Ashwin Srinivasan The application of Inductive Logic Programming to scientific datasets has been highly successful…”
Získať plný text

Mathematical Aspects of Logic Programming Semantics Autor Hitzler, Pascal, Seda, Anthony

“…Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs…”
Získať 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ískať plný text

Integration between Mathematical Programming and Fuzzy Logic to Optimize Consumers Behavior Autor Fazlollahtabar, Hamed, Tehranchian, Amir Mansoor

“… Consequently, the optimization is done applying mathematical nonlinear programming. Some analysis is performed as sensitivity study. A case study is conducted to verify the applicability and effectiveness of the proposed methodology…”
Získať plný text

Integration between Mathematical Programming and Fuzzy Logic to Optimize Consumers Behavior Autor Fazlollahtabar, Hamed, Tehranchian, Amir Mansoor

Získať 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ískať plný text

Logic-based Benders decomposition Autor Hooker, J.N., Ottosson, G.

“… The key is to generalize the linear programming dual used in the classical method to an ``inference dual.'' Solution of the inference dual takes the form of a logical deduction that yields Benders cuts…”
Získať 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ískať plný text

Work continuity constraints in repetitive project scheduling considering soft logic Autor 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…”
Získať plný text

Mathematical Programming Embeddings of Logic Autor Borkar, Vivek S., Chandru, Vijay, Mitter, Sanjoy K.

“… In the case of predicate logic, there have been successes in adapting mathematical programming schemes to realize new algorithms for theorem proving using partial instantiation techniques…”
Získať 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ískať plný text

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

“…Creating a layout for an augmented reality (AR) application which embeds virtual objects in a physical environment is difficult as it must adapt to any…”
Získať plný text

An Optimal Management Model for Empty Freight Railcars in Transport Nodes Autor Rakhmangulov, Aleksadr, Osintsev, Nikita, Muravev, Dmitri, Legusov, Alexander

“…The paper presents the actual problem of increasing the efficiency of empty railcars management in rail nodes. This problem lies in considering the set of…”
Získať plný text

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

“…Purpose The purpose of this paper is the need to build a novel approach that would allow flexible modeling and solving of food supply chain management (FSCM)…”
Získať plný text

Solving a Logic Puzzle via Mathematical Programming Autor Saltzman, Robert M, Kohler, David

“…Explores the relative strengths and weaknesses of the spreadsheet approach versus specialized mathematical programming software for solving a particular logic…”
Získať plný text