Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
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
A cut-free proof system for a predicate extension of the logic of provability
, 2018 Yoshihito Tanaka
openalex +2 more sources
Plascua: Programming Language Support for Continuous User Authentication. [PDF]
SN Comput Sci, 2022 Muganji J, Bainomugisha E.
europepmc +1 more source
Ontology for the Avida digital evolution platform. [PDF]
Sci Data, 2023 Ortega R, Wulff E, Fortuna MA.
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
Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation. [PDF]
PeerJ Comput Sci, 2023 Dawood H, Megahed N.
europepmc +1 more source
Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]
Mach LearnAi L +3 more
europepmc +1 more source
Subject-matter and intensional operators I: conditional-agnostic analytic implication. [PDF]
Philos Stud, 2023 Ferguson TM.
europepmc +1 more source
Dependency Grammar Approach to the Syntactic Complexity in the Discourse of Alzheimer Patients. [PDF]
Behav Sci (Basel)Lian Z, Wang Z.
europepmc +1 more source