Results 81 to 90 of about 575,998 (339)
Theory and Practice of Logic Programming, 2003 To appear in Special Issue of the Theory and Practice of Logic Programming Journal on Answer Set Programming ...
Vladimir Lifschitz, Esra Erdem
openaire +3 more sources
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
Syntax and semantics of multi-adjoint normal logic programming [PDF]
Fuzzy Sets and Systems 345 (2018) 41-62Multi-adjoint logic programming is a general framework with interesting features, which involves other positive logic programming frameworks such as monotonic and residuated logic programming, generalized annotated logic programs, fuzzy logic programming and possibilistic logic programming.
arxiv +1 more source
Advanced Functional Materials, EarlyView.Electric control of magnetic tunnel junctions offers a path to drastically reduce the energy requirements of the device. Electric field control of magnetization can be realized in a multitude of ways. These mechanisms can be integrated into existing spintronic devices to further reduce the operational energy.
Will Echtenkamp +7 more
wiley +1 more source
Logic programming extensions of Horn clause logic
Le Matematiche, 1988 Logic programming is now firmly established as an alternative programming paradigm, distinct and arguably superior to the still dominant imperative style of, for instance, the Algol family of languages.
Ron Sigal
doaj
International Journal for Simulation and Multidisciplinary Design Optimization, 2020 Election algorithm (EA) is a novel metaheuristics optimization model motivated by phenomena of the socio-political mechanism of presidential election conducted in many countries.
Abubakar Hamza +3 more
doaj +1 more source
A Compiler for Ordered Logic Programs [PDF]
arXiv, 2000 This paper describes a system, called PLP, for compiling ordered logic programs into standard logic programs under the answer set semantics. In an ordered logic program, rules are named by unique terms, and preferences among rules are given by a set of dedicated atoms.
arxiv
Constraint-Logic Object-Oriented Programming with Free Arrays [PDF]
arXiv, 2020 Constraint-logic object-oriented programming provides a useful symbiosis between object-oriented programming and constraint-logic search. The ability to use logic variables, constraints, non-deterministic search, and object-oriented programming in an integrated way facilitates the combination of search-related program parts and other business logic in ...
arxiv
Transforming normal logic programs to constraint logic programs
Theoretical Computer Science, 1992 AbstractA normal logic program P is transformed to another Pω by a bottom-up computation on the positive component of P while the negative counterpart is left untouched. The declarative semantics of P is given by the completion of Pω. The completed predicate definitions in Pω, if they do not contain local variables, can be used as a basis for expanding
Peter J. Stuckey, Kanchana Kanchanasut
openaire +2 more sources
Transducer Materials Mediated Deep Brain Stimulation in Neurological Disorders
Advanced Functional Materials, EarlyView.This review discusses advanced transducer materials for improving deep brain stimulation (DBS) in neurological disorders. These materials respond to light, ultrasound, or magnetic fields, enabling precise, less invasive neuromodulation. Their stimulus‐responsive properties enhance neural control and adaptive therapy, paving the way for next‐generation ...
Di Zhao +5 more
wiley +1 more source