Pith. sign in

In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods , Springer Nature Switzerland Cham, pp

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, K rishna B Manoorkar, Alessandra Palmigiano & Mattia Panettiere ( · 2023 · Lecture notes in computer science · DOI 10.1007/978-3-031-43513-3_4

1 Pith paper cite this work, alongside 4 external citations. Polarity classification is still indexing.

1 Pith paper citing it
4 external citations · OpenAlex
open at publisher browse 1 citing papers

citation-role summary

extension 1

citation-polarity summary

unclear 1

fields

cs.LO 1

years

2025 1

verdicts

CONDITIONAL 1

roles

extension 1

polarities

unclear 1

representative citing papers

Fuzzy Lattice-based Description Logic

cs.LO · 2025-06-06 · conditional · novelty 6.0

LE-FALC is a fuzzy lattice-based description logic with a sound and complete polynomial-time tableaux algorithm for ABox consistency, and an exponential-time procedure for acyclic TBoxes via unraveling.

citing papers explorer

Showing 1 of 1 citing paper.

  • Fuzzy Lattice-based Description Logic cs.LO · 2025-06-06 · conditional · none · ref 7

    LE-FALC is a fuzzy lattice-based description logic with a sound and complete polynomial-time tableaux algorithm for ABox consistency, and an exponential-time procedure for acyclic TBoxes via unraveling.