Results 111 to 120 of about 2,220,839 (188)

A Comprehensive Framework for Saturation Theorem Proving. [PDF]

open access: yesJ Autom Reason, 2022
Waldmann U   +3 more
europepmc   +1 more source

Accelerating hybrid XOR-CNF Boolean satisfiability problems natively with in-memory computing. [PDF]

open access: yesNat Commun
Im H   +16 more
europepmc   +1 more source

Analysis and implementation of the DynDiff tool when comparing versions of ontology. [PDF]

open access: yesJ Biomed Semantics, 2023
Diaz Benavides S   +3 more
europepmc   +1 more source

Defining Alzheimer's disease: stipulations and the ethics of diagnostic change. [PDF]

open access: yesJ Neurol Neurosurg Psychiatry
Michalon R   +4 more
europepmc   +1 more source

A framework for interoperability between models with hybrid tools. [PDF]

open access: yesJ Intell Inf Syst, 2023
Braun G, Fillottrani PR, Keet CM.
europepmc   +1 more source

Simulation theory of mind for heterogeneous human-robot teams. [PDF]

open access: yesFront Robot AI
Nicolescu M   +6 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy