Concepedia

Formal Syntax

Formal Syntax is a systematic framework that specifies the structural rules governing the construction and transformation of symbols within a formal language, distinguishing it from semantic or pragmatic aspects by focusing exclusively on the syntactic form and arrangement of expressions.

218

Publications

11.3K

Citations

499

Authors

242

Institutions

Publications per year

2017–2026

22

Parents

Publications

218

<b>Formal methods in the study of language</b> . Edited by J. A. G. Groenendijk, T. M. V. Janssen, and M. B. J. Stokhof. 2 vols. (Mathematical Centre tracts, 135–36.) Amsterdam: Mathematisch Centrum, 1981. Pp. v, 599. <i>f</i> 40.95, <i>f</i> 35.70.

Robin L. Cooper · Language · 1983 · 1.1K citations

, , +12

Temporal and Modal Logic.

E. Allen Emerson · 1990 · 824 citations

, , +16

2APL: a practical agent programming language

Mehdi Dastani · Autonomous Agents and Multi-Agent Systems · 2008 · 364 citations · Full text

, , +17

UMCP: a sound and complete procedure for hierarchical task-network planning

Kutluhan Erol, James Hendler, Dana Nau · 1994 · 333 citations

, , +10

A proposal for an owl rules language

Ian Horrocks, Peter F. Patel‐Schneider · 2004 · 331 citations

, , +16

1–5 of 218

Authors

499

  1. IH
    Ian Horrocks

    University of Oxford, United Kingdom

    4 publications · 755 citations

    4

    h-index

  2. PF
    Peter F. Patel‐Schneider

    University of Manchester, United Kingdom

    4 publications · 755 citations

    4

    h-index

  3. LR
    Luigi Rizzi

    University of Siena, Italy

    3 publications · 108 citations

    3

    h-index

  4. AL
    Antónia Lopes

    University of Lisbon, Portugal

    3 publications · 144 citations

    3

    h-index

  5. MW
    Michel Wermelinger

    The Open University, United Kingdom

    3 publications · 144 citations

    3

    h-index

1–5 of 499

Institutions

242

  1. University of Pennsylvania

    Philadelphia, United States

    6 h-index

    10 publications

    587 citations

  2. University of Manchester

    Manchester, United Kingdom

    5 h-index

    11 publications

    2K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    6 publications

    261 citations

  4. University of Southern California

    Los Angeles, United States

    4 h-index

    25 publications

    378 citations

  5. SRI International

    Menlo Park, United States

    3 h-index

    8 publications

    128 citations

  6. Technische Universität Berlin

    Berlin, Germany

    3 h-index

    8 publications

    157 citations

  7. University of Maryland, College Park

    College Park, United States

    3 h-index

    9 publications

    1.6K citations

  8. Universidade Nova de Lisboa

    Lisbon, Portugal

    3 h-index

    3 publications

    144 citations

1–8 of 242

Venues

  1. Language

    6 publications · 1.6K citations

    6

    h-index

  2. arXiv (Cornell University)

    Repository · 5 publications · 86 citations

    5

    h-index

  3. ACM SIGPLAN Notices

    4 publications · 302 citations

    4

    h-index

  4. Communications of the ACM

    4 publications · 151 citations

    4

    h-index

  5. Notre Dame Journal of Formal Logic

    3 publications · 46 citations

    3

    h-index

1–5