Results 81 to 90 of about 862,810 (224)

Contexts in Dynamic Predicate Logic

, 1995
Albert Visser
openalex   +1 more source

Separation Predicates: A Taste of Separation Logic in First-Order Logic

, 2012
François Bobot, Jean-Christophe Filliâtre   +1 more
openalex   +2 more sources

A Machine-Oriented Logic Based on the Resolution Principle

JACM, 1965
J. A. Robinson
semanticscholar   +1 more source

Fingertip wearables and obstructive sleep apnea: is event level precision the key? [PDF]

Sleep
Holfinger S, Mador MJ.
europepmc   +1 more source

Model Predictive Robustness of Signal Temporal Logic Predicates

, 2023
Yuanfei Lin, Haoxuan Li, Matthias Althoff   +2 more
openalex   +2 more sources

Predicate Logic Based Image Grammars for Complex Pattern Recognition

IEEE Computer Society Conference on Computer Vision and Pattern Recognition workshops, 2009
Vinay D. Shet, Maneesh Kumar Singh, Claus Bahlmann, Visvanathan Ramesh, J. Neumann, L. Davis   +5 more
semanticscholar   +1 more source

A two-tier model of abduction: a unified framework for perception and emotion. [PDF]

Front Psychol
Sun J.
europepmc   +1 more source

Uddyotakara's Logic and Predicate Logic

, 2014
Kuniko HOSONO
openalex   +2 more sources

Anatomy-Guided Hybrid CNN-ViT Model with Neuro-Symbolic Reasoning for Early Diagnosis of Thoracic Diseases Multilabel. [PDF]

Diagnostics (Basel)
Almughamisi N, Abosamra G, Albar A, Saleh M.   +3 more
europepmc   +1 more source

Predicate logic unplugged

, 1996
Johan Bos
openalex   +1 more source