Results 161 to 170 of about 7,040,431 (319)
The Kleene-Rosser Paradox, The Liar's Paradox & A Fuzzy Logic Programming Paradox Imply SAT is (NOT) NP-complete [PDF]
, 2008 Rafee Ebrahim Kamouna
openalex +1 more source
Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers
Argument Comput., 2014 A. García, Guillermo R. Simari
semanticscholar +1 more source
Advanced Materials, EarlyView.This study demonstrates a monolithic perovskite OELG device that performs all eight logic operations, including XOR and XNOR, without external bias. Enabled by trap‐engineered MAPbI3:PLL and dual photogates, it achieves reconfigurable logic and parallel decoding of amplitude–frequency signals, supporting scenario‐configured logic‐level separation for ...
Dante Ahn +13 more
wiley +1 more source
GOLOG: A Logic Programming Language for Dynamic Domains
The Journal of Logic Programming, 1997 H. Levesque +4 more
semanticscholar +1 more source
Remorphable Architectures: Reprogramming Global Bistability through Locally Bistable Metamaterials
Advanced Materials, EarlyView.Local bistable reconfiguration in mechanical metamaterials is leveraged in globally bistable architectures to enable in situ reprogrammable transition pathways through state flip of individual building blocks. The local‐to‐global correspondence of instabilities empowers soft robotic systems with on‐demand morphing traits, as well as aerospace ...
Lei Wu +3 more
wiley +1 more source
Physical Intelligence in Small‐Scale Robots and Machines
Advanced Materials, EarlyView.“Physical intelligence” (PI) empowers biological organisms and artificial machines, especially at the small scales, to perceive, adapt, and even reshape their complex, dynamic, and unstructured operation environments. This review summarizes recent milestones and future directions of PI in small‐scale robots and machines.
Huyue Chen, Metin Sitti
wiley +1 more source
Using Logic Programming to Represent Information Content Inclusion Relations [PDF]
, 2012 Doug Salt, Junkang Feng
openalex +1 more source
Spatiotemporal Reservoir Computing with a Reconfigurable Multifunctional Memristor Array
Advanced Materials, EarlyView.This study presents a hardware physical reservoir computing system using a tri‐modal memristive crossbar array. Stochastic masking, bistable nonlinear activation, and analog readout enable fully in‐memory spatiotemporal processing. Demonstrations on cellular automata, Lorenz prediction, ADHD EEG classification, and chaotic KS modeling highlight its ...
Sungho Kim +10 more
wiley +1 more source