Author:
Dekhtyar Michael,Dikovsky Alexander,Valiev Mars
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Apt, K. R., Logic Programming. In: J. van Leeuwen (Ed.) Handbook of Theoretical Computer Science. Volume B. Formal Models and Semantics, Chapter 10, Elsevier Science Publishers B.V. 1990, 493–574.
2. Bylander, T., The computational Complexity of Propositional STRIPS Planning, Artificial Intelligence, 69:165–204, 1994.
3. Clarke, E. M., Emerson, E. A. Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proc.of Workshop on Logics of Programs, Lecture Notes in Computer Science, N. 181, 1981, 52–71.
4. Calvanese, D., De Giacomo, G., and Vardi, M.Y., Reasoning about actions and planning in LTL action theories, Proc. of the 8th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR’02), 593–602, 2002.
5. Clarke, E. M., Grumberg, O. and Peled, D., Model Checking, MIT Press, 2000.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献