External Links

Cite Key

Statistics

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

PDF

Tags

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.

On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs

Jens Claßen, Gerhard Lakemeyer. On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. In Helder Coelho, Rudi Studer, Michael Wooldridge, editors, ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. Volume 215 of Frontiers in Artificial Intelligence and Applications, pages 887-892, IOS Press, 2010. [doi]

Authors

Jens Claßen

This author has not been identified. Look up 'Jens Claßen' in Google

Gerhard Lakemeyer

This author has not been identified. Look up 'Gerhard Lakemeyer' in Google
runs on