Concepedia

Nonmonotonic Logic

Nonmonotonic Logic is a formal logical system that extends the class of classical logics by allowing conclusions to be retracted in light of new evidence, thereby violating the monotonicity property that characterizes deductive consequence in classical logic.

512

Publications

35K

Citations

569

Authors

305

Institutions

Publications per year

2017–2026

28

Parents

Publications

512

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Phan Minh Dũng · Artificial Intelligence · 1995 · 4.3K citations

, , +17

Circumscription—A form of non-monotonic reasoning

John McCarthy · Artificial Intelligence · 1980 · 2K citations

, , +11

Nonmonotonic reasoning, preferential models and cumulative logics

Sarit Kraus, Daniel Lehmann, Menachem Magidor · Artificial Intelligence · 1990 · 1.7K citations

, , +10

Notes on formalizing context

John McCarthy · CogPrints (University of Southampton) · 1993 · 766 citations

, , +14

Multivalued logics: a uniform approach to reasoning in artificial intelligence

Matthew L. Ginsberg · Computational Intelligence · 1988 · 511 citations

, , +16

1–5 of 512

Authors

569

  1. TE
    Thomas Eiter

    TU Wien, Austria

    23 publications · 1.4K citations

    18

    h-index

  2. MT
    Mirosław Truszczyński

    University of Kentucky, United States

    12 publications · 871 citations

    12

    h-index

  3. GA
    Grigoris Antoniou

    University of Huddersfield, United Kingdom

    13 publications · 786 citations

    12

    h-index

  4. GB
    Gerhard Brewka

    Leipzig University, Germany

    11 publications · 827 citations

    10

    h-index

  5. HT
    Hans Tompits

    TU Wien, Austria

    9 publications · 634 citations

    9

    h-index

1–5 of 569

Institutions

305

  1. TU Wien

    Vienna, Austria

    20 h-index

    68 publications

    4K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    15 h-index

    30 publications

    2.1K citations

  3. Université Toulouse III - Paul Sabatier

    Toulouse, France

    13 h-index

    35 publications

    3.4K citations

  4. Sapienza University of Rome

    Rome, Italy

    13 h-index

    27 publications

    1.3K citations

  5. University of Kentucky

    Lexington, United States

    13 h-index

    19 publications

    1.6K citations

  6. Stanford University

    Stanford, United States

    12 h-index

    14 publications

    4K citations

  7. Institut de Recherche en Informatique de Toulouse

    Toulouse, France

    11 h-index

    29 publications

    3.2K citations

  8. University of Maryland, College Park

    College Park, United States

    10 h-index

    14 publications

    2.7K citations

1–8 of 305

Venues

  1. Artificial Intelligence

    30 publications · 10.4K citations

    24

    h-index

  2. National Conference on Artificial Intelligence

    Conference · 19 publications · 1.2K citations

    16

    h-index

  3. ACM Transactions on Computational Logic

    TOCL · 15 publications · 1.2K citations

    15

    h-index

  4. Principles of Knowledge Representation and Reasoning

    Conference · 13 publications · 592 citations

    12

    h-index

  5. International Joint Conference on Artificial Intelligence

    Conference · 14 publications · 588 citations

    12

    h-index

1–5