ACM Transactions on Computational Logic (TOCL)
Artificial Intelligence Review
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
Clausal resolution in a logic of rational agency
Artificial Intelligence
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
ACM Transactions on Computational Logic (TOCL)
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
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.00 |