Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Clausal resolution in a logic of rational agency
Artificial Intelligence
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
Deciding the guarded fragments by resolution
Journal of Symbolic Computation
Specifying and reasoning with institutional agents
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
New Generation Computing
Clausal resolution for normal modal logics
Journal of Algorithms
Uniform Interpolation by Resolution in Modal Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic (TOCL)
Prime implicates and prime implicants in modal logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A resolution method for temporal logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Prime implicates and prime implicants: from propositional to modal logic
Journal of Artificial Intelligence Research
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Does treewidth help in modal satisfiability?
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Resolution with Order and Selection for Hybrid Logics
Journal of Automated Reasoning
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Does Treewidth Help in Modal Satisfiability?
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 5.23 |