Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
Kaliszyk C, Pąk K.
europepmc +1 more source
Shaped-Charge Learning Architecture for the Human-Machine Teams. [PDF]
Galitsky B, Ilvovsky D, Goldberg S.
europepmc +1 more source
A cut-free proof system for a predicate extension of the logic of provability
Yoshihito Tanaka
openalex +2 more sources
Plascua: Programming Language Support for Continuous User Authentication. [PDF]
Muganji J, Bainomugisha E.
europepmc +1 more source
Ontology for the Avida digital evolution platform. [PDF]
Ortega R, Wulff E, Fortuna MA.
europepmc +1 more source
The Modal Components of Judgements in a Quantum Model of Psychoanalytic Theory. [PDF]
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]
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]
Ai L +3 more
europepmc +1 more source
Subject-matter and intensional operators I: conditional-agnostic analytic implication. [PDF]
Ferguson TM.
europepmc +1 more source
Dependency Grammar Approach to the Syntactic Complexity in the Discourse of Alzheimer Patients. [PDF]
Lian Z, Wang Z.
europepmc +1 more source

