Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
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
Lotrec: The Generic Tableau Prover for Modal and Description Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Connectionist modal logic: Representing modalities in neural networks
Theoretical Computer Science
The axiomatic translation principle for modal logic
ACM Transactions on Computational Logic (TOCL)
Tableaux with Dynamic Filtration for Layered Modal Logics
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A new methodology for developing deduction methods
Annals of Mathematics and Artificial Intelligence
Modular Sequent Systems for Modal Logic
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
LoTREC: logical tableaux research engineering companion
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |