Concepedia

Automated Reasoning

Automated Reasoning is a subfield of artificial intelligence and formal methods that employs logical formalisms and computational algorithms to systematically derive valid conclusions or proofs from given premises, distinguishing itself by its emphasis on the automation of deductive inference processes in mathematically rigorous domains.

8.8K

Publications

591.4K

Citations

12.6K

Authors

2.6K

Institutions

Publications per year

2017–2026

1.7K

Parents

Children

Publications

8.8K

Rough sets

Zdzis aw Pawlak · International Journal of Parallel Programming · 1982 · 12.1K citations

, , +10

Outline of a New Approach to the Analysis of Complex Systems and Decision Processes

Lotfi A. Zadeh · IEEE Transactions on Systems Man and Cybernetics · 1973 · 8.7K citations

, , +14

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

, , +17

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

, , +16

Fuzzy logic in control systems: fuzzy logic controller. I

C.C. Lee · IEEE Transactions on Systems Man and Cybernetics · 1990 · 5.6K citations

, , +13

1–5 of 8.8K

Authors

12.6K

  1. TE
    Thomas Eiter

    TU Wien, Austria

    44 publications · 4.3K citations

    27

    h-index

  2. LD
    Luc De Raedt

    KU Leuven, Belgium

    38 publications · 4.4K citations

    25

    h-index

  3. JM
    João Marques‐Silva

    Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Portugal

    35 publications · 2.8K citations

    22

    h-index

  4. PD
    Pedro Domingos

    University of Washington, United States

    23 publications · 2.6K citations

    22

    h-index

  5. HJ
    Hector J. Levesque

    University of Toronto, Canada

    26 publications · 4.3K citations

    21

    h-index

1–5 of 12.6K

Institutions

2.6K

  1. Stanford University

    Stanford, United States

    56 h-index

    243 publications

    27.8K citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    51 h-index

    197 publications

    14.6K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    45 h-index

    290 publications

    14.4K citations

  4. University of Toronto

    Toronto, Canada

    43 h-index

    145 publications

    18.8K citations

  5. University of Oxford

    Oxford, United Kingdom

    41 h-index

    157 publications

    11.7K citations

  6. University of Illinois Urbana-Champaign

    Urbana, United States

    41 h-index

    157 publications

    9.5K citations

  7. University of Washington

    Seattle, United States

    41 h-index

    151 publications

    18.1K citations

  8. SRI International

    Menlo Park, United States

    40 h-index

    107 publications

    17.3K citations

1–8 of 2.6K

Venues

  1. Artificial Intelligence

    211 publications · 36.3K citations

    77

    h-index

  2. arXiv (Cornell University)

    Repository · 352 publications · 20.1K citations

    54

    h-index

  3. International Joint Conference on Artificial Intelligence

    Conference · 160 publications · 8.3K citations

    48

    h-index

  4. National Conference on Artificial Intelligence

    Conference · 117 publications · 6.5K citations

    41

    h-index

  5. Journal of Automated Reasoning

    98 publications · 5.7K citations

    41

    h-index

1–5