Author:
Bolotov Alexander,Basukoski Artie
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference16 articles.
1. L. Bachmair and H. Ganzinger, A theory of resolution, in: Handbook of Automated Reasoning, eds. J.A. Robinson and A. Voronkov, chapter 2 (Elsevier, 2001).
2. A. Bolotov, Clausal Resolution for Branching-Time Temporal Logic, PhD thesis, Department of Computing and Mathematics, The Manchester Metropolitan University, 2000.
3. A. Bolotov, Clausal resolution for extended computation tree logic ECTL, in: Proceedings of the Time – 2003/International Conference on Temporal Logic 2003 (Cairns, IEEE, July 2003).
4. A. Bolotov and A. Basukoski, Clausal resolution for extended computation tree logic ECTL, Journal of Applied Logic (In Press).
5. A. Bolotov and C. Dixon, Resolution for branching time temporal logics: Applying the temporal resolution rule, in: Proceedings of the 7th International Conference on Temporal Representation and Reasoning (TIME2000) pp. 163–172, Cape Breton, Nova Scotia, Canada, 2000. IEEE Computer Society.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Expressive Power of the Normal Form for Branching-Time Temporal Logics;Electronic Proceedings in Theoretical Computer Science;2022-04-14
2. To be fair, use bundles;Annals of Mathematics and Artificial Intelligence;2017-04-19
3. References;An Introduction to Practical Formal Methods Using Temporal Logic;2011-04-26
4. One-Pass Tableaux for Computation Tree Logic;Logic for Programming, Artificial Intelligence, and Reasoning