Concepedia

Assertional Reasoning

Assertional Reasoning is a formal method in program logic that uses logical assertions to specify and verify program properties by reasoning about preconditions, postconditions, and invariants within the framework of Hoare Logic.

80

Publications

4K

Citations

176

Authors

94

Institutions

Publications per year

2017–2026

12

Parents

Publications

80

Named graphs, provenance and trust

Jeremy J. Carroll, Christian Bizer, Patrick J. Hayes et al. · 2005 · 525 citations

, , +17

A scheme for integrating concrete domains into concept languages

Franz Baader, Philipp Hanschke · Publications of the UdS (Saarland University) · 1991 · 316 citations · Full text

, , +14

OKBC: a programmatic foundation for knowledge base interoperability

Vinay K. Chaudhri, Adam Farquhar, Richard Fikes et al. · 1998 · 303 citations

, , +15

Propositions, Warranted Assertibility, and Truth

John Dewey · The Journal of Philosophy · 1941 · 212 citations

, , +9

An Outlook on Truth Maintenance.

David McAllester · DSpace@MIT (Massachusetts Institute of Technology) · 1980 · 179 citations · Full text

, , +15

1–5 of 80

Authors

176

  1. SB
    Salem Benferhat

    Centre National de la Recherche Scientifique, France

    3 publications · 42 citations

    3

    h-index

  2. LL
    Leslie Lamport

    Digital Wave (United States), United States

    3 publications · 220 citations

    3

    h-index

  3. KR
    K. Rustan M. Leino

    Microsoft (United States), United States

    3 publications · 86 citations

    3

    h-index

  4. KT
    Karim Tabia

    Université d'Artois, France

    2 publications · 29 citations

    2

    h-index

  5. CD
    Claudia d’Amato

    University of Bari Aldo Moro, Italy

    2 publications · 63 citations

    2

    h-index

1–5 of 176

Institutions

94

  1. Washington University in St. Louis

    St Louis, United States

    4 h-index

    4 publications

    97 citations

  2. University of Bari Aldo Moro

    Bari, Italy

    3 h-index

    3 publications

    84 citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    4 publications

    158 citations

  4. University of Bologna

    Bologna, Italy

    3 h-index

    4 publications

    71 citations

  5. Microsoft (United States)

    Redmond, United States

    3 h-index

    3 publications

    86 citations

  6. Université d'Artois

    Arras, France

    2 h-index

    4 publications

    52 citations

  7. Tallinn University of Technology

    Tallinn, Estonia

    2 h-index

    4 publications

    50 citations

  8. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    3 publications

    69 citations

1–8 of 94

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 97 citations

    4

    h-index

  2. Applied Ontology

    2 publications · 44 citations

    2

    h-index

  3. Journal of Consulting and Clinical Psychology

    2 publications · 32 citations

    2

    h-index

  4. Formal Aspects of Computing

    2 publications · 103 citations

    2

    h-index

  5. DSpace@MIT (Massachusetts Institute of Technology)

    Repository · 2 publications · 203 citations

    2

    h-index

1–5