Reexamining intractability of tableau methods
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A Framework for Automated Reasoning in Multiple-Valued Logics
Journal of Automated Reasoning
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Analytic Tableaux and Database Repairs: Foundations
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Inference for Annotated Logics over Distributive Lattices
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Simultaneous Rigid E-Unification and Related Algorithmic Problems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Decidability Problems for the Prenex Fragment of Intuitionistic Logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
An Approach for Modeling and Analysis of Security System Architectures
IEEE Transactions on Knowledge and Data Engineering
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
Specifying and reasoning with institutional agents
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
A constraint-based decision procedure for the description logic ALCN
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
The philosophy of automated theorem proving
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
The Nondeterministic Information Logic NIL is PSPACE-complete
Fundamenta Informaticae
Fundamenta Informaticae
Adapting Classical Inference Techniques To Multiple-Valued Logics Using Signed Formulas
Fundamenta Informaticae
Hi-index | 0.00 |