Results 61 to 70 of about 862,810 (224)
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
Quang Loc Le +3 more
openalex +2 more sources
Rigid and Flexible Quantification in Plural Predicate Logic
Lucas Champollion +2 more
semanticscholar +1 more source
Model Predictive Robustness of Signal Temporal Logic Predicates [PDF]
Yuanfei Lin +2 more
openalex +1 more source
The Cognitive Ontogenesis of Predicate Logic
Pieter A. M. Seuren
semanticscholar +1 more source
A categorical model of predicate linear logic
Emilia Demeterová +2 more
doaj +1 more source
An Algebraic Presentation of Predicate Logic - (Extended Abstract)
S. Staton
semanticscholar +1 more source
Logic-driven Indirect Supervision: An Application to Crisis Counseling. [PDF]
Grespan MM +6 more
europepmc +1 more source
Assembly and reasoning over semantic mappings at scale for biomedical data integration. [PDF]
Hoyt CT, Karis K, Gyori BM.
europepmc +1 more source

