Concepedia

Model Semantics

Model Semantics is a formal specification of the meaning and behavioral interpretation of elements within a model, distinguishing it from syntactic structure by defining how model components relate to real-world or computational phenomena.

461

Publications

26K

Citations

848

Authors

404

Institutions

Publications per year

2017–2026

38

Parents

Publications

461

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

, , +10

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

, , +16

Logic programs with stable model semantics as a constraint programming paradigm

Ilkka Niemelä · Annals of Mathematics and Artificial Intelligence · 1999 · 851 citations

, , +15

Extending and implementing the stable model semantics

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

, , +15

An Introduction to Structured Modeling

Arthur M. Geoffrion · Management Science · 1987 · 580 citations

, , +10

1–5 of 461

Authors

848

  1. JL
    Joohyung Lee

    Arizona State University, United States

    12 publications · 260 citations

    11

    h-index

  2. TE
    Thomas Eiter

    TU Wien, Austria

    9 publications · 852 citations

    9

    h-index

  3. IN
    Ilkka Niemelä

    Aalto University, Finland

    8 publications · 1.5K citations

    8

    h-index

  4. GG
    Georg Gottlob

    TU Wien, Austria

    6 publications · 778 citations

    6

    h-index

  5. NL
    Nicola Leone

    University of Calabria, Italy

    6 publications · 99 citations

    6

    h-index

1–5 of 848

Institutions

404

  1. Arizona State University

    Tempe, United States

    14 h-index

    39 publications

    923 citations

  2. University of Calabria

    Rende, Italy

    12 h-index

    21 publications

    699 citations

  3. TU Wien

    Vienna, Austria

    9 h-index

    19 publications

    623 citations

  4. Vanderbilt University

    Nashville, United States

    7 h-index

    15 publications

    554 citations

  5. University of Waterloo

    Waterloo, Canada

    7 h-index

    15 publications

    2.1K citations

  6. Decision Systems (United States)

    Northbrook, United States

    6 h-index

    13 publications

    321 citations

  7. University of Kentucky

    Lexington, United States

    6 h-index

    9 publications

    245 citations

  8. University of Maryland, College Park

    College Park, United States

    6 h-index

    7 publications

    204 citations

1–8 of 404

Venues

  1. Theory and Practice of Logic Programming

    25 publications · 854 citations

    16

    h-index

  2. ArXiv.org

    Repository · 13 publications · 443 citations

    12

    h-index

  3. arXiv (Cornell University)

    Repository · 10 publications · 196 citations

    10

    h-index

  4. ACM Transactions on Computational Logic

    TOCL · 9 publications · 480 citations

    9

    h-index

  5. Journal of Artificial Intelligence Research

    JAIR · 8 publications · 680 citations

    8

    h-index

1–5