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.

Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs

Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß. Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. In Carla E. Brodley, Peter Stone, editors, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. pages 1012-1019, AAAI Press, 2014. [doi]

Authors

Jens Claßen

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

Martin Liebenberg

This author has not been identified. Look up 'Martin Liebenberg' in Google

Gerhard Lakemeyer

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

Benjamin Zarrieß

This author has not been identified. Look up 'Benjamin Zarrieß' in Google
runs on