Concepedia

Inductive Theorem Proving

Inductive Theorem Proving is a method within automated reasoning that, unlike deductive theorem proving, employs inductive inference to verify conjectures by constructing proofs over recursively defined structures through base and inductive steps.

153

Publications

12.8K

Citations

221

Authors

109

Institutions

Publications per year

2017–2026

13

Parents

Publications

153

A formal theory of inductive inference. Part II

Ray J. Solomonoff · Information and Control · 1964 · 1.8K citations

, , +12

Inductive Logic Programming: Theory and methods

Stephen Muggleton, Luc De Raedt · The Journal of Logic Programming · 1994 · 1.6K citations · Full text

, , +10

A formal theory of inductive inference. Part I

Ray J. Solomonoff · Information and Control · 1964 · 1.2K citations

, , +12

Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.

Pierre Castéran, Yves Bertot · HAL (Le Centre pour la Communication Scientifique Directe) · 2004 · 1.1K citations

, , +17

Strong Belief and Forward Induction Reasoning

Pierpaolo Battigalli, Marciano Siniscalchi · Journal of Economic Theory · 2002 · 328 citations

, , +8

1–5 of 153

Authors

221

  1. AB
    Alan Bundy

    University of Edinburgh, United Kingdom

    6 publications · 537 citations

    6

    h-index

  2. ZM
    Zohar Manna

    Stanford University, United States

    4 publications · 478 citations

    4

    h-index

  3. BW
    Ben Wegbreit

    Palo Alto Research Center, United States

    3 publications · 132 citations

    3

    h-index

  4. AB
    Adel Bouhoula

    University of Carthage, Tunisia

    3 publications · 92 citations

    3

    h-index

  5. RC
    Radhia Cousot

    École Polytechnique, France

    3 publications · 212 citations

    3

    h-index

1–5 of 221

Institutions

109

  1. University of Edinburgh

    Edinburgh, United Kingdom

    7 h-index

    13 publications

    2K citations

  2. Stanford University

    Stanford, United States

    5 h-index

    11 publications

    855 citations

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

    Le Chesnay-Rocquencourt, France

    5 h-index

    10 publications

    853 citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    5 h-index

    10 publications

    270 citations

  5. TU Wien

    Vienna, Austria

    4 h-index

    5 publications

    120 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    5 publications

    90 citations

  7. Chalmers University of Technology

    Gothenburg, Sweden

    3 h-index

    6 publications

    119 citations

  8. Stony Brook University

    Stony Brook, United States

    3 h-index

    4 publications

    185 citations

1–8 of 109

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 99 citations

    7

    h-index

  2. Journal of Automated Reasoning

    6 publications · 406 citations

    6

    h-index

  3. Communications of the ACM

    4 publications · 536 citations

    4

    h-index

  4. Artificial Intelligence

    3 publications · 348 citations

    3

    h-index

  5. New Generation Computing

    3 publications · 263 citations

    3

    h-index

1–5