Concepedia

First-order Logic Reasoning

First-Order Logic Reasoning is a formal reasoning method that belongs to the class of automated deduction systems and is distinguished by its use of first-order logic to represent and infer conclusions involving quantified variables and predicates over domain elements.

922

Publications

45.6K

Citations

1.7K

Authors

559

Institutions

Publications per year

2017–2026

161

Parents

Publications

922

Inductive logic programming

Stephen Muggleton · New Generation Computing · 1991 · 945 citations

, , +16

Description Logic Programs: Combining Logic Programs with Description Logic

Benjamin N. Grosof, Ian Horrocks, Raphael Volz et al. · SSRN Electronic Journal · 2003 · 811 citations · Full text

, , +16

A temporal logic for reasoning about processes and plans

Drew McDermott · Cognitive Science · 1982 · 760 citations · Full text

, , +14

A logical framework for default reasoning

David Poole · Artificial Intelligence · 1988 · 729 citations

, , +14

On a generalization of quantifiers

Andrzej Mostowski · Fundamenta Mathematicae · 1957 · 688 citations · Full text

, , +13

1–5 of 922

Authors

1.7K

  1. PD
    Pedro Domingos

    University of Washington, United States

    14 publications · 1.5K citations

    14

    h-index

  2. BT
    Balder ten Cate

    University of California, Santa Cruz, United States

    11 publications · 494 citations

    11

    h-index

  3. CL
    Carsten Lutz

    University of Bremen, Germany

    10 publications · 603 citations

    10

    h-index

  4. GL
    Gerhard Lakemeyer

    RWTH Aachen University, Germany

    10 publications · 672 citations

    10

    h-index

  5. HJ
    Hector J. Levesque

    University of Toronto, Canada

    9 publications · 270 citations

    9

    h-index

1–5 of 1.7K

Institutions

559

  1. Stanford University

    Stanford, United States

    22 h-index

    45 publications

    3.4K citations

  2. KU Leuven

    Leuven, Belgium

    17 h-index

    65 publications

    3K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    16 h-index

    27 publications

    961 citations

  4. University of Washington

    Seattle, United States

    16 h-index

    40 publications

    3.8K citations

  5. University of Illinois Urbana-Champaign

    Urbana, United States

    15 h-index

    39 publications

    3.3K citations

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

    Le Chesnay-Rocquencourt, France

    15 h-index

    26 publications

    1.5K citations

  7. University of Toronto

    Toronto, Canada

    15 h-index

    31 publications

    2.2K citations

  8. University of Liverpool

    Liverpool, United Kingdom

    15 h-index

    28 publications

    878 citations

1–8 of 559

Venues

  1. arXiv (Cornell University)

    Repository · 51 publications · 1.9K citations

    25

    h-index

  2. Journal of Symbolic Logic

    19 publications · 1.5K citations

    15

    h-index

  3. Artificial Intelligence

    15 publications · 1.7K citations

    14

    h-index

  4. ACM Transactions on Computational Logic

    TOCL · 17 publications · 659 citations

    13

    h-index

  5. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 14 publications · 610 citations

    13

    h-index

1–5