Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
Reasoning about digital systems using temporal logic
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
ACM Transactions on Computational Logic (TOCL)
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
Clausal resolution in a logic of rational agency
Artificial Intelligence
Algorithms for Guiding Clausal Temporal Resolution
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
A resolution method for temporal logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Reasoning about game equilibria using temporal logic
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Labelled superposition for PLTL
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Invariant-Free Clausal Temporal Resolution
Journal of Automated Reasoning
| Hi-index | 0.01 |