Modal Logic S5 Satisfiability in Answer Set Programming (Q5019595): Difference between revisions

@@ Property / cites work @@
+One-Pass Tableaux for Computation Tree Logic
@@ Property / cites work: One-Pass Tableaux for Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Strategies for modal resolution: Results and problems
+Normal rank
@@ Property / cites work @@
+A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
+Normal rank
@@ Property / cites work @@
+A simple propositional \(\text{S}5\) tableau system
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC
+Normal rank
@@ Property / cites work @@
+Weak models of distributed computing, with connections to modal logic
+Normal rank
@@ Property / cites work @@
+InKreSAT: Modal Reasoning via Incremental Reduction to SAT
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
+Normal rank
@@ Property / cites work @@
+Answer Set Programming
@@ Property / cites work: Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal resolution for normal modal logics
@@ Property / cites work: Clausal resolution for normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics-Based Translation Methods for Modal Logics
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability
+Normal rank