Search Results - (implementations OR implementation) of logic programming

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language by Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

“…The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations…”
Get full text

Implementation of Model Predictive Control in Programmable Logic Controllers by Krupa, Pablo, Limon, Daniel, Alamo, Teodoro

“…)-based controller in programmable logic controllers (PLCs). Automatic code generation of standardized IEC 61131-3 PLC programming languages is used to solve the MPC's optimization problem online…”
Get full text

On the implementation of the probabilistic logic programming language ProbLog by KIMMIG, ANGELIKA, DEMOEN, BART, DE RAEDT, LUC, COSTA, VÍTOR SANTOS, ROCHA, RICARDO

“…The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning…”
Get full text

Identifying Mechanisms of Action for Implementation Strategies Using a Retrospective Implementation Mapping Logic Model Approach by Walker, Timothy J., Are, Funlola, Heredia, Natalia I., Onadeko, Kempson, Saving, Emma E., Kang, Eunyoung, Fernandez, Maria E.

“… Logic models are helpful for understanding and illustrating mechanisms through which implementation strategies operate…”
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 Alternative Delivery (CVRPPAD…”
Get full text

Molecular implementation of simple logic programs by Ran, Tom, Kaplan, Shai, Shapiro, Ehud

“… . Biomolecular implementations of finite automata 8 , 9 and logic gates 4 , 10 , 11 , 12 , 13 have already been developed 14 , 15 , 16 , 17 , 18…”
Get full text

Revisiting the Percentage of K-12 Students in Need of Preventive Interventions in Schools in a “Peri-COVID” Era: Implications for the Implementation of Tiered Programming by Weist, Mark D., Garbacz, Andy, Schultz, Brandon, Bradshaw, Catherine P., Lane, Kathleen Lynne

“… The PBIS framework also emphasizes the use of tiered logic, with strengthened efforts at the universal and selective levels when student behavioral or mental health needs exceed expected levels…”
Get full text

Proximity-Based Unification: An Efficient Implementation Method by Julian-Iranzo, Pascual, Saenz-Perez, Fernando

“… Proximity relations, in combination with the unification algorithm, make possible expressing certain forms of approximate reasoning in a logic programming framework…”
Get full text

Knowledge Implementation and Transfer With an Adaptive Learning Network for Real-Time Power Management of the Plug-in Hybrid Vehicle by Zhou, Quan, Zhao, Dezong, Shuai, Bin, Li, Yanfei, Williams, Huw, Xu, Hongming

“… First, the ANFIS network is built using a new global K-fold fuzzy learning (GKFL) method for real-time implementation of the offline dynamic programming result…”
Get full text

Energy management system for residential buildings based on fuzzy logic: design and implementation in smart‐meter by Chojecki, Adrian, Rodak, Michał, Ambroziak, Arkadiusz, Borkowski, Piotr

“…‐meter. The designed system is based on an original algorithm using fuzzy logic. The rule base was created in FCL language and the implementation was carried out in C++ with the object…”
Get full text

Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits by Charguéraud, Arthur, Pottier, François

“… In order to reason in Coq about imperative OCaml code, we use the CFML tool, which implements Separation Logic for a subset of OCaml, and which we extend with time credits…”
Get full text

Dynamic Choreographies: Theory And Implementation by Preda, Mila Dalla, Gabbrielli, Maurizio, Giallorenzo, Saverio, Lanese, Ivan, Mauro, Jacopo

“…Programming distributed applications free from communication deadlocks and race conditions is complex…”
Get full text

XSB: Extending Prolog with Tabled Logic Programming by SWIFT, TERRANCE, WARREN, DAVID S.

“…The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao…”
Get full text

An efficient propositional system for Abductive Logic Programming by Gavanelli, Marco, Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

“…Abductive logic programming (ALP) extends logic programming with hypothetical reasoning by means of abducibles, an extension able to handle interesting problems, such as diagnosis, planning, and verification with formal methods…”
Get full text

Programmable Threshold Logic Implementations in a Memristor Crossbar Array by Youn, Sangwook, Lee, Jungjin, Kim, Sungjoon, Park, Jinwoo, Kim, Kyuree, Kim, Hyungjin

“…In this study, we demonstrate the implementation of programmable threshold logics using a 32…”
Get full text

Implementation of cascade logic gates and majority logic gate on a simple and universal molecular platform by Gao, Jinting, Liu, Yaqing, Lin, Xiaodong, Deng, Jiankang, Yin, Jinjin, Wang, Shuo

“…Wiring a series of simple logic gates to process complex data is significantly important and a large challenge for untraditional molecular computing systems…”
Get full text

Development of mathematical plant model and implementation of fuzzy logic controller for improved performance of hydrogen fuel cell electric vehicle by Mulik, Rakesh V., Porpatham, Ekambaram, Arumugam, Senthil Kumar

“… It also implements a fuzzy logic controller (FLC) using both Mamdani and Sugeno methods to enhance efficiency, optimize power distribution, and reduce energy losses…”
Get full text

Graphene-based area efficient power planning architecture design methodology for nanomagnetic logic implementation by Sivasubramani, Santhosh, Debroy, Sanghamitra, Ghosh Acharyya, Swati, Acharyya, Amit

“…In this study, we introduce the power planning architecture design for the implementation of Nanomagnetic Logic (NML…”
Get full text

Via-Switch FPGA: 65-nm CMOS Implementation and Evaluation by Bai, Xu, Banno, Naoki, Miyamura, Makoto, Nebashi, Ryusuke, Okamoto, Koichiro, Numata, Hideaki, Iguchi, Noriyuki, Hashimoto, Masanori, Sugibayashi, Tadahiko, Sakamoto, Toshitsugu, Tada, Munehiro

“…). The conventional static random access memory (SRAM) FPGAs face severe challenges including large standby power and low logic density due to utilization of SRAM cell and MOS switch for signal routing…”
Get full text

GPR: A Python implementation of an extremely simple classifier based on fuzzy logic and gene expression programming by Czmil, Anna, Kluska, Jacek, Czmil, Sylwester

“…In this work, we present a Python-based implementation of an extremely simple classifier (GPR…”
Get full text