Searching for "Resolution Decision Procedures." – sorted by Relevance.
45 documents found, showing 1 through 10.
Next 10 →
-
Using Resolution as Decision Procedure
- …HABILITATIONSSCHRIFT Using Resolution as Decision Procedure eingereicht an der Technischen…
- Add To MetaCart
-
A Resolution Decision Procedure for the Transitive Guards
- …A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards Yevgeny Kazakov…
- Add To MetaCart
-
A Resolution Decision Procedure for Fluted Logic
- …A Resolution Decision Procedure for Fluted Logic Renate A. Schmidt 1 and Ullrich Hustadt 2 1…
- Cited by 11 (8 self) – Add To MetaCart
-
Nivelle. A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
- …A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards Yevgeny Kazakov…
- Cited by 4 (2 self) – Add To MetaCart
-
Resolution strategies as decision procedures
- …Resolution Strategies as Decision Procedures WILLIAM H. JOYNER JR. IBM Thomas J Watson Research…
- Cited by 21 (0 self) – Add To MetaCart
-
A Resolution-Based Decision Procedure for Extensions of K4
- …A Resolution-Based Decision Procedure for Extensions of K4 H. Ganzinger, U. Hustadt, C. Meyer…
- Cited by 17 (8 self) – Add To MetaCart
-
Resolution is a Decision Procedure for Many Propositional Modal Logics
- …MAX-PLANCK-INSTITUT F UR INFORMATIK \Omega \Psi ff \Phi Resolution is a Decision Procedure…
- Cited by 13 (4 self) – Add To MetaCart
-
Using Resolution for Testing Modal Satisfiability and Building Models
- … Kingdom. Abstract. This paper presents a translation-based resolution decision procedure for the multi…
- Cited by 16 (9 self) – Add To MetaCart
-
Paraconsistent Resolution for Four-valued Description Logics ⋆
- … the paraconsistent resolution decision procedure and Section 4 studies how a set of consistent disjunctive datalog…
- Cited by 1 (0 self) – Add To MetaCart
-
Ordered E-Resolution and Path Logics
- …, in general, theory and E-resolution does not immediately provide decision procedures (there are exceptions…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
