intelligence
ACM Transactions on Computational Logic (TOCL)
Metalogical Frameworks II: Developing a Reflected Decision Procedure
Journal of Automated Reasoning
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Labelled Modal Logics: Quantifiers
Journal of Logic, Language and Information
A Matrix Characterization for MELL
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
linTAP: A Tableau Prover for Linear Logic
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A General Theorem Prover for Quantified Modal Logics
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Resolution Method for Modal Logic with Well-Founded Frames
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Connections in nonclassical logics
Handbook of automated reasoning
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
A Matrix Characterization for Multiplicative Exponential Linear Logic
Journal of Automated Reasoning
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
Hypothesis finding with proof theoretical appropriateness criteria
Theoretical Computer Science - Algorithmic learning theory(ALT 2002)
Testing XML constraint satisfiability
Electronic Notes in Theoretical Computer Science (ENTCS)
A Labelled System for IPL with Variable Splitting
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Intuitionistic Letcc via Labelled Deduction
Electronic Notes in Theoretical Computer Science (ENTCS)
Prefixed tableaux systems for modal logics with enriched languages
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Building theories into instantiation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Interactive Theorem Proving with Tasks
Electronic Notes in Theoretical Computer Science (ENTCS)
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Restricting backtracking in connection calculi
AI Communications - Practical Aspects of Automated Reasoning
Connection based strategies for deciding propositional temporal logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A non-clausal connection calculus
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
On herbrand's theorem for intuitionistic logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Consistency of variable splitting in free variable systems of first-order logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
On the dynamic increase of multiplicities in matrix proof methods for classical higher-order logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A redundancy analysis of sequent proofs
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
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
Proof analysis in intermediate logics
Archive for Mathematical Logic
Incremental variable splitting
Journal of Symbolic Computation
Automating Inductive Specification Proofs
Fundamenta Informaticae
On Definitional Transformations To Normal Form For Intuitionistic Logic
Fundamenta Informaticae
| Hi-index | 0.00 |