Results 101 to 110 of about 200,339 (137)
On a Convex Logic Fragment for Learning and Reasoning [PDF]
, 2018 Francesco Giannini +3 more
openalex +1 more source
Omitting types in fragments and extensions of first order logic
, 2021 Tarek Sayed Ahmed
openalex +2 more sources
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
, 2021 Ritam Raha +3 more
openalex +2 more sources
Polynomials, fragments of temporal logic and the variety
, 2007 Manfred Kufleitner
openalex +1 more source
Generalized Bundled Fragments for First-Order Modal Logic
, 2022 Mo Liu +3 more
openalex +2 more sources
Capturing relational NEXPTIME with a fragment of existential third order logic
Journal of Computer Science and Technology, 2015 We prove that the existential fragment Σ^(2,ω) 1 of the third order logic TO^ω captures the relational complexity class non deterministic exponential time.
José María Turull Torres
doaj
The expressibility of fragments of Hybrid Graph Logic on finite digraphs
, 2013 James Gate, Iain A. Stewart
openalex +1 more source