Results 71 to 80 of about 47,006 (154)

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

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

Modern perspectives in Proof Theory. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Aguilera JP, Pakhomov F, Weiermann A.
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

Positive logics. [PDF]

Arch Math Log, 2023
Shelah S, Väänänen J.
europepmc   +1 more source

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

The Synthesis of Logic Programs from Inductive Proofs [PDF]

, 1990
Bundy, Alan, Smaill, A., Wiggins, G.
core   +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

avidaR: an R library to perform complex queries on an ontology-based database of digital organisms. [PDF]

PeerJ Comput Sci, 2023
Ortega R, Fortuna MA.
europepmc   +1 more source

On Logical and Scientific Strength. [PDF]

Erkenntnis
Incurvati L, Nicolai C.
europepmc   +1 more source

The Modal Components of Judgements in a Quantum Model of Psychoanalytic Theory. [PDF]

Entropy (Basel), 2023
Battilotti G, Borozan M, Lauro Grotto R.
europepmc   +1 more source