Results 111 to 120 of about 862,810 (224)

Application of GUHA data mining method in cohort data to explore paths associated with premature death: a 29-year follow-up study. [PDF]

BMC Med Res Methodol
Nosraty L, Turunen E, Kyrönlahti S, Nygård CH, Kc P, Neupane S.   +5 more
europepmc   +1 more source

Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time

, 2008
Pavel Vassiliev
openalex   +1 more source

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests [PDF]

Lena Verscht, Benjamin Lucien Kaminski
openalex   +1 more source

Sequence semantics for dynamic predicate logic

Journal of Logic, Language and Information, 1993
C. Vermeulen
semanticscholar   +1 more source

On Logical and Scientific Strength. [PDF]

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

Predicate Invention in Inductive Logic Programming

, 2012
Duangtida Athakravi, Krysia Broda, Alessandra Russo   +2 more
openalex   +1 more source

Modeling arbitrarily applicable relational responding with the non-axiomatic reasoning system: a Machine Psychology approach. [PDF]

Front Robot AI
Johansson R.
europepmc   +1 more source

STALMASZCZYK, PIOTR (ED.), Philosophy and Logic of Predication, Peter Lang, Frankfurt am Main, 2017, 273 pp.

, 2018
Paloma Pérez-Ilzarbe
openalex   +2 more sources

Public Policy by Syllogism? Does Logic Hold the Answer to Better Policy Outcomes? [PDF]

Eval Rev
Drew J, Villano R, McQuestin D, Miyazaki M.   +3 more
europepmc   +1 more source

From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem. [PDF]

Algorithmica
Eiben E, Ganian R, Kanj I, Ordyniak S, Szeider S.   +4 more
europepmc   +1 more source