Results 51 to 60 of about 63,358 (127)

A Formalization of SQL with Nulls. [PDF]

J Autom Reason, 2022
Ricciotti W, Cheney J.
europepmc   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source

On logicality and natural logic. [PDF]

Nat Lang Semant, 2021
Pistoia-Reda S, San Mauro L.
europepmc   +1 more source

Iconic logic: the visual art of drawing the right conclusion. [PDF]

Front Psychol
Kramer P.
europepmc   +1 more source

Neural-Symbolic Ensemble Learning for early-stage prediction of critical state of Covid-19 patients. [PDF]

Med Biol Eng Comput, 2022
Fadja AN, Fraccaroli M, Bizzarri A, Mazzuchelli G, Lamma E.   +4 more
europepmc   +1 more source

Suggestions for extending the FAIR Principles based on a linguistic perspective on semantic interoperability. [PDF]

Sci Data
Vogt L, Strömert P, Matentzoglu N, Karam N, Konrad M, Prinz M, Baum R.   +6 more
europepmc   +1 more source

Identity, individuality and indistinguishability in physics and mathematics. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Catren G.
europepmc   +1 more source

Public Policy by Syllogism? Does Logic Hold the Answer to Better Policy Outcomes? [PDF]

Eval Rev
Drew J, Villano R, McQuestin D, Miyazaki M.   +3 more
europepmc   +1 more source

Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property

, 1998
Eiko Isoda, Tatsuya Shimura
openalex   +1 more source

Formal analysis of signal protocol based on logic of events theory. [PDF]

Sci Rep
Li Z, Xiao M, Xu R.
europepmc   +1 more source