Concepedia

Answer Set Programming

Answer Set Programming is a declarative logic programming paradigm based on the stable model semantics, in which the solutions to a problem are represented as answer sets—maximal consistent sets of literals satisfying a set of rules—distinguishing it from other rule-based formalisms by its non-monotonic reasoning capabilities and support for default negation.

493

Publications

20.3K

Citations

626

Authors

247

Institutions

Publications per year

2017–2026

109

Parents

Publications

493

Answer set programming at a glance

Gerhard Brewka, Thomas Eiter, Mirosław Truszczyński · Communications of the ACM · 2011 · 924 citations

, , +3

Strongly equivalent logic programs

Vladimir Lifschitz, David Pearce, Agustín Valverde · ACM Transactions on Computational Logic · 2001 · 535 citations

, , +16

Potassco: The Potsdam Answer Set Solving Collection

Martin Gebser, Benjamin Kaufmann, Roland Kaminski et al. · AI Communications · 2011 · 471 citations

, , +8

Answer set programming and plan generation

Vladimir Lifschitz · Artificial Intelligence · 2002 · 451 citations

, , +6

Combining answer set programming with description logics for the Semantic Web

Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz et al. · Artificial Intelligence · 2008 · 369 citations

, , +14

1–5 of 493

Authors

626

  1. TS
    Torsten Schaub

    University of Potsdam, Germany

    54 publications · 3K citations

    27

    h-index

  2. TE
    Thomas Eiter

    TU Wien, Austria

    38 publications · 3K citations

    23

    h-index

  3. HT
    Hans Tompits

    TU Wien, Austria

    22 publications · 1.7K citations

    19

    h-index

  4. MG
    Martin Gebser

    University of Potsdam, Germany

    32 publications · 2.2K citations

    19

    h-index

  5. SW
    Stefan Woltran

    TU Wien, Austria

    32 publications · 1K citations

    17

    h-index

1–5 of 626

Institutions

247

  1. TU Wien

    Vienna, Austria

    33 h-index

    213 publications

    11K citations

  2. University of Potsdam

    Potsdam, Germany

    29 h-index

    144 publications

    8.7K citations

  3. University of Calabria

    Rende, Italy

    27 h-index

    111 publications

    5.7K citations

  4. Arizona State University

    Tempe, United States

    22 h-index

    61 publications

    2.5K citations

  5. New Mexico State University

    Las Cruces, United States

    14 h-index

    35 publications

    1.2K citations

  6. Aalto University

    Espoo, Finland

    13 h-index

    27 publications

    952 citations

  7. University of Genoa

    Genoa, Italy

    13 h-index

    21 publications

    1K citations

  8. The University of Texas at Austin

    Austin, United States

    13 h-index

    24 publications

    2.3K citations

1–8 of 247

Venues

  1. Theory and Practice of Logic Programming

    95 publications · 3.6K citations

    33

    h-index

  2. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 26 publications · 658 citations

    14

    h-index

  3. Artificial Intelligence

    14 publications · 1.5K citations

    12

    h-index

  4. ArXiv.org

    Repository · 11 publications · 413 citations

    11

    h-index

  5. arXiv (Cornell University)

    Repository · 18 publications · 306 citations

    11

    h-index

1–5