Results 111 to 120 of about 454 (145)

Olympiad-level formal mathematical reasoning with reinforcement learning. [PDF]

Nature
Hubert T, Mehta R, Sartran L, Horváth MZ, Žužić G, Wieser E, Huang A, Schrittwieser J, Schroecker Y, Masoom H, Bertolli O, Zahavy T, Mandhane A, Yung J, Beloshapka I, Ibarz B, Veeriah V, Yu L, Nash O, Lezeau P, Mercuri S, Sönne C, Mehta B, Davies A, Zheng D, Pedregosa F, Li Y, von Glehn I, Rowland M, Albanie S, Velingker A, Schmitt S, Lockhart E, Hughes E, Michalewski H, Sonnerat N, Hassabis D, Kohli P, Silver D.   +38 more
europepmc   +1 more source

Ontologies in modelling and analysing of big genetic data. [PDF]

Vavilovskii Zhurnal Genet Selektsii
Podkolodnyy NL, Podkolodnaya OA, Ivanisenko VA, Marchenko MA.   +3 more
europepmc   +1 more source

<i>N</i> =1 Super Virasoro Tensor Categories. [PDF]

Commun Math Phys
Creutzig T, McRae R, Orosz Hunziker F, Yang J.   +3 more
europepmc   +1 more source

HECM-Plus: Hyper-Entropy Enhanced Cloud Models for Uncertainty-Aware Design Evaluation in Multi-Expert Decision Systems. [PDF]

Entropy (Basel)
Pu J, Liu Z.
europepmc   +1 more source

A general strategy for generating expert-guided, simplified views of ontologies. [PDF]

Sci Data
Caron AR, Puig-Barbe A, Quardokus EM, Balhoff JP, Belfiore J, Chipampe NJ, Hardi J, Herr BW, Kir H, Roncaglia P, Musen MA, Parkinson H, McLaughlin JA, Börner K, Osumi-Sutherland D.   +14 more
europepmc   +1 more source

Digital evolution: Novo Nordisk's shift to ontology-based data management. [PDF]

J Biomed Semantics
Tan SZK, Baksi S, Bjerregaard TG, Elangovan P, Gopalakrishnan TK, Hric D, Joumaa J, Li B, Rabbani K, Venkatesan SK, Valdez JD, Kuriakose SV.   +11 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

FOIL Axiomatized

Studia Logica, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Axiomatization

2022
Abstract This chapter is concerned with the appeal and demands of axiomatization. The appeal of axiomatization is that of capturing the entire infinite truth about a subject in a finite stock of basic principles and rules. If we can achieve that, it will not only help us to make sense of the subject; it will also help us to make sense of
openaire   +1 more source

Hilbert's axiomatic method and Carnap's general axiomatics

Studies in History and Philosophy of Science Part A, 2015
This paper compares the axiomatic method of David Hilbert and his school with Rudolf Carnap's general axiomatics that was developed in the late 1920s, and that influenced his understanding of logic of science throughout the 1930s, when his logical pluralism developed.
openaire   +2 more sources