Results 71 to 80 of about 471,293 (319)

Logic programming with equations

The Journal of Logic Programming, 1987
This paper is a contribution to the amalgamation of logic programming (as embodied in PROLOG and functional programming (as embodied in languages like SASL, KRC, HOPE, or in dialects of LISP like LISPKIT LISP or SCHEME). We investigate how equational rewriting, which we assume is an adequate model for functional programming, can be performed within the
Keitaro Yukawa, Maarten H. van Emden
openaire   +3 more sources

Logic programming with satisfiability [PDF]

Theory and Practice of Logic Programming, 2008
Abstract This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming for encoding search problems into satisfiability on the one hand and efficient SAT solving on the other.
Michael Codish, Vitaly Lagoon, Peter J. Stuckey   +2 more
openaire   +2 more sources

Ultrasoft Iontronics: Stretchable Diodes Enabled by Ionically Conductive Bottlebrush Elastomers

Advanced Functional Materials, EarlyView.
This work introduces a solvent‐free, ultrasoft, and stretchable ionic diode based on oppositely charged bottlebrush elastomers (BBEs). The BBE diode exhibits an ultralow Young's modulus (<23 kPa), a high rectification ratio of 46, and stretchability over 400%.
Xia Wu, Pengfei Xu, Zefang Zhang, Qi Yang, Xi Huang, Peng Pan, Xinyu Liu   +6 more
wiley   +1 more source

Logic Macroprogramming for Wireless Sensor Networks

International Journal of Distributed Sensor Networks, 2012
It is notoriously difficult and tedious to program wireless sensor networks (WSNs). To simplify WSN programming, we propose Sense2P, a logic macroprogramming system for abstracting, programming, and using WSNs as globally deductive databases.
Supasate Choochaisri, Nuttanart Pornprasitsakul, Chalermek Intanagonwiwat   +2 more
doaj   +1 more source

Constraint Logic Programming approach to protein structure prediction

BMC Bioinformatics, 2004
Background The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information and/or simplified protein models.
Fogolari Federico, Dovier Agostino, Dal Palù Alessandro   +2 more
doaj   +1 more source

Canonical logic programs

The Journal of Logic Programming, 1986
Summary: Consider the class of programs P where the greatest fixpoint of \(T_ P\) is equal to the complement of the finite failure set of P. Programs in this class possess some important properties which others do not. The main result in this paper proves that this class is representative of all programs.
Joxan Jaffar, Peter J. Stuckey
openaire   +3 more sources

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

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, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Probabilistic logic programming

Information and Computation, 1992
The logic programming language for expressing a probabilistic information is proposed. \(P\)-programs are finite sets of clauses of a special kind: the head of a clause is an atomic formula loaded by a closed interval \([a,b]\), and the body is a set of formulae (not only atomic) which are loaded by closed intervals too. The formula \(F:[a,b]\) denotes
Raymond T. Ng, V. S. Subrahmanian
openaire   +3 more sources

Prospects of Electric Field Control in Perpendicular Magnetic Tunnel Junctions and Emerging 2D Spintronics for Ultralow Energy Memory and Logic Devices

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, Brahmdutta Dixit, Yifei Yang, Deyuan Lyu, Thomas Peterson, Qi Jia, Yu‐Chia Chen, Jian‐Ping Wang   +7 more
wiley   +1 more source

Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic

Bulletin of the Section of Logic, 2023
Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS).
Alexander V. Gheorghiu, David J. Pym
doaj   +1 more source