Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences
Logics of time and computation
Logics of time and computation
A many-sorted calculus based on resolution and paramodulation
A many-sorted calculus based on resolution and paramodulation
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Reasoning about knowledge
Expressiveness of concept expressions in first-order description logics
Artificial Intelligence
Automata based symbolic reasoning in hardware verification
Formal Methods in System Design
Resolution Strategies as Decision Procedures
Journal of the ACM (JACM)
Modal logic
Term Indexing
Handbook of Logic and Language
Handbook of Logic and Language
Resolution Methods for the Decision Problem
Resolution Methods for the Decision Problem
Elimination of Self-Resolving Clauses
Journal of Automated Reasoning
Bisimulations for Temporal Logic
Journal of Logic, Language and Information
Modal Logic over Finite Structures
Journal of Logic, Language and Information
Mona: Monadic Second-Order Logic in Practice
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Undecidability Results on Two-Variable Logics
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
E-Unification for Subsystems of S4
RTA '98 Proceedings of the 9th International Conference on Rewriting Techniques and Applications
Solving a Problem in Relevance Logic with an Automated Theorem Prover
Proceedings of the 7th International Conference on Automated Deduction
A Resolution Calculus for Modal Logics
Proceedings of the 9th International Conference on Automated Deduction
Proceedings of the 9th International Conference on Automated Deduction
Experiments in Automated Deduction with Condensed Detachment
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Resolution-Based Calculi for Modal and Temporal Logics
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
A Resolution Decision Procedure for the Guarded Fragment
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Deciding the guarded fragments by resolution
Journal of Symbolic Computation
Handbook of automated reasoning
Higher-order unification and matching
Handbook of automated reasoning
Handbook of automated reasoning
Proof-assistants using dependent type systems
Handbook of automated reasoning
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Automated deduction for many-valued logics
Handbook of automated reasoning
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Connections in nonclassical logics
Handbook of automated reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
Handbook of automated reasoning
Resolution decision procedures
Handbook of automated reasoning
Handbook of automated reasoning
Combining superposition, sorts and splitting
Handbook of automated reasoning
Model elimination and connection tableau procedures
Handbook of automated reasoning
Two-variable logic with counting is decidable
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
On the Expressive Power of CTL
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
The Two-Variable Guarded Fragment with Transitive Relations
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
A Superposition Decision Procedure for the Guarded Fragment with Equality
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Artificial Intelligence Review
Alternative Translation Techniques for Propositional and First-Order Modal Logics
Journal of Automated Reasoning
Handbook of automated reasoning
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Connections in nonclassical logics
Handbook of automated reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
Resolution decision procedures
Handbook of automated reasoning
Journal of Symbolic Computation
Deciding Regular Grammar Logics with Converse Through First-Order Logic
Journal of Logic, Language and Information
The axiomatic translation principle for modal logic
ACM Transactions on Computational Logic (TOCL)
Automated Reasoning in Kleene Algebra
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
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
Automated deduction for verification
ACM Computing Surveys (CSUR)
A new methodology for developing deduction methods
Annals of Mathematics and Artificial Intelligence
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
DKAL and Z3: a logic embedding experiment
Fields of logic and computation
A Tableau Calculus for Minimal Modal Model Generation
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated reasoning about metric and topology
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Clausal connection-based theorem proving in intuitionistic first-order logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
On the translation from quantified modal logic into the counterpart theory revisited
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Hi-index | 0.00 |