Concepedia

Computational Logic

Computational Logic is a formal system of reasoning and inference mechanisms, grounded in mathematical logic, that enables the specification, analysis, and verification of computational processes and protocols through symbolic representation and algorithmic manipulation.

908

Publications

57.2K

Citations

1.5K

Authors

562

Institutions

Publications per year

2017–2026

78

Parents

Publications

908

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

, , +15

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

, , +7

Prolog programming for artificial intelligence

Computer-Aided Design · 1986 · 1.1K citations

, , +8

Logic in computer science: modelling and reasoning about systems

Choice Reviews Online · 2005 · 875 citations

, , +11

Extending and implementing the stable model semantics

Patrik Simons, Ilkka Niemelä, Timo Soininen · Artificial Intelligence · 2002 · 850 citations

, , +15

1–5 of 908

Authors

1.5K

  1. PH
    Pascal Hitzler

    Wright State University, United States

    10 publications · 523 citations

    10

    h-index

  2. AK
    Anthony Karel Seda

    University College Cork, Ireland

    8 publications · 288 citations

    8

    h-index

  3. PT
    Paolo Torroni

    University of Bologna, Italy

    7 publications · 301 citations

    7

    h-index

  4. SH
    Steffen Hölldobler

    Technische Universität Dresden, Germany

    7 publications · 223 citations

    7

    h-index

  5. MT
    Mirosław Truszczyński

    University of Kentucky, United States

    6 publications · 249 citations

    6

    h-index

1–5 of 1.5K

Institutions

562

  1. Imperial College London

    London, United Kingdom

    17 h-index

    33 publications

    2.2K citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    12 h-index

    28 publications

    1.2K citations

  3. Stanford University

    Stanford, United States

    12 h-index

    21 publications

    1.8K citations

  4. University of Bologna

    Bologna, Italy

    11 h-index

    23 publications

    1.5K citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    10 h-index

    12 publications

    320 citations

  6. University of Pisa

    Pisa, Italy

    9 h-index

    17 publications

    1.2K citations

  7. KU Leuven

    Leuven, Belgium

    8 h-index

    14 publications

    470 citations

  8. Tsinghua University

    Beijing, China

    7 h-index

    14 publications

    464 citations

1–8 of 562

Venues

  1. Choice Reviews Online

    CRO · 23 publications · 3.1K citations

    18

    h-index

  2. Journal of Logic and Computation

    29 publications · 1.3K citations

    18

    h-index

  3. The Journal of Logic Programming

    19 publications · 2.3K citations

    15

    h-index

  4. Theoretical Computer Science

    16 publications · 1.1K citations

    12

    h-index

  5. Artificial Intelligence

    14 publications · 2K citations

    12

    h-index

1–5