Concepedia

Formal Semantics

Formal Semantics is a subfield of logic and semantics that employs mathematically precise formal frameworks to define and analyze the meanings and truth conditions of expressions in formal and natural languages, including the compositional determination of complex meanings from their parts.

3.8K

Publications

227K

Citations

4.6K

Authors

1.3K

Institutions

Publications per year

2017–2026

315

Parents

Children

Publications

3.8K

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

, , +10

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

, , +6

Semantics of context-free languages

Donald E. Knuth · Theory of Computing Systems · 1968 · 2K citations

, , +9

On a Problem of Formal Logic

Frank Plumpton Ramsey · Proceedings of the London Mathematical Society · 1930 · 1.9K citations

, , +11

A computational approach to fuzzy quantifiers in natural languages

Lotfi A. Zadeh · Computers & Mathematics with Applications · 1983 · 1.8K citations

, , +14

1–5 of 3.8K

Authors

4.6K

  1. IH
    Ian Horrocks

    University of Oxford, United Kingdom

    32 publications · 5.7K citations

    22

    h-index

  2. GD
    Giuseppe De Giacomo

    Sapienza University of Rome, Italy

    18 publications · 1.2K citations

    16

    h-index

  3. DM
    Dale Miller

    University of Pennsylvania, United States

    19 publications · 1.7K citations

    16

    h-index

  4. US
    Ulrike Sattler

    University of Manchester, United Kingdom

    18 publications · 2.3K citations

    16

    h-index

  5. CL
    Carsten Lutz

    University of Bremen, Germany

    16 publications · 1.3K citations

    15

    h-index

1–5 of 4.6K

Institutions

1.3K

  1. Centre National de la Recherche Scientifique

    Paris, France

    41 h-index

    145 publications

    8K citations

  2. Stanford University

    Stanford, United States

    37 h-index

    88 publications

    10.2K citations

  3. University of Edinburgh

    Edinburgh, United Kingdom

    35 h-index

    90 publications

    11K citations

  4. University of Oxford

    Oxford, United Kingdom

    34 h-index

    92 publications

    8.2K citations

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

    Le Chesnay-Rocquencourt, France

    32 h-index

    95 publications

    5K citations

  6. University of Manchester

    Manchester, United Kingdom

    29 h-index

    60 publications

    8K citations

  7. University of Cambridge

    Cambridge, United Kingdom

    28 h-index

    81 publications

    4.8K citations

  8. Carnegie Mellon University

    Pittsburgh, United States

    27 h-index

    64 publications

    4.9K citations

1–8 of 1.3K

Venues

  1. Journal of Symbolic Logic

    78 publications · 6.4K citations

    43

    h-index

  2. Theoretical Computer Science

    100 publications · 5.3K citations

    41

    h-index

  3. Journal of Logic and Computation

    73 publications · 4K citations

    32

    h-index

  4. Artificial Intelligence

    41 publications · 3.6K citations

    30

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 120 publications · 3K citations

    29

    h-index

1–5