Results 101 to 110 of about 1,765 (205)

Formulas of first-order logic in distributive normal form

, 1997
Bibliography: leaves 140-143.It was shown by Jaakko Hintikka that every formula of first-order logic can be written as a disjunction of formulas called constituents. Such a disjunction is called a distributive normal form of the formula.
Nelte, Karen
core  

Minimal Disjunctive Normal Form

, 2007

openalex   +2 more sources

Graph Based, Adaptive, Multiarm, Multiple Endpoint, Two-Stage Designs. [PDF]

Stat Med
Mehta C, Mukhopadhyay A, Posch M.
europepmc   +1 more source

Causal knowledge graph analysis identifies adverse drug effects. [PDF]

Bioinformatics
Toonsi S, Schofield PN, Hoehndorf R.
europepmc   +1 more source

Self-allocation bias in performance-based cooperative decisions is driven by self-interest rather than distorted performance encoding. [PDF]

PLoS Biol
Zhang S, Yong X, Ma Y, Korn CW.
europepmc   +1 more source

Habits, Goals, and Behavioral Signs of Cognitive Perseveration on Wisconsin Card-Sorting Tasks. [PDF]

Brain Sci, 2023
Kopp B, Al-Hafez B, Steinke A.
europepmc   +1 more source

The Properties of Determinative Disjunctive Normal Forms and Systems Based on Them

, 2012
Anahit Chubaryan, Armine Chubaryan, Arman Tshitoyan   +2 more
openalex   +2 more sources

A Sequential Generalized Nonparametric Classification Method for Small-Scale Cognitive Diagnostic Assessment. [PDF]

Behav Sci (Basel)
Li J, Zheng H, Kang C, Cai Y, Tu D.
europepmc   +1 more source

BioLogical: a universal analysis framework for biosystem logical dynamics. [PDF]

Comput Struct Biotechnol J
Yao Y, Liu D, Zhang Z, Zhao C, Pei D.
europepmc   +1 more source

Research on conversion from conjunctive normal form to disjunctive normal form

, 2012
Zongtian Liu
openalex   +1 more source