Search Results - Mathematical Logic- logic programming

Mathematical Aspects of Logic Programming Semantics by 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…”
Get full text

MATHEMATICAL LOGIC AND PROGRAMMING by 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…”
Get full text

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

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

“…). The purpose is to provide interesting examples and exercises for teaching mathematical programming in operations research and management science lectures…”
Get full text

Puzzle—More Logic Puzzle Apps Solved by Mathematical Programming by 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…”
Get full text

Mathematical applications of inductive logic programming by 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…”
Get full text

Mathematical Aspects of Logic Programming Semantics by 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…”
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

Integration between Mathematical Programming and Fuzzy Logic to Optimize Consumers Behavior by 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…”
Get full text

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

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

Logic-based Benders decomposition by 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…”
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

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

Mathematical Programming Embeddings of Logic by 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…”
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

FLARE: Fast layout for augmented reality applications by 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…”
Get full text

An Optimal Management Model for Empty Freight Railcars in Transport Nodes by 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…”
Get full text

A constraint-driven approach to food supply chain management by 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)…”
Get full text

Solving a Logic Puzzle via Mathematical Programming by 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…”
Get full text