Automated Induction

Automated Induction is a computational method within automated reasoning that derives general rules or hypotheses from specific instances through systematic inference, distinguished by its reliance on algorithmic synthesis of inductive conclusions from empirical or formal data.

123

Publications

8.5K

Citations

198

Authors

108

Institutions

Publications per year

2017–2026

9

Authors

198

  1. RS
    Ryszard S. Michalski

    George Mason University, United States

    8 publications · 484 citations

    8

    h-index

  2. AB
    Adel Bouhoula

    University of Carthage, Tunisia

    4 publications · 144 citations

    4

    h-index

  3. DP
    David Perry Greene

    Carnegie Mellon University, United States

    4 publications · 277 citations

    4

    h-index

  4. EK
    Emmanuel Kounalis

    Laboratoire de Recherche en Informatique, France

    3 publications · 188 citations

    3

    h-index

  5. DK
    Deepak Kapur

    University of New Mexico, United States

    3 publications · 108 citations

    3

    h-index

1–5 of 198

Venues

  1. Machine Learning

    5 publications · 627 citations

    5

    h-index

  2. Journal of Automated Reasoning

    4 publications · 197 citations

    4

    h-index

  3. International Joint Conference on Artificial Intelligence

    Conference · 4 publications · 224 citations

    4

    h-index

  4. Journal of Symbolic Computation

    3 publications · 109 citations

    3

    h-index

  5. George Mason University

    Repository · 3 publications · 45 citations

    3

    h-index

1–5