Results 131 to 140 of about 503 (185)

We need to explain subjective experience, but its explanation may not be mechanistic. [PDF]

Neurosci Conscious
Signorelli CM, Cea I, Prentner R.
europepmc   +1 more source

Agreement and disagreement in a non-classical world. [PDF]

Philos Trans A Math Phys Eng Sci
Brandenburger A, Contreras-Tejada P, La Mura P, Scarpa G, Steverson K.   +4 more
europepmc   +1 more source

The Unified Phenotype Ontology : a framework for cross-species integrative phenomics. [PDF]

Genetics
Matentzoglu N, Bello SM, Stefancsik R, Alghamdi SM, Anagnostopoulos AV, Balhoff JP, Balk MA, Bradford YM, Bridges Y, Callahan TJ, Caufield H, Cuzick A, Carmody LC, Caron AR, de Souza V, Engel SR, Fey P, Fisher M, Gehrke S, Grove C, Hansen P, Harris NL, Harris MA, Harris L, Ibrahim A, Jacobsen JOB, Köhler S, McMurry JA, Munoz-Fuentes V, Munoz-Torres MC, Parkinson H, Pendlington ZM, Pilgrim C, Robb SMC, Robinson PN, Seager J, Segerdell E, Smedley D, Sollis E, Toro S, Vasilevsky N, Wood V, Haendel MA, Mungall CJ, McLaughlin JA, Osumi-Sutherland D.   +45 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

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

An axiomatization of PCTL*

Information and Computation, 2005
In this paper a sound and complete axiomatization for \(\text{PCTL}^*\) (computation tree logic with past operators) is given. This axiomatization is for the logic presented by \textit{F. Laroussinie} and \textit{Ph. Schnoebelen} [``Specification in \(\text{CTL}\) + past for verification in \(\text{CTL}\)'', Inf. Comput.
Mark Reynolds
exaly   +3 more sources

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

An axiomatization of graphs

Acta Informatica, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symeon Bozapalidis, Antonios Kalampakas
openaire   +1 more source