On the public citation graph

Using tableau to decide description logics with full role negation and identity

https://doi.org/10.1145/2559947
0 signed · 32 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/malq.19750210118openalex-snapshot
On languages with two variables
inferredcites →https://doi.org/10.1007/11814771_11openalex-snapshot
Blocking and Other Enhancements for Bottom-Up Model Generation Methods
inferredcites →https://doi.org/10.1007/11853886_44openalex-snapshot
Automated Reasoning About Metric and Topology
inferredcites →https://doi.org/10.1007/978-1-4613-0609-2_21openalex-snapshot
A Note on Boolean Modal Logic
inferredcites →https://doi.org/10.1007/978-1-4613-0897-3_17openalex-snapshot
Modal Environment for Boolean Speculations
inferredcites →https://doi.org/10.1007/978-3-540-24771-5_21openalex-snapshot
Two Proof Systems for Peirce Algebras
inferredcites →https://doi.org/10.1007/978-3-540-25984-8_18openalex-snapshot
PDL with Negation of Atomic Programs
inferredcites →https://doi.org/10.1007/978-3-540-71070-7_17openalex-snapshot
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
inferredcites →https://doi.org/10.1007/978-3-540-73595-3_38openalex-snapshot
System Description: Spass Version 3.0
inferredcites →https://doi.org/10.1007/978-3-642-33353-8_41openalex-snapshot
The Tableau Prover Generator MetTeL2
inferredcites →https://doi.org/10.1007/s10472-009-9155-4openalex-snapshot
A new methodology for developing deduction methods
inferredcites →https://doi.org/10.1023/a:1013882326814openalex-snapshot
An Overview of Tableau Algorithms for Description Logics
inferredcites →https://doi.org/10.1093/jigpal/10.1.51openalex-snapshot
A general framework for pattern-driven modal tableaux
inferredcites →https://doi.org/10.1093/jigpal/8.3.265openalex-snapshot
Resolution-based methods for modal logics
inferredcites →https://doi.org/10.1093/logcom/10.1.137openalex-snapshot
Internalizing labelled deduction
inferredcites →https://doi.org/10.1142/9789812776471_0018openalex-snapshot
The Complexity of Reasoning with Boolean Modal Logics
inferredcites →https://doi.org/10.1305/ndjfl/1093894722openalex-snapshot
Tableau methods of proof for modal logics.
inferredcites →https://doi.org/10.2168/lmcs-7(2:6)2011openalex-snapshot
Automated Synthesis of Tableau Calculi
inferredcites →https://doi.org/10.2307/421196openalex-snapshot
On the Decision Problem for Two-Variable First-Order Logic
inferredcites →https://doi.org/10.5555/1734953.1734957openalex-snapshot
Hypertableau reasoning for description logics

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-22102-7_29openalex-snapshot
Automating Automated Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-031-63501-4_1openalex-snapshot
Model Construction for Modal Clauses
inferred← citeshttps://doi.org/10.1007/978-3-032-06085-3_2openalex-snapshot
A Tableau System for First-Order Logic with Standard Names
inferred← citeshttps://doi.org/10.1007/978-3-319-06251-8_25openalex-snapshot
Tableau Development for a Bi-intuitionistic Tense Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-15545-6_5openalex-snapshot
Modal Satisfiability via SMT Solving
inferred← citeshttps://doi.org/10.1007/978-3-319-24312-2_4openalex-snapshot
Modal Tableau Systems with Blocking and Congruence Closure
inferred← citeshttps://doi.org/10.1007/978-3-319-66902-1_14openalex-snapshot
Rule Refinement for Semantic Tableau Calculi
inferred← citeshttps://doi.org/10.1007/s10817-019-09515-1openalex-snapshot
Blocking and Other Enhancements for Bottom-Up Model Generation Methods
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.11.003openalex-snapshot
A bi-intuitionistic modal logic: Foundations and automation
inferred← citeshttps://doi.org/10.1145/3143803openalex-snapshot
Managing Change in Graph-Structured Data Using Description Logics
inferred← citeshttps://doi.org/10.1145/3442381.3449881openalex-snapshot
Computing Views of OWL Ontologies for the Semantic Web
inferred← citeshttps://doi.org/10.29007/1c73openalex-snapshot
MetTeL2: Towards a Tableau Prover Generation Platform
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.