Building decision procedures for modal logics from propositional decision procedures -- The case study of modal K(m) (1996)

Cached

Download Links

by Fausto Giunchiglia , Roberto Sebastiani
Citations:95 - 29 self

Active Bibliography

57 A SAT-Based Decision Procedure for ALC – Fausto Giunchiglia, Roberto Sebastiani - 1996
8 SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation – Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella - 1998
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
9 A New Method for Testing Decision Procedures in Modal and Terminological Logics – Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani - 1996
31 Artificial Intelligence: A Computational Perspective – Bernhard Nebel - 1994
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
24 Simplification - A general constraint propagation technique for propositional and modal tableaux – Fabio Massacci - 1998
25 More Evaluation of Decision Procedures for Modal Logics – Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella - 1998
8 Exploiting problem structure as a search heuristic – Tad Hogg - 1995
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
7 Improving Backtrack Search for SAT by Means of Redundancy – Laure Brisoux, Éric Grégoire, Lakhdar Saïs - 1999
51 Resolution versus Search: Two Strategies for SAT – Irina Rish, Rina Dechter - 2000
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
28 Applying the Davis-Putnam procedure to non-clausal formulas – Enrico Giunchiglia, Roberto Sebastiani - 1999
1 Approximate Reasoning for Contextual Databases – Fabio Massacci - 1996
2 A Bridge Between Modal Logics and Contextual Reasoning – Fabio Massacci - 1995