Results 241 to 250 of about 101,814 (276)

Reporting guidelines for clinical trial reports for interventions involving artificial intelligence: the CONSORT-AI extension

Nature Medicine, 2020
Alastair K Denniston, David Moher, Melanie Calvert   +2 more
exaly  

Statistical Relational Artificial Intelligence: Logic, Probability, and Computation

Statistical Relational Artificial Intelligence, 2016
L. D. Raedt, K. Kersting, Sriraam Natarajan, D. Poole   +3 more
semanticscholar   +1 more source

Changes in Agricultural Extension and Implications for Farmer Adoption of New Practices

Applied Economic Perspectives and Policy, 2020
George W Norton, Jeffrey Alwang
exaly  

ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY

The Review of Symbolic Logic, 2012
Taishi Kurahashi
semanticscholar   +1 more source

Head and neck cancers—major changes in the American Joint Committee on cancer eighth edition cancer staging manual

Ca-A Cancer Journal for Clinicians, 2017
William M Lydiatt, Snehal G Patel, Brian O'sullivan   +2 more
exaly  

An extension of intermediate predicate logics to higher order

The paper is devoted to the study of intermediate predicate logics of higher order. The introduction of such logics is based on corresponding definitions of types and variables of types as well as on the introduction of special sequential inference rules.
openaire   +1 more source

HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)

Journal of Philosophical Logic, 2018
H. Leitgeb
semanticscholar   +1 more source

Differentiated and anaplastic thyroid carcinoma: Major changes in the American Joint Committee on Cancer eighth edition cancer staging manual

Ca-A Cancer Journal for Clinicians, 2018
Nancy D Perrier, Tf Duffield, R Michael Tuttle   +2 more
exaly  

Guidelines for clinical trial protocols for interventions involving artificial intelligence: the SPIRIT-AI extension

Nature Medicine, 2020
Alastair K Denniston, An-wen Chan, Melanie Calvert   +2 more
exaly  

Kripke completeness of predicate extensions of cofinal subframe logics

Summary: Let BF be the Barcan formula and \(T(K)\) the McKinsey-Tarski translation of Kuroda's formula \(\forall x\neg\neg A(x)\supset\neg\neg\forall xA(x)\). We give a class of finite Kripke frames \({\mathcal C}\) with the following properties: 1.
openaire   +1 more source