Searching for "Resolution Decision Procedures." – sorted by Relevance.
-
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

