Concepedia

Tableau Algorithms

Tableau Algorithms is a family of decision procedures in Description Logics that belong to the class of proof systems based on semantic tableaux, distinguished by their systematic expansion of concept descriptions and role assertions to determine satisfiability and validity through contradiction detection in a labeled tree structure.

280

Publications

15.2K

Citations

413

Authors

221

Institutions

Publications per year

2017–2026

16

Variants

Tableau Method

Parents

Publications

280

The modified nodal approach to network analysis

Chung-Wen Ho, Albert E. Ruehli, P.A. Brennan · IEEE Transactions on Circuits and Systems · 1975 · 1.5K citations

, , +12

The even more irresistible SROIQ

Ian Horrocks, Oliver Kutz, Ulrike Sattler · 2006 · 845 citations

, , +15

Testing implications of data dependencies

David Maier, Alberto O. Mendelzon, Yehoshua Sagiv · ACM Transactions on Database Systems · 1979 · 582 citations · Full text

, , +15

Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions

A. V. Aho, Yehoshua Sagiv, Thomas G. Szymanski et al. · SIAM Journal on Computing · 1981 · 413 citations

, , +12

An Overview of Tableau Algorithms for Description Logics

Franz Baader, Ulrike Sattler · Studia Logica · 2001 · 388 citations

, , +11

1–5 of 280

Authors

413

  1. YS
    Yehoshua Sagiv

    Hebrew University of Jerusalem, Israel

    10 publications · 1.8K citations

    10

    h-index

  2. IH
    Ian Horrocks

    University of Oxford, United Kingdom

    8 publications · 1.9K citations

    8

    h-index

  3. RA
    Renate A. Schmidt

    University of Manchester, United Kingdom

    7 publications · 206 citations

    7

    h-index

  4. LA
    Linh Anh Nguyen

    University of Warsaw, Poland

    6 publications · 107 citations

    7

    h-index

  5. US
    Ulrike Sattler

    University of Manchester, United Kingdom

    5 publications · 1.5K citations

    6

    h-index

1–5 of 413

Institutions

221

  1. University of Manchester

    Manchester, United Kingdom

    10 h-index

    18 publications

    4K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    8 h-index

    10 publications

    281 citations

  3. University of Warsaw

    Warsaw, Poland

    8 h-index

    10 publications

    150 citations

  4. Princeton University

    Princeton, United States

    6 h-index

    9 publications

    1.3K citations

  5. University of Oxford

    Oxford, United Kingdom

    5 h-index

    12 publications

    1.4K citations

  6. Technische Universität Dresden

    Dresden, Germany

    5 h-index

    7 publications

    458 citations

  7. University of Toronto

    Toronto, Canada

    5 h-index

    7 publications

    189 citations

  8. Free University of Bozen-Bolzano

    Bolzano, Italy

    5 h-index

    9 publications

    446 citations

1–8 of 221

Venues

  1. Journal of Logic and Computation

    14 publications · 557 citations

    14

    h-index

  2. Journal of Automated Reasoning

    17 publications · 1.1K citations

    13

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 12 publications · 307 citations

    11

    h-index

  4. Journal of Applied Non-Classical Logics

    JANCL · 7 publications · 180 citations

    7

    h-index

  5. Fundamenta Informaticae

    7 publications · 145 citations

    7

    h-index

1–5