Concepedia

Inference Rules

Inference Rules is a formal schema within a deductive system that specifies valid patterns of logical consequence, distinguishing itself by enabling the derivation of conclusions from premises in a truth-preserving manner according to precisely defined syntactic or semantic criteria.

881

Publications

60.7K

Citations

1.8K

Authors

738

Institutions

Publications per year

2017–2026

89

Variants

Rules Of Inference

Parents

Publications

881

Rectified Linear Units Improve Restricted Boltzmann Machines

Vinod Nair, Geoffrey E. Hinton · International Conference on Machine Learning · 2010 · 13.2K citations

, , +16

<b>Mental models</b> : Towards a cognitive science of language, inference, and consciousness. By Philip N. Johnson-Laird (Cognitive science series, 6.) Cambridge, MA: Harvard University Press, 1983. Pp. 528. $25.00.

Marilyn Ford · Language · 1985 · 4.5K citations

, , +16

How to make ad-hoc polymorphism less ad hoc

Philip Wadler, Stephen Blott · 1989 · 770 citations · Full text

, , +16

Emotion Inferences from Vocal Expression Correlate Across Languages and Cultures

Klaus R. Scherer, Rainer Banse, Harald G. Wallbott · Journal of Cross-Cultural Psychology · 2001 · 743 citations · Full text

, , +17

An abstract framework for argumentation with structured arguments

Henry Prakken · Argument & Computation · 2010 · 671 citations · Full text

, , +15

1–5 of 881

Authors

1.8K

  1. VV
    Vladimir V. Rybakov

    Manchester Metropolitan University, United Kingdom

    8 publications · 337 citations

    8

    h-index

  2. JC
    John C. Mitchell

    Stanford University, United States

    8 publications · 831 citations

    8

    h-index

  3. PN
    P. N. Johnson‐Laird

    Princeton University, United States

    7 publications · 402 citations

    7

    h-index

  4. DM
    Dale Miller

    University of Pennsylvania, United States

    7 publications · 320 citations

    7

    h-index

  5. HP
    Henry Prakken

    Utrecht University, Netherlands

    7 publications · 1.1K citations

    7

    h-index

1–5 of 1.8K

Institutions

738

  1. Stanford University

    Stanford, United States

    17 h-index

    27 publications

    3.2K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    16 h-index

    36 publications

    2.2K citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    15 h-index

    28 publications

    1.3K citations

  4. Princeton University

    Princeton, United States

    14 h-index

    16 publications

    1.4K citations

  5. University of California, Berkeley

    Berkeley, United States

    11 h-index

    16 publications

    1.4K citations

  6. Institut de Recherche en Informatique de Toulouse

    Toulouse, France

    10 h-index

    20 publications

    1.8K citations

  7. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    10 h-index

    17 publications

    559 citations

  8. Université Toulouse III - Paul Sabatier

    Toulouse, France

    10 h-index

    20 publications

    1.8K citations

1–8 of 738

Venues

  1. Journal of Symbolic Logic

    18 publications · 1.1K citations

    17

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 13 publications · 633 citations

    11

    h-index

  3. IEEE Transactions on Fuzzy Systems

    TFS · 11 publications · 986 citations

    11

    h-index

  4. Journal of Logic and Computation

    11 publications · 245 citations

    10

    h-index

  5. Fuzzy Sets and Systems

    8 publications · 256 citations

    8

    h-index

1–5