A new methodology for developing deduction methods (Q1037405): Difference between revisions

@@ Property / cites work @@
+Resolution in Modal, Description and Hybrid Logic
@@ Property / cites work: Resolution in Modal, Description and Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282593
@@ Property / cites work: Q4282593 / rank @@
+Normal rank
@@ Property / cites work @@
+Blocking and Other Enhancements for Bottom-Up Model Generation Methods
+Normal rank
@@ Property / cites work @@
+Peirce algebras
@@ Property / cites work: Peirce algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4235432
@@ Property / cites work: Q4235432 / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Splitting through New Proposition Symbols
@@ Property / cites work: Splitting through New Proposition Symbols / 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 @@
+Q3997615
@@ Property / cites work: Q3997615 / rank @@
+Normal rank
@@ Property / cites work @@
+A general framework for pattern-driven modal tableaux
+Normal rank
@@ Property / cites work @@
+Q2751377
@@ Property / cites work: Q2751377 / rank @@
+Normal rank
@@ Property / cites work @@
+Destructive Modal Resolution
@@ Property / cites work: Destructive Modal Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3543581
@@ Property / cites work: Q3543581 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
+Normal rank
@@ Property / cites work @@
+Q4809060
@@ Property / cites work: Q4809060 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperresolution for guarded formulae
@@ Property / cites work: Hyperresolution for guarded formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
+Normal rank
@@ Property / cites work @@
+An empirical analysis of modal theorem provers
@@ Property / cites work: An empirical analysis of modal theorem provers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503911
@@ Property / cites work: Q4503911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721185
@@ Property / cites work: Q2721185 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751044
@@ Property / cites work: Q2751044 / rank @@
+Normal rank
@@ Property / cites work @@
+Rasiowa-Sikorski deduction systems in computer science applications.
+Normal rank
@@ Property / cites work @@
+Single step tableaux for modal logics. Computational properties, complexity and methodology
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751373
@@ Property / cites work: Q2751373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150300
@@ Property / cites work: Q3150300 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q3509041
@@ Property / cites work: Q3509041 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723441
@@ Property / cites work: Q2723441 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Relational Structures as Knowledge Instruments
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Resolution Methods for Modal Logics
@@ Property / cites work: First-Order Resolution Methods for Modal Logics / rank @@
+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 @@
+Q3150301
@@ Property / cites work: Q3150301 / rank @@
+Normal rank
@@ Property / cites work @@
+System Description: Spass Version 3.0
@@ Property / cites work: System Description: Spass Version 3.0 / rank @@
+Normal rank