Suchergebnisse - Mathematical Logic- logic programming

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

MATHEMATICAL LOGIC AND PROGRAMMING von 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 …”
Volltext

The Inductive Constraint Programming Loop von 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 …”
Volltext

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

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

Puzzle—More Logic Puzzle Apps Solved by Mathematical Programming von 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 …”
Volltext

Mathematical applications of inductive logic programming von 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 …”
Volltext

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

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

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

Integration between Mathematical Programming and Fuzzy Logic to Optimize Consumers Behavior von 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 …”
Volltext

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

Volltext

A multi-level approach to ubiquitous modeling and solving constraints in combinatorial optimization problems in production and distribution von 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 …”
Volltext

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

Implementing type theory in higher order constraint logic programming von 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 …”
Volltext

Work continuity constraints in repetitive project scheduling considering soft logic von 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 …”
Volltext

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

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach von 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 …”
Volltext

FLARE: Fast layout for augmented reality applications von 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 …”
Volltext

An Optimal Management Model for Empty Freight Railcars in Transport Nodes von 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 …”
Volltext

A constraint-driven approach to food supply chain management von 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) …”
Volltext

Solving a Logic Puzzle via Mathematical Programming von 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 …”
Volltext