Concepedia

Fluent Calculus

Fluent Calculus is a formal logical framework within action representation that models dynamic domains by representing fluents as first-class entities and characterizing state changes through situational calculus with explicit fluency terms.

20

Publications

900

Citations

29

Authors

16

Institutions

Publications per year

2017–2026

3

Parents

Publications

20

FLUX: A logic programming method for reasoning agents

Michael Thielscher · Theory and Practice of Logic Programming · 2005 · 147 citations

, , +17

From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

Michael Thielscher · Artificial Intelligence · 1999 · 140 citations

, , +16

Introduction to the Fluent Calculus.

Michael Thielscher · 1998 · 124 citations · Full text

, , +7

Frames in the space of situations

Vladimir Lifschitz · Artificial Intelligence · 1990 · 119 citations

, , +12

Bounded Situation Calculus Action Theories and Decidable Verification.

Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi · IRIS Research product catalog (Sapienza University of Rome) · 2012 · 53 citations

, , +11

1–5 of 20

Authors

29

  1. MT
    Michael Thielscher

    UNSW Sydney, Australia

    4 publications · 430 citations

    4

    h-index

  2. MP
    Maurizio Proietti

    Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti, Italy

    2 publications · 40 citations

    2

    h-index

  3. GE
    Graham E. Leigh

    University of Gothenburg, Sweden

    2 publications · 56 citations

    2

    h-index

  4. FS
    Fabrizio Smith

    National Research Council, Italy

    2 publications · 40 citations

    2

    h-index

  5. BA
    Bahareh Afshari

    University of Gothenburg, Sweden

    2 publications · 56 citations

    2

    h-index

1–5 of 29

Institutions

16

  1. Technische Universität Dresden

    Dresden, Germany

    3 h-index

    4 publications

    325 citations

  2. University of Gothenburg

    Gothenburg, Sweden

    2 h-index

    4 publications

    112 citations

  3. Hochschule für Technik und Wirtschaft Dresden – University of Applied Sciences

    Dresden, Germany

    1 h-index

    1 publications

    147 citations

  4. Stanford University

    Stanford, United States

    1 h-index

    1 publications

    119 citations

  5. Sapienza University of Rome

    Rome, Italy

    1 h-index

    2 publications

    106 citations

  6. University of Toronto

    Toronto, Canada

    1 h-index

    2 publications

    54 citations

  7. Imperial College London

    London, United Kingdom

    1 h-index

    1 publications

    53 citations

  8. Technical University of Cluj-Napoca

    Cluj-Napoca, Romania

    1 h-index

    3 publications

    45 citations

1–8 of 16

Venues

  1. IRIS Research product catalog (Sapienza University of Rome)

    Repository · 2 publications · 80 citations

    2

    h-index

  2. Artificial Intelligence

    2 publications · 259 citations

    2

    h-index

  3. ArXiv.org

    Repository · 2 publications · 36 citations

    2

    h-index

  4. Logic in Computer Science

    Conference · 1 publications · 24 citations

    1

    h-index

  5. Theory and Practice of Logic Programming

    1 publications · 147 citations

    1

    h-index

1–5