mccormick.northwestern.edu

COMP_SCI 496: Logic In AI

The goal of this topics course is to study the foundations of different types of logics used commonly in artificial intelligence. Logic forms the basis for many types of reasoning used by humans – ...
IEEE

Sensorless Speed Control of Induction Motor Drives Using Reinforcement Learning and Self-Tuning Simplified Fuzzy Logic Controller

Abstract: Fuzzy logic controls (FLCs) have emerged as a promising solution for speed regulation in induction motor (IM) drives, offering adaptability to non-linearities, parameter variations, and ...
IEEE

Efficient Cartesian Genetic Programming-Based Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits

Abstract: Reversible computing has garnered significant attention as a promising avenue for achieving energy-efficient computing systems, particularly within the realm of quantum computing. The ...
GitHub

inductive-logic-programming

Lean4 is a purely functional programming language based on the calculus of constructions with inductive types. Formal verification of claims are expressed in precise mathematical terms.