Results 131 to 140 of about 3,597,563 (258)

Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation [PDF]

Zhouhao Sun, Xiao Ding, Li Du, B. Cai, Jinglong Gao, Ting Liu, Bing Qin   +6 more
openalex   +1 more source

SyBValS: a validation and error resolution service for biological pathway maps. [PDF]

BMC Genomics
Ozgul YZ, Dogrusoz U, Balci H.
europepmc   +1 more source

Towards lazy evaluation, sharing, and non-determinism in resolution based functional logic languages [PDF]

, 1993
Feixiong Liu
openalex   +1 more source

Nature's chemical computer: Herbal residue-derived carbon dots build logic gates for H₂O₂ tracking and ecological antimicrobials. [PDF]

Mater Today Bio
Hou X, Ao D, Ga L, Dai G, Ai J.
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Ciardelli I.
europepmc   +1 more source

Flexible monolithic 3D complementary circuits based on 2D semiconductor inks. [PDF]

Nat Commun
Zou T, Heo S, Reo Y, Ryu GS, Lee J, Kim M, Kim S, Byeon G, Park JS, Xu W, Noh YY.   +10 more
europepmc   +1 more source

Design and Framework of Non-Intrusive Spatial System for Child Behavior Support in Domestic Environments. [PDF]

Sensors (Basel)
Yoo DU, Kang J, Park SM.
europepmc   +1 more source

A Systems Analysis Approach to the Grandfather Paradox: Resolution via State-Based Logic and Branching Timelines

AHMET ULU
openalex   +1 more source

A parallel resolution method for logic programs

, 1993
Urs Zolliker
openalex   +2 more sources

Hafnium-Based Ferroelectric Diodes for Logic-in-Memory Application. [PDF]

Micromachines (Basel)
Han S, Zhang Y, Wang X, Tong P, Liu C, Zeng Q, Liu J, Huang X, Li Q, Cao R, Wang W.   +10 more
europepmc   +1 more source