Results 271 to 280 of about 939,241 (354)

A Study of Intermediate Predicate Logics

Publications of the Research Institute for Mathematical Sciences, 1972
openaire   +4 more sources

Increased discoverability of rare disease datasets through knowledge graph integration. [PDF]

JAMIA Open
Braun I, Hartley E, Olson D, Matentzoglu N, Schaper K, Walls R, Vasilevsky N.   +6 more
europepmc   +1 more source

A Version of Predicate Logic with Two Variables That has an Incompleteness Property

Mohamed Khaled
openalex   +1 more source

Optimizing Robotic Mobile Fulfillment Systems for Order Picking Based on Deep Reinforcement Learning. [PDF]

Sensors (Basel)
Zhu Z, Wang S, Wang T.
europepmc   +1 more source

First-order transitional modal logics of quasiary predicates with equality

Oksana Shkilniak
openalex   +1 more source

Announcing the Biomedical Data Translator: Initial Public Release. [PDF]

Clin Transl Sci
Fecho K, Glusman G, Baranzini SE, Bizon C, Brush M, Byrd W, Chung L, Crouse A, Deutsch E, Dumontier M, Foksinska A, Hadlock J, He K, Huang S, Hubal R, Hyde GM, Israni S, Kenmogne K, Koslicki D, Marcette JD, Mathe EA, Mesbah A, Moxon SAT, Mungall CJ, Osborne J, Pasfield C, Qin G, Ramsey SA, Reese J, Roach JC, Rose R, Soman K, Su AI, Ta C, Vaidya G, Weber R, Wei Q, Williams M, Wu C, Xu C, Yakaboski C, Biomedical Data Translator Consortium.   +41 more
europepmc   +1 more source

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

Lena Verscht, Benjamin Lucien Kaminski
openalex   +1 more source