Using tableau to decide description logics with full role negation and identity (Q5410334): Difference between revisions

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+Blocking and Other Enhancements for Bottom-Up Model Generation Methods
+Normal rank
@@ Property / cites work @@
+Internalizing labelled deduction
@@ Property / cites work: Internalizing labelled deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246965
@@ Property / cites work: Q4246965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539607
@@ Property / cites work: Q4539607 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution-based methods for modal logics
@@ Property / cites work: Resolution-based methods for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+A general framework for pattern-driven modal tableaux
+Normal rank
@@ Property / cites work @@
+Tableau methods of proof for modal logics
@@ Property / cites work: Tableau methods of proof for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694250
@@ Property / cites work: Q4694250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478385
@@ Property / cites work: Q3478385 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4503911
@@ Property / cites work: Q4503911 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning About Metric and Topology
@@ Property / cites work: Automated Reasoning About Metric and Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430407
@@ Property / cites work: Q4430407 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Hypertableau Reasoning for Description Logics
@@ Property / cites work: Hypertableau Reasoning for Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539622
@@ Property / cites work: Q4539622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509041
@@ Property / cites work: Q3509041 / rank @@
+Normal rank
@@ Property / cites work @@
+A new methodology for developing deduction methods
+Normal rank
@@ Property / cites work @@
+Using tableau to decide description logics with full role negation and identity
+Normal rank
@@ Property / cites work @@
+A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
+Normal rank
@@ Property / cites work @@
+Automated Synthesis of Tableau Calculi
@@ Property / cites work: Automated Synthesis of Tableau Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150301
@@ Property / cites work: Q3150301 / rank @@
+Normal rank
@@ Property / cites work @@
+$\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine
+Normal rank
@@ Property / cites work @@
+PSPACE Reasoning for Graded Modal Logics
@@ Property / cites work: PSPACE Reasoning for Graded Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+System Description: Spass Version 3.0
@@ Property / cites work: System Description: Spass Version 3.0 / rank @@
+Normal rank