Search Results - Linear logic programming

Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming by Cabrero-Holgueras, José, Pastrana, Sergio

“…Homomorphic Encryption (HE) is a set of powerful properties of certain cryptosystems that allow privacy-preserving operation over the encrypted text. Still, HE…”
Get full text

Fuzzy Logic and Linear Programming-Based Power Grid-Enhanced Economical Dispatch for Sustainable and Stable Grid Operation in Eastern Mexico by López-Garza, Esmeralda, Domínguez-Cruz, René Fernando, Martell-Chávez, Fernando, Salgado-Tránsito, Iván

“… This study proposes a hybrid rational economic dispatch model that combines a cost minimization linear model enhanced with a fuzzy logic system for decision-making on wind and hydropower minimum…”
Get full text

A Linear Logic Programming Language for Concurrent Programming over Graph Structures by CRUZ, FLAVIO, ROCHA, RICARDO, GOLDSTEIN, SETH COPEN, PFENNING, FRANK

“…We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion…”
Get full text

Formulation and sensory characterization of low-cost, high-energy, nutritious cookies for undernourished adolescents: An approach using linear programming and fuzzy logic by Varghese, Cinu, Srivastav, Prem Prakash

“… The underutilized ingredients finger millet, jackfruit seed powder, moringa powder, soy protein isolate, icing sugar, and oil were optimized using linear programming (LP…”
Get full text

Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic by Mahmoud, Mohamed Yousri, Felty, Amy P.

“… In this work, we extend the system with a linear specification logic (SL) in order to reason about the linear type system of Quipper…”
Get full text

Designing unit Ising models for logic gate simulation through integer linear programming by Tsukiyama, Shunsuke, Nakano, Koji, Parque, Victor, Ito, Yasuaki, Kato, Takumi, Kawamata, Yuya, Ii, Kaiki

“… A fixed unit Ising model for logic circuits could lead to Application-Specific Unit Quantum Annealers (ASUQAs…”
Get full text

Distributed concurrent linear logic programming by Kobayashi, Naoki, Shimizu, Toshihiro, Yonezawa, Akinori

“…We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation…”
Get full text

Water and Energy Management based on Fuzzy Logic and Linear Programming for a Photovoltaic/ Wind/Battery Pumping System in Rural Environment by Oumar, Cisse, Mouhamadou Falilou, Ndiaye, Willy Magloire, Nkounga, Pape A., Ndiaye, Alexandre, Sioutas

“… The proposed strategy is based on the pump power modulation. The fuzzy logic is used to define the pump's rate power…”
Get full text

A linear programming framework for logics of uncertainty by Andersen, K.A., Hooker, J.N.

“… We show that these logics are instances of a certain type of linear programming model, typically with exponentially many variables…”
Get full text

Resolving Logical Contradictions in Description Logic Ontologies Based on Integer Linear Programming by Ji, Qiu, Boutouhami, Khaoula, Qi, Guilin

“… In this paper, we propose a mathematic approach based on integer linear programming, which is an optimization problem of maximizing or minimizing a linear objective function, to deal with DL ontologies…”
Get full text

A hybrid approach of linear programming and logic modeling for the market core of sealed bid auctions by Geun Lee, Ho, Lee, Ronald M.

Get full text

A Static Analysis Method for a Classical Linear Logic Programming Language by Kang, Kyoung-Sim, Tamura, Naoyuki

“…In this paper, we propose a new static analysis method which is applicable for a classical linear logic programming language. Andreoli et al…”
Get full text

Fuzzy logic, logic programming, and linear logic: towards a new understanding of common sense by Nguyen, H.T., Kreinovich, V.

“…Fuzzy logic was originally proposed as a tool for describing human reasoning. Currently, the main area of applications of fuzzy logic is in fuzzy control, where the choice of logic is usually motivated not by logical considerations (i.e…”
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 Linear Logic Programming Language for Concurrent Programming over Graph Structures by Cruz, Flavio, Rocha, Ricardo, Goldstein, Seth Copen, Pfenning, Frank

“…We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion…”
Get full text

Maximum Matching and Linear Programming in Fixed-Point Logic with Counting by Anderson, Matthew, Dawar, Anuj, Holm, Bjarki

“…We establish the expressibility in fixed-point logic with counting (FPC) of a number of natural polynomial-time problems…”
Get full text

Static analysis of Linear Logic programming by Andreoli, Jean -Marc, Pareschi, Remo, Castagnetti, Tiziana

“…Linear Logic is gaining momentum in computer science because it offers a unified framework and a common vocabulary for studying and analyzing different aspects of programming and computation…”
Get full text

Towards Automated Homomorphic Encryption Parameter Selection with Fuzzy Logic and Linear Programming by Cabrero-Holgueras, José, Pastrana, Sergio

“…Homomorphic Encryption (HE) is a set of powerful properties of certain cryptosystems that allow for privacy-preserving operation over the encrypted text…”
Get full text

Random logic programs: Linear model by WANG, KEWEN, WEN, LIAN, MU, KEDIAN

“…This paper proposes a model, the linear model, for randomly generating logic programs with low density of rules and investigates statistical properties of such random logic programs…”
Get full text

A Survey of the Proof-Theoretic Foundations of Logic Programming by MILLER, DALE

“… Researchers have been using this foundation for the past 35 years to elevate logic programming from its roots in first-order classical logic into higher-order versions of intuitionistic and linear logic…”
Get full text