Concepedia

Disjunctive Normal Form

Disjunctive Normal Form is a canonical syntactic representation of a propositional logic formula expressed as a disjunction of conjunctive clauses, each of which is a conjunction of literals or their negations.

156

Publications

8.3K

Citations

358

Authors

190

Institutions

Publications per year

2017–2026

29

Parents

Publications

156

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

, , +11

On the Complexity of Dualization of Monotone Disjunctive Normal Forms

Michael L. Fredman, Leonid Khachiyan · Journal of Algorithms · 1996 · 416 citations

, , +4

De novo design of protein logic gates

Zibo Chen, Ryan D. Kibler, Andrew C. Hunt et al. · Science · 2020 · 224 citations · Full text

, , +17

Automated Diagnosis of Coronary Artery Disease Based on Data Mining and Fuzzy Modeling

Markos G. Tsipouras, Themis P. Exarchos, Dimitrios I. Fotiadis et al. · IEEE Transactions on Information Technology in Biomedicine · 2008 · 189 citations

, , +17

Rule-based Machine Learning Methods for Functional Prediction

Nitin Indurkhya · Journal of Artificial Intelligence Research · 1995 · 184 citations · Full text

, , +16

1–5 of 156

Authors

358

  1. LP
    Leonard Pitt

    University of Illinois Urbana-Champaign, United States

    6 publications · 167 citations

    6

    h-index

  2. HA
    Howard Aizenstein

    University of Pittsburgh, United States

    6 publications · 167 citations

    6

    h-index

  3. DW
    Dennis Wei

    IBM (United States), United States

    5 publications · 142 citations

    5

    h-index

  4. AK
    Anvar Kabulov

    National University of Uzbekistan, Uzbekistan

    5 publications · 93 citations

    5

    h-index

  5. JC
    Jeffrey C. Jackson

    Duquesne University, United States

    3 publications · 170 citations

    3

    h-index

1–5 of 358

Institutions

190

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    8 h-index

    8 publications

    233 citations

  2. Rutgers, The State University of New Jersey

    New Brunswick, United States

    5 h-index

    5 publications

    756 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    5 publications

    126 citations

  4. Harvard University Press

    Cambridge, United States

    4 h-index

    4 publications

    266 citations

  5. IBM (United States)

    Armonk, United States

    4 h-index

    4 publications

    159 citations

  6. New Mexico State University

    Las Cruces, United States

    4 h-index

    4 publications

    97 citations

  7. National University of Uzbekistan

    Tashkent, Uzbekistan

    4 h-index

    4 publications

    76 citations

  8. University of California San Diego

    San Diego, United States

    3 h-index

    3 publications

    239 citations

1–8 of 190

Venues

  1. SIAM Journal on Computing

    10 publications · 441 citations

    10

    h-index

  2. arXiv (Cornell University)

    Repository · 9 publications · 180 citations

    9

    h-index

  3. Journal of Artificial Intelligence Research

    JAIR · 3 publications · 303 citations

    3

    h-index

  4. Proceedings of the VLDB Endowment

    PVLDB · 3 publications · 265 citations

    3

    h-index

  5. Journal of Automated Reasoning

    3 publications · 165 citations

    3

    h-index

1–5