Results 61 to 70 of about 862,810 (224)
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
, 2017 Quang Loc Le +3 more
openalex +2 more sources
Rigid and Flexible Quantification in Plural Predicate Logic
, 2017 Lucas Champollion +2 more
semanticscholar +1 more source
Model Predictive Robustness of Signal Temporal Logic Predicates [PDF]
, 2022 Yuanfei Lin +2 more
openalex +1 more source
The Cognitive Ontogenesis of Predicate Logic
Notre Dame J. Formal Log., 2014 Pieter A. M. Seuren
semanticscholar +1 more source
A categorical model of predicate linear logic
Journal of Applied Mathematics and Computational Mechanics, 2015 Emilia Demeterová +2 more
doaj +1 more source
An Algebraic Presentation of Predicate Logic - (Extended Abstract)
Foundations of Software Science and Computation Structure, 2013 S. Staton
semanticscholar +1 more source
Logic-driven Indirect Supervision: An Application to Crisis Counseling. [PDF]
Proc Conf Assoc Comput Linguist Meet, 2023 Grespan MM +6 more
europepmc +1 more source
Assembly and reasoning over semantic mappings at scale for biomedical data integration. [PDF]
BioinformaticsHoyt CT, Karis K, Gyori BM.
europepmc +1 more source