ACM Transactions on Computational Logic (TOCL)
Bounded Model Checking Using Satisfiability Solving
Formal Methods in System Design
A propositional theorem prover to solve planning and other problems
Annals of Mathematics and Artificial Intelligence
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics
Annals of Mathematics and Artificial Intelligence
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy
Journal of Automated Reasoning
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
A Benchmark Method for the Propositional Modal Logics K, KT, S4
Journal of Automated Reasoning
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability
Journal of Automated Reasoning
Using Resolution for Testing Modal Satisfiability and Building Models
Journal of Automated Reasoning
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation
Journal of Automated Reasoning
SAT-Based Decision Procedures for Classical Modal Logics
Journal of Automated Reasoning
Symbolic Model Checking without BDDs
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Simplification and Backjumping in Modal Tableau
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Improved Automata Generation for Linear Temporal Logic
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Applying the Davis-Putnam Procedure to Non-clausal Formulas
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
The SAT-Based Approach for Classical Modal Logics
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A PSpace Algorithm for Graded Modal Logic
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
A New System and Methodology for Generating Random Modal Formulae
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
The description logic handbook
The SAT-based Approach to Separation Logic
Journal of Automated Reasoning
Generalizing DPLL and satisfiability for equalities
Information and Computation
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
KT and S4 Satisfiability in a Constraint Logic Environment
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Hybrid Tableaux for the Difference Modality
Electronic Notes in Theoretical Computer Science (ENTCS)
A new general method to generate random modal formulae for testing decision procedures
Journal of Artificial Intelligence Research
On evaluating decision procedures for modal logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Journal of Artificial Intelligence Research
Constraint models for reasoning on unification in inductive logic programming
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Building efficient decision procedures on top of SAT solvers
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
| Hi-index | 0.00 |