Results 81 to 90 of about 1,546,334 (124)

First-Order Intuitionistic Logic with Decidable Propositional Atoms

, 2004
A. Sakharov
openalex   +2 more sources

A brain-inspired sequence learning model based on a logic. [PDF]

Sci Rep
Xu B.
europepmc   +1 more source

The quantifier complexity of polynomial‐size iterated definitions in first‐order logic [PDF]

, 2010
Samuel R. Buss, Alan S. Johnson
openalex   +1 more source

Identifying Mechanisms of Action for Implementation Strategies Using a Retrospective Implementation Mapping Logic Model Approach. [PDF]

Prev Sci
Walker TJ, Are F, Heredia NI, Onadeko K, Saving EE, Kang E, Fernandez ME.   +6 more
europepmc   +1 more source

Engineered biological neuronal networks as basic logic operators. [PDF]

Front Comput Neurosci
Küchler J, Vulić K, Yao H, Valmaggia C, Ihle SJ, Weaver S, Vörös J.   +6 more
europepmc   +1 more source

Practical Markov Logic Containing First-Order Quantifiers With Application to Identity Uncertainty

, 2005
Aron Culotta, Andrew McCallum
openalex   +2 more sources

FeFET-Based Computing-in-Memory Unit Circuit and Its Application. [PDF]

Nanomaterials (Basel)
Zha X, Ye H.
europepmc   +1 more source

Logical settings for concept learning from incomplete examples in First Order Logic

, 2006
Dominique Bouthinon, Henry Soldano, Véronique Ventos   +2 more
openalex   +2 more sources

The science behind the lifesum app: an intervention design analysis. [PDF]

Sci Rep
Svanfeldt S, Seth C, Gners M, Blomqvist A.   +3 more
europepmc   +1 more source

Clones and Genoids in Lambda Calculus and First Order Logic

, 2007
Zhaohua Luo
openalex   +2 more sources