Results 71 to 80 of about 65,224 (118)

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

Hypothesizing an algorithm from one example: the role of specificity. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Muggleton FREng SH.
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

Combining Higher-Order Logic with Set Theory Formalizations. [PDF]

J Autom Reason, 2023
Kaliszyk C, Pąk K.
europepmc   +1 more source

Minimal reduct for propositional circumscription. [PDF]

Front Artif Intell
Xie Z, Wang Y, Yang L, Feng R.
europepmc   +1 more source

Shaped-Charge Learning Architecture for the Human-Machine Teams. [PDF]

Entropy (Basel), 2023
Galitsky B, Ilvovsky D, Goldberg S.
europepmc   +1 more source

Computation of topological relations with 3-SRM. [PDF]

Sci Rep
Totad NP, Sajjanshettar GM, Aithal PK.
europepmc   +1 more source

FAIR foundations of a novel indicator vault for non-communicable diseases in the European Union: feasibility study for effective contextualisation of indicators. [PDF]

Front Digit Health
Štotl I, Carinci F, Fava S, Lavens A, Lepiksone J, Massi Benedetti M, Poljičanin T, Cunningham S, Sándor J, Nicholson N.   +9 more
europepmc   +1 more source

Research on online book user purchase behavior based on the event logic graph. [PDF]

PLoS One
Zhang B, Peng S.
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