External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Reasoning about Actions with Loops

Jiankun He, Yuping Shen, Xishun Zhao. Reasoning about Actions with Loops. In Aristidis Likas, Konstantinos Blekas, Dimitris Kalles, editors, Artificial Intelligence: Methods and Applications - 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014. Proceedings. Volume 8445 of Lecture Notes in Computer Science, pages 504-509, Springer, 2014. [doi]

Authors

Jiankun He

This author has not been identified. Look up 'Jiankun He' in Google

Yuping Shen

This author has not been identified. Look up 'Yuping Shen' in Google

Xishun Zhao

This author has not been identified. Look up 'Xishun Zhao' in Google
runs on